默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

大卫·卡拉尔

大卫·卡拉尔·马丁内斯

>主页 >珀森斯

人员信息

附属： 法国蒙彼利埃Inria
隶属关系（前）： 德国德累斯顿理工大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2405-15794
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2405-15794
卢卡斯·格拉赫,大卫·卡拉尔,马库斯·赫彻:
ASP与功能的有限基础：一致性之旅。 CoRR公司 abs/2405.15794(2024)
2023
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/CarralZH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/logcom/CarralZH23
大卫·卡拉尔,约瑟夫·扎勒夫斯基,帕斯卡·希茨勒:
一种基于标称模式的OWL EL本体推理的高效算法。 J.日志。计算。 33(1):136-162(2023)
[公元47年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/GerlachC23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/GerlachC23
卢卡斯·格拉赫,大卫·卡拉尔:
分离式斯科利姆追逐的一般非周期性和周期性概念。 AAAI公司 2023:6372-6379
[公元46年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/0002C23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/0002C23
卢卡斯·格拉赫,大卫·卡拉尔:
分离斯科勒姆追逐的一般非循环性和循环性概念（扩展抽象）。描述逻辑 2023
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/SfarCIC23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/SfarCIC23
阿齐兹·斯法尔,大卫·卡拉尔,迪娜·伊罗夫蒂,马达琳娜·克罗伊图鲁:
发电厂逻辑图测试：LTL模型检查的故事。飞行管理信息系统 2023:189-204
[公元44年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kr/0002C23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/0002C23
卢卡斯·格拉赫,大卫·卡拉尔:
重复：了解限制追捕不终止的充分条件。韩国 2023:301-310
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2309-12710
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2309-12710
卢卡斯·格拉赫,大卫·卡拉尔:
重复：了解限制追捕不终止的充分条件。 CoRR公司 abs/2309.12710(2023)
2022
[公元43年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/BourgauxCKRT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/BourgauxCKRT22
卡米尔·鲍戈斯（Camille Bourgaux）,大卫·卡拉尔,马库斯·克罗奇,塞巴斯蒂安·鲁道夫,米夏·托马佐:
利用存在性规则捕获同态闭可判定查询（扩展抽象）。国际JCAI 2022:5269-5273
[公元42年]
- 看法
  - 电子版@kr.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/卡拉尔LMT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/CarralLMT22
大卫·卡拉尔,卢卡斯·拉罗克,玛丽·劳雷·穆格尼尔,米夏·托马佐:
存在规则的规范化：不是那么无关紧要！韩国 2022
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/BeutnerCFHK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/BeutnerCFHK22
瑞文·贝特纳,大卫·卡拉尔,伯恩德·芬克贝纳,贾娜·霍夫曼,马库斯·克罗奇:
结合功能规范确定超属性。低收入国家 2022:56:1-56:13
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/pods/Ostropolski-Nalewaja22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pods/Ostropolski-Nalewaja22
彼得亚·奥斯特罗普斯基-纳莱瓦哈,杰里·马尔辛科夫斯基（Jerzy Marcinkowski）,大卫·卡拉尔,塞巴斯蒂安·鲁道夫:
探索查询可重写性前沿的旅程。豆荚 2022:359-367
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2205-15138
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2205-15138
瑞文·贝特纳,大卫·卡拉尔,伯恩德·芬克贝纳,贾娜·霍夫曼,马库斯·克罗奇:
结合功能规范确定超属性。 CoRR公司 abs/2205.15138(2022)
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2206-03124
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-03124
大卫·卡拉尔,卢卡斯·拉罗克,玛丽·劳雷·穆格尼尔,米夏·托马佐:
存在规则的规范化：不那么无害！ CoRR公司腹肌/2206.03124(2022)
2021
[j2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pvldb/TsamouraCMU21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pvldb/TsamouraCMU21
Efthymia Tsamoura公司,大卫·卡拉尔,恩里科·马利齐亚,雅各布·乌尔巴尼:
通过触发图具体化知识库。程序。荷兰VLDB。 14(6):943-956(2021)
[c39]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kr/BourgauxCKRT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/BourgauxCKRT21
卡米尔·鲍戈斯（Camille Bourgaux）,大卫·卡拉尔,马库斯·克罗奇,塞巴斯蒂安·鲁道夫,米夏·托马佐:
利用存在性规则捕获同态闭可判定查询。韩国 2021:141-150
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/semweb/EberhartCHLR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/EberhartCHLR21
亚伦·埃伯哈特,大卫·卡拉尔,帕斯卡·希茨勒,希尔马尔·拉普,塞巴斯蒂安·鲁道夫:
树建模的种子模式。 WOP（书本） 2021:48-67
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-02753
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-02753
Efthymia Tsamoura公司,大卫·卡拉尔,恩里科·马利齐亚,雅各波·乌尔巴尼:
通过触发图实现知识库的物化。 CoRR公司 abs/2102.02753(2021)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-07811
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-07811
卡米尔·鲍戈斯（Camille Bourgaux）,大卫·卡拉尔,马库斯·克罗奇,塞巴斯蒂安·鲁道夫,米夏·托马佐:
利用存在性规则捕获同态闭可判定查询。 CoRR公司腹肌/2107.07811(2021)
2020
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ki/CarralDK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ki/CarralDK20
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
推理机=逻辑演算+规则引擎。昆士利希情报。 34(4):453-463(2020)
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/CarralU20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/CarralU20
大卫·卡拉尔,雅各布·乌尔巴尼:
平等地检查存在规则本体的追赶终结。 AAAI公司 2020:2758-2765
[公元36年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralK20
大卫·卡拉尔,马库斯·克罗奇:
将ALCHIQ重写为析取存在规则（扩展摘要）。描述逻辑 2020
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/CarralK20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/CarralK20
大卫·卡拉尔,马库斯·克罗奇:
将描述逻辑ALCHIQ改写为虚拟存在规则。国际JCAI 2020:1777-1783
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2012-1269
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2012-11269
彼得亚·奥斯特罗普斯基-纳莱瓦哈,杰里·马尔辛科夫斯基（Jerzy Marcinkowski）,大卫·卡拉尔,塞巴斯蒂安·鲁道夫:
探索查询可重写性前沿的旅程。 CoRR公司 abs/2012.11269(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aai/卡拉尔GK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/CarralGK19
大卫·卡拉尔,拉里·冈萨雷斯,帕特里克·科普曼:
从Horn-SRIQ到Datalog：一种独立于数据的转换，保留断言蕴涵。 AAAI公司 2019:2736-2743
[公元33年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralDK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralDK19
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
Horn-ALCHOIQ（扩展摘要）中的综合问答方法。描述逻辑 2019
[公元32年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralDKL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralDKL19
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇,克里斯蒂安·勒韦:
追逐集：如何使用存在规则进行表达推理（扩展摘要）。描述逻辑 2019
[公元31年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralGK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralGK19
大卫·卡拉尔,拉里·冈萨雷斯,帕特里克·科普曼:
从Horn-SRIQ到Datalog：一种保持断言蕴涵的独立于数据的转换。描述逻辑 2019
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/CarralDKL19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/CarralDKL19
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇,克里斯蒂安·勒韦:
追逐集：如何使用存在性规则进行表达推理。国际JCAI 2019:1624-1631
[公元29年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/semweb/CarralDGJKU19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/CarralDGJKU19
大卫·卡拉尔,伊琳娜·德拉古斯特,拉里·冈萨雷斯,塞里尔·雅各布斯,马库斯·克罗奇,雅各布·乌尔巴尼:
VLog：知识图的规则引擎。 ISWC（2） 2019:19-35
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1911-10981
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1911-10981
大卫·卡拉尔,雅各布·乌尔巴尼:
平等地检查存在规则本体的追赶终结。 CoRR公司 abs/1911.10981(2019)
2018
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/UrbaniKJDC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/UrbaniKJD18
雅各布·乌尔巴尼,马库斯·克罗奇,塞里尔·雅各布斯,伊琳娜·德拉古斯特,大卫·卡拉尔:
基于VLog系统描述的Horn逻辑高效模型构造。国际JCAR 2018:680-688
[公元27年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralDK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralDK18
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
DL本体论和存在规则的可追踪问答：扩展摘要。描述逻辑 2018
[公元26年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/UrbaniKJDC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/UrbaniKJDC18
雅各布·乌尔巴尼,马库斯·克罗奇,塞里尔·雅各布斯,伊琳娜·德拉古斯特,大卫·卡拉尔:
基于VLog的Horn逻辑高效模型构造：扩展抽象。描述逻辑 2018
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icdt/卡拉尔K0OR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icdt/CarralK0OR18
大卫·卡拉尔,马库斯·克罗奇,马克西米利安·马克思,安娜·奥扎基,塞巴斯蒂安·鲁道夫:
用稳定追赶保持约束。 ICDT公司 2018:12:1-12:19
[公元24年]
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/kr/CarralDK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kr/CarralDK18
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
Horn-ALCHOIQ中问答的组合方法。韩国 2018:339-348
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/semweb/2017wop
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/2017wop
伊娃·布洛姆奎斯特,奥斯卡·科乔,马修·霍里奇,大卫·卡拉尔,林克·霍克斯特拉:
2017年10月21日，奥地利维也纳，与第16届国际语义网络会议（ISWC 2017）合办的第八届本体设计与模式研讨会（WOP 2017）会议记录。 CEUR研讨会记录2043,CEUR-WS.org公司 2018 [目录]
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1804-07274
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1804-07274
大卫·卡拉尔,克里斯蒂娜·费尔,帕斯卡·希茨勒:
基于Horn-SRIQ本体论的实用非循环问答概念。 CoRR公司 abs/1804.07274(2018)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-10104
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-10104
卡姆鲁扎曼·萨克（Md.Kamruzzaman Sarker）,大卫·卡拉尔,阿迪拉·阿尔法·克里斯纳迪,帕斯卡·希茨勒:
用规则建模OWL：ROWL Protege插件。 CoRR公司 abs/1808.10104(2018)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-10108
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-10108
卡姆鲁扎曼·萨克（Md.Kamruzzaman Sarker）,阿迪拉·克里斯纳迪,大卫·卡拉尔,帕斯卡·希茨勒:
使用ROWLTab Protege插件进行基于规则的OWL建模。 CoRR公司 abs/1808.10108(2018)
2017
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esws/SarkerKCH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esws/SarkerKCH17
卡姆鲁扎曼·萨克（Md.Kamruzzaman Sarker）,阿迪拉·克里斯纳迪,大卫·卡拉尔,帕斯卡·希茨勒:
使用ROWLTab Protégé插件进行基于规则的OWL建模。 ESWC（1） 2017:419-433
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/CarralDK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/CarralDK17
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
带析取的存在规则的受限追赶（非）终止。国际JCAI 2017:922-928
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/semweb/CarralDK17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/CarralDK17
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
表达本体和存在规则的可追踪问答。 ISWC（1） 2017:156-172
[公元20年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/semweb/CarralHLR17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/CarralHLR17
大卫·卡拉尔,帕斯卡·希茨勒,希尔马尔·拉普,塞巴斯蒂安·鲁道夫:
关于树的本体建模。在ISWC的WOP 2017
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/abs-1710-05096
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-05096
大卫·卡拉尔,帕斯卡·希茨勒,希尔马尔·拉普,塞巴斯蒂安·鲁道夫:
关于树的本体建模。 CoRR公司 abs/1710.05096(2017)
2016
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/semweb/CarralFH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/CarralFH16
大卫·卡拉尔,克里斯蒂娜·费尔,帕斯卡·希茨勒:
一种实用的非循环概念在喇叭上的问答-SRIQ公司本体论。 ISWC（1） 2016:70-85
[第18条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/semweb/SarkerCKH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/SarkerCKH16
卡姆鲁扎曼·萨克（Md.Kamruzzaman Sarker）,大卫·卡拉尔,阿迪拉·阿尔法·克里斯纳迪,帕斯卡·希茨勒:
用规则建模OWL：ROWL Protege插件。 ISWC（海报和演示） 2016
[第2页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/ios/p/HammarBCEFGHHJKKNSSS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ios/p/HammarBCEFGHHJKKNSSS16
卡尔·哈马尔,伊娃·布洛姆奎斯特,大卫·卡拉尔,玛丽克·范·埃尔普,安斯克·福克斯,阿尔多·甘格米,威廉·罗伯特·范·哈格,帕斯卡·希茨勒,Krzysztof Janowicz公司,纳齐法·卡里玛,阿迪拉·克里斯纳迪,汤姆·纳洛克,Roxane Segers公司,莫妮卡·索兰基,Vojtech Svátek公司:
收集关于本体设计模式的研究问题。基于本体设计模式的本体工程 2016:189-198
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/ios/p/Carral16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ios/p/Carral16
大卫·卡拉尔:
检测器最终状态的本体设计模式。基于本体设计模式的本体工程 2016:329-333
2015
[第17条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/FieerCSGH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/FieerCSGH15
克里斯蒂娜·费尔,大卫·卡拉尔,乔治·斯特凡诺尼,Bernardo Cuenca Grau公司,伊恩·霍洛克斯:
将组合方法扩展到轻量级描述逻辑之外。描述逻辑 2015
[第16条]
- 看法
  - 电子版@ijcai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ijcai/FieerCSGH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/FieerCSGH15
克里斯蒂娜·费尔,大卫·卡拉尔,乔治·斯特凡诺尼,贝尔纳多·昆卡·格劳,伊恩·霍洛克斯:
超越OWL 2配置文件的查询答案组合方法。国际JCAI 2015:2971-2977
[第15条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/semweb/CarralCDHHHKLSV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/CarralCDHHKLSV15
大卫·卡拉尔,米歇尔·切萨姆,Sünje Dallmeier-Tiessen公司,帕特里夏·赫特里奇,迈克尔·希尔德雷思,帕斯卡·希茨勒,阿迪拉·克里斯纳迪,卡蒂·拉西拉·佩里尼,伊丽莎白·塞克斯顿-肯尼迪,查尔斯·瓦尔德曼,戈登·瓦茨:
粒子物理分析的本体设计模式。 WOP公司 2015
[第14条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/semweb/OBrienCMH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/OBrienCMH15
帕特里克·S·奥布莱恩,大卫·卡拉尔,杰夫·米克特,帕斯卡·希茨勒:
图书馆领域数据集成的本体设计模式。 WOP公司 2015
2014
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MartinezFGHH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MartinezFGHH14
大卫·卡拉尔,克里斯蒂娜·费尔,Bernardo Cuenca Grau公司,帕斯卡·希茨勒,伊恩·霍洛克斯:
EL公司-认识本体论。国际JCAR 2014:464-479
[第12条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralFRGHH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralFRGHH14网址
大卫·卡拉尔,克里斯蒂娜·费尔,安娜·阿玛斯·罗梅罗,Bernardo Cuenca Grau公司,帕斯卡·希茨勒,伊恩·霍洛克斯:
你的本体论像你想的那么难吗？将本体重写为更简单的DL。描述逻辑 2014:128-140
[第11条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/owled/CarralKRH14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/owled/CarralKRH14
大卫·卡拉尔,阿迪拉·克里斯纳迪,塞巴斯蒂安·鲁道夫,帕斯卡·希茨勒:
所有但不是没有：牵引式OWL配置文件的左侧和侧面通用。猫头鹰 2014:97-108
[第10条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/semweb/Abdalla HCLJ14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/AbdallaHCLJ14
阿明·阿卜杜拉,胡英杰,大卫·卡拉尔,李乃聪,Krzysztof Janowicz公司:
一种用于活动推理的本体设计模式。 WOP公司 2014:78-81
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/semweb/CarralFGHH14配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/semweb/CarralFGHH14
大卫·卡拉尔,克里斯蒂娜·费尔,Bernardo Cuenca Grau公司,帕斯卡·希茨勒,伊恩·霍洛克斯:
推动可追踪本体推理的边界。 ISWC（2） 2014:148-163
2013
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cosit/HuJMSKBHDK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cosit/HuJMSKBHDK13
胡英杰,Krzysztof Janowicz公司,大卫·卡拉尔,西蒙·谢德,维尔纳·库恩,加里·贝格·克罗斯,帕斯卡·希茨勒,迪恩,戴夫·科拉斯:
语义轨迹的地学设计模式。成本 2013:438-456
【c7】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/WangMH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/WangMH13
王聪（音）,大卫·卡拉尔,帕斯卡·希茨勒:
使用标称模式的SROIQ语法近似。描述逻辑 2013:988-999
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esws/MartinezSJVKH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esws/MartinezSJVKH13
大卫·卡拉尔,西蒙·谢德,Krzysztof Janowicz公司,查尔斯·瓦尔德曼,阿迪拉·阿尔法·克里斯纳迪,帕斯卡·希茨勒:
地图缩放的本体设计模式。 ESWC公司 2013:76-93
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rr/马丁内兹WH13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rr/MartinezWH13
大卫·卡拉尔,王聪（音）,帕斯卡·希茨勒:
用标称模式扩展描述逻辑的高效推理算法。相对应力 2013:65-79
2012
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esws/MartinezH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esws/MartinezH12
大卫·卡拉尔·马丁内斯,帕斯卡·希茨勒:
扩展描述逻辑规则。 ESWC公司 2012:345-359
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gis/MartinezJH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gis/MatinezJH12
大卫·卡拉尔·马丁内斯,Krzysztof Janowicz公司,帕斯卡·希茨勒:
用于量化类型的逻辑地学设计模式。 SIGSPATIAL/GIS系统 2012:239-248
【c2】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/owled/MartinezKH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/owled/MartinezKH12
大卫·卡拉尔·马丁内斯,阿迪拉·阿尔法·克里斯纳迪,帕斯卡·希茨勒:
集成OWL和规则：命名模式的语法建议。猫头鹰 2012
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rr/KnorrMHKMW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rr/KnorrMHKMW12
马蒂亚斯·克诺尔,大卫·卡拉尔·马丁内斯,帕斯卡·希茨勒,阿迪拉·阿尔法·克里斯纳迪,弗雷德里克·迈尔,王聪（音）:
OWL和规则集成的最新进展（技术通信）。相对应力 2012:225-228

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。