克里斯蒂娜·费尔 https://zbmath.org/authors/?q=ai:feier.cristina https://orcid.org/0000-0003-0180-5356 https://www.wikidata.org/entity/Q57193300 克里斯蒂娜·费尔 托马斯·戈加茨 菲利普·穆拉克 使用语义树宽度评估图形查询。 22:1-22:20 2024 ICDT公司 https://doi.org/10.4230/LIPIcs.ICDT.2024.22 conf/icdt/2024 db/conf/icdt/icdt2024.html#FeierGM24
克里斯蒂娜·费尔 卡斯滕·卢茨 马尔金·普日比尔科 回答在防护TGD下计数。 2023 19 日志。方法计算。科学。 https://doi.org/10.46298/lmcs-19(3:16)2023 db/journals/lmcs/lmcs19.html#FeierLP23
克里斯蒂娜·费尔 托马斯·戈加茨 菲利普·穆拉克 利用语义树宽度进行图形查询评估(短文)。 2023 AMW公司 https://ceur-ws.org/Vol-3409/paper5.pdf 2023年会议 db/conf/amw/amw2023.html#FeierGM23 克里斯蒂娜·费尔 描述保护TGD上查询评估的固定参数可跟踪性。 12:1-12:20 2022 ICDT公司 https://doi.org/10.4230/LIPIcs.ICDT.2022.12 conf/icdt/2022 db/conf/icdt/icdt2022.html#Feier22 克里斯蒂娜·费尔 描述保护TGD上查询求值的固定参数可跟踪性(扩展抽象)。 2021 描述逻辑 https://ceur-ws.org/Vol-2954/abstract-15.pdf conf/dlog/2021 db/conf/dlog/dlog2021.html#Feier21 克里斯蒂娜·费尔 卡斯滕·卢茨 马尔金·普日比尔科 回答被保护TGD下的计数。 11:1-11:22 2021 ICDT公司 https://doi.org/10.4230/LIPIcs.ICDT.2021.11 conf/icdt/2021 db/conf/icdt/icdt2021.html#FeierLP21
克里斯蒂娜·费尔 卡斯滕·卢茨 马尔金·普日比尔科 回答在防护TGD下计数。 2021 abs/2101.03058 CoRR公司 https://arxiv.org/abs/2101.03058 db/journes/cor/corr2101.html#abs-2101-03058数据库
克里斯蒂娜·费尔 保护TGD下查询评估的效率:无边界Arity案例。 2021 abs/2101.11727 CoRR公司 https://arxiv.org/abs/2101.11727 数据库/期刊/corr/corr2101.html#abs-2101-1127
克里斯蒂娜·费尔 卡斯滕·卢茨 马尔金·普日比尔科 基于保护TGD(扩展抽象)的本体中介查询的答案计数复杂性。 2020 描述逻辑 https://ceur-ws.org/Vol-2663/abstract-12.pdf conf/dlog/2020 db/conf/dlog/dlog2020.html#FeierLP20 巴勃罗·巴塞洛 维克托·达尔摩 克里斯蒂娜·费尔 卡斯滕·卢茨 安德烈亚斯·皮利斯 保护TGD下开放和封闭世界查询评估的效率限制。 259-270 2020 豆荚 https://doi.org/10.1145/337539387653 conf/pods/2020年 db/conf/pods/pods2020.html#BarceloDFLP20
巴勃罗·巴塞洛 克里斯蒂娜·费尔 卡斯滕·卢茨 安德烈亚斯·皮利斯 Ontology-Mediated Querying何时有效? 2020 abs/2003.07800 CoRR公司 https://arxiv.org/abs/2003.07800 db/journals/corr/corr2003.html#abs-2003-07800
克里斯蒂娜·费尔 卡斯滕·卢茨 弗兰克·沃尔特 在本体中介查询中,从连接查询到实例查询。 2020 abs/2010.11848 CoRR公司 https://arxiv.org/abs/2010.11848 db/journals/corr/corr2010.html#abs-2010-11848
克里斯蒂娜·费尔 安蒂·库西斯托 卡斯滕·卢茨 一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。 2019 15 日志。方法计算。科学。 2 https://doi.org/10.23638/LMCS-15(2:15)2019 db/journals/lmcs/lmcs15.html#FeierKL19
巴勃罗·巴塞洛 克里斯蒂娜·费尔 卡斯滕·卢茨 安德烈亚斯·皮利斯 本体中介查询中的PTime组合复杂性和FPT。 2019 描述逻辑 https://ceur-ws.org/Vol-2373/paper-33.pdf conf/dlog/2019会议 db/conf/dlog/dlog2019.html#BarceloFLP19 巴勃罗·巴塞洛 克里斯蒂娜·费尔 卡斯滕·卢茨 安德烈亚斯·皮利斯 Ontology-Mediated Querying何时有效? 1-13 2019 低收入国家 https://doi.org/10.109/LICS.2019.8785823 conf/lics/2019 db/conf/lics/lics2019.html#BarceloFLP19
巴勃罗·巴塞洛 维克托·达尔摩 克里斯蒂娜·费尔 卡斯滕·卢茨 安德烈亚斯·皮利斯 保护TGD下开放和封闭世界查询评估的效率限制。 2019 abs/1912.12442 CoRR公司 http://arxiv.org/abs/1912.12442 db/journals/corr/corr1912.html#abs-1912-12442
克里斯蒂娜·费尔 卡斯滕·卢茨 弗兰克·沃尔特 在Ontology-Mediated Querying中,从连接查询到SPARQL查询。 2018 描述逻辑 https://ceur-ws.org/Vol-2211/paper-16.pdf conf/dlog/2018年 db/conf/dlog/dlog2018.html#FeierLW18 克里斯蒂娜·费尔 卡斯滕·卢茨 弗兰克·沃尔特 在本体中介查询中,从连接查询到实例查询。 1810-1816 2018 国际JCAI https://doi.org/10.24963/ijcai.2018/250 conf/ijcai/2018 db/conf/ijcai/ijcai 2018.html#FeierLW18
大卫·卡拉尔 克里斯蒂娜·费尔 帕斯卡·希茨勒 基于Horn-SRIQ本体论的实用非循环问答概念。 2018 abs/1804.07274 CoRR公司 http://arxiv.org/abs/1804.07274 数据库/期刊/corr/corr1804.html#abs-1804-07274
克里斯蒂娜·费尔 安蒂·库西斯托 卡斯滕·卢茨 一元析取数据日志、MMSNP和表达描述逻辑(邀请谈话)中的可重写性。 1:1-1:17 2017 ICDT公司 https://doi.org/10.4230/LIPIcs.ICDT.2017.1 conf/icdt/2017年 db/conf/icdt/icdt2017.html#FeierKL17
克里斯蒂娜·费尔 安蒂·库西斯托 卡斯滕·卢茨 一元析取数据日志、MMSNP和表达式描述逻辑中的可重写性。 2017 abs/1701.02231 CoRR公司 http://arxiv.org/abs/1701.02231 db/journes/corr/corr1701.html#FeierKL17
克里斯蒂娜·费尔 安蒂·库西斯托 卡斯滕·卢茨 FO-表达本体论中介查询的可重写性。 2016 描述逻辑 https://ceur-ws.org/Vol-1577/paper_11.pdf conf/dlog/2016年 db/conf/dlog/dlog2016.html#FeierKL16 大卫·卡拉尔 克里斯蒂娜·费尔 帕斯卡·希茨勒 一个实用的非循环概念,用于Horn上的问答——SRIQ本体论。 70-85 2016 ISWC(1) https://doi.org/10.1007/978-3-319-46523-4_5 conf/semweb/2016-1 db/conf/semweb/iswc2016-1.html#CarralFH16 克里斯蒂娜·费尔 大卫·卡拉尔 乔治·斯特凡诺尼 Bernardo Cuenca Grau公司 伊恩·霍罗克斯0001 将组合方法扩展到轻量级描述逻辑之外。 2015 描述逻辑 https://ceur-ws.org/Vol-1350/paper-19.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#FeierCSGH15 克里斯蒂娜·费尔 大卫·卡拉尔 乔治·斯特凡诺尼 Bernardo Cuenca Grau公司 伊恩·霍罗克斯0001 超越OWL 2配置文件的查询答案组合方法。 2971-2977 2015 国际JCAI http://ijcai.org/Abstract/15/420 conf/ijcai/2015 db/conf/ijcai/ijcai2015.html#FeierCSGH15 克里斯蒂娜·费尔 托马斯·艾特 使用完全丰富自动机的森林逻辑程序推理。 2015 IJCAI的JOWO https://ceur-ws.org/Vol-1517/JOWO-15_ontolp_paper_8.pdf conf/ijcai/2015jowo db/conf/ijcai/jowo2015.html#FeierE15 克里斯蒂娜·费尔 托马斯·艾特 使用完全丰富自动机的森林逻辑程序推理。 346-353 2015 低密度核磁共振 https://doi.org/10.1007/978-3-319-23264-5_29 conf/lpnmr/2015 db/conf/lpnmr/lpnmr2015.html#FeierE15 大卫·卡拉尔 克里斯蒂娜·费尔 Bernardo Cuenca Grau公司 帕斯卡·希茨勒 伊恩·霍罗克斯0001 <i> EL</i>化本体论。 464-479 2014 国际JCAR https://doi.org/10.1007/978-3-319-08587-6_36 https://www.wikidata.org/entity/Q56988549 conf/cade/2014 db/conf/cade/ijcar2014.html#MartinezFGHH14 大卫·卡拉尔 克里斯蒂娜·费尔 安娜·阿玛斯·罗梅罗 Bernardo Cuenca Grau公司 帕斯卡·希茨勒 伊恩·霍罗克斯0001 你的本体论像你想的那么难吗?将本体重写为更简单的DL。 128-140 2014 描述逻辑 https://ceur-ws.org/Vol-1193/paper_75.pdf conf/dlog/2014 db/conf/dlog/dlog2014.html#CarralFRGHH14 大卫·卡拉尔 克里斯蒂娜·费尔 Bernardo Cuenca Grau公司 帕斯卡·希茨勒 伊恩·霍罗克斯0001 推动可追踪本体推理的边界。 148-163 2014 ISWC(2) https://doi.org/10.1007/978-3-319-11915-1_10 conf/semweb/2014-2 db/conf/semweb/iswc2014-2.html#CarralFGHH14
克里斯蒂娜·费尔 斯迪恩·海曼斯 用森林逻辑程序和f混合知识库进行推理。 395-463 2013 13 理论与实践。日志。程序。 https://doi.org/10.1017/S1471068411000597 db/journals/tplp/tplp13.html#FeierH13
托马斯·艾特 克里斯蒂娜·费尔 迈克尔·芬克0001 使用ACTHEX模拟生产规则。 211-228 2012 正确的推理 https://doi.org/10.1007/978-3-642-30743-0_15 conf/生日/2012lifschitz db/conf/生日/lifschitz2012.html#EiterFF12 克里斯蒂娜·费尔 森林逻辑程序的最坏情况优化推理。 2012 韩国 http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4557 conf/kr/2012 db/conf/kr/kr2012.html#Feier12
克里斯蒂娜·费尔 斯迪恩·海曼斯 基于森林逻辑程序和f-混合知识库的推理 http://arxiv.org/abs/1110.2773 2011 CoRR公司 abs/1110.2773 db/journals/corr/corr1110.html#abs-110-2773
克里斯蒂娜·费尔 斯迪恩·海曼斯 森林逻辑程序推理的优化 http://arxiv.org/abs/1011.5894 2010 CoRR公司 abs/1011.5894 数据库/期刊/corr/corr1011.html#abs-1011-5894
克里斯蒂娜·费尔 斯迪恩·海曼斯 森林逻辑程序混合推理。 338-352 2009 ESWC公司 https://doi.org/10.1007/978-3-642-02121-3_27 conf/esws/2009 db/conf/esws/eswc2009.html#FeierH09 斯迪恩·海曼斯 克里斯蒂娜·费尔 托马斯·艾特 简单概念逻辑程序的推理器。 55-70 2009 相对应力 https://doi.org/10.1007/978-3-642-05082-4_5 conf/rr/2009年 db/conf/rr/rr2009.html#HeymansFE09
斯蒂恩·海曼斯 乔斯·德布鲁因(Jos de Bruijn) 利维亚·普雷多尤 克里斯蒂娜·费尔 戴维·范·纽文伯格 受保护的混合知识库。 411-429 2008 8 理论与实践。日志。程序。 https://doi.org/10.1017/S1471068407003201 db/journals/tplp/tplp8.html#HeymansBPFN08
斯迪恩·海曼斯 李马0002 达科动画 马志磊 纳塔莉·斯坦梅茨 岳攀 景梅 阿奇尔·福克 阿迪蒂亚·卡利恩普尔 亚伦·克申鲍姆 伊迪丝·肖恩伯格 卡维塔·斯里尼瓦斯 克里斯蒂娜·费尔 格雷厄姆·亨奇 布拉尼米尔·韦茨坦 乌维·凯勒 使用大型数据存储库进行本体推理。 89-128 2008 conf/swb/2008om公司 本体管理 https://doi.org/10.1007/978-0-387-69900-4_4 db/conf/swb/om2008.html#HeymansMAMSPMFKKSSFHWK08 克里斯蒂娜·费尔 基于开放答案集编程的语义Web分布式推理框架。 2007 KWEPSY公司 https://ceur-ws.org/Vol-275/paper07.pdf conf/esws/2007kwepsy公司 db/conf/esws/kwepsy2007.html#Feier07
斯迪恩·海曼斯 乔斯·德布鲁因(Jos de Bruijn) 利维亚·普雷多尤 克里斯蒂娜·费尔 戴维·范·纽文伯格 受保护的混合知识库 http://arxiv.org/abs/0711.2155 2007 CoRR公司 abs/0711.2155 db/journals/corr/corr0711.html#abs-0711-2155
阿克塞尔·波勒 克里斯蒂娜·费尔 安德烈亚斯·哈特 具有上下文范围否定的规则。 332-347 2006 conf/esws/2006年 ESWC公司 https://doi.org/10.1007/11762256_26 https://www.wikidata.org/entity/Q57887507 db/conf/esws/eswc2006.html#PolleresFH06
杜米特鲁·罗曼 乌维·凯勒 霍尔格·劳森 乔斯·德·布鲁因(Jos de Bruijn) 鲁宾·拉腊 迈克尔·斯托尔伯格 阿克塞尔·波勒 克里斯蒂娜·费尔 克里斯托夫·巴斯勒 迪特尔·芬塞尔 Web服务建模本体。 77-106 2005 1 申请。本体论 1 http://content.iospress.com/articles/applied-ontology/ao000008 db/journals/ao/ao1.html#RomanKLBLSPFF05
达科动画 巴勃罗·巴塞洛 乔斯·德布鲁因(Jos de Bruijn) 克里斯托夫·巴斯勒 大卫·卡拉尔 维克托·达尔摩维克托·达尔摩 托马斯·艾特 迪特尔·芬塞尔 迈克尔·芬克0001 阿奇尔·福克 托马斯·戈加茨 Bernardo Cuenca Grau公司 安德烈亚斯·哈特 格雷厄姆·亨奇 斯迪恩·海曼斯 帕斯卡·希茨勒 伊恩·霍罗克斯0001 阿迪蒂亚·卡利恩普尔 乌维·凯勒 亚伦·克申鲍姆 安蒂·库西斯托 鲁宾·拉腊 霍尔格·劳森 卡斯滕·卢茨 李马0002 马志磊 景梅 菲利普·穆拉克 戴维·范·纽文伯格 岳攀 安德烈亚斯·皮利斯 阿克塞尔·波勒 利维亚·普雷多尤 马尔金·普日比尔科 杜米特鲁·罗曼 安娜·阿玛斯·罗梅罗 伊迪丝·肖恩伯格 卡维塔·斯里尼瓦斯 乔治·斯特凡诺尼 纳塔莉·斯坦梅茨 迈克尔·斯托尔伯格 布拉尼米尔·韦茨坦 弗兰克·沃尔特