2016年逻辑说明:南非开普敦
毛里齐奥·伦泽里尼 , 拉斐尔·佩尼亚洛萨 :
第29届描述逻辑国际研讨会论文集,南非开普敦,2016年4月22日至25日。 CEUR研讨会记录 1577, CEUR-WS.org公司 2016 迭戈·卡尔瓦内斯 :
使用描述逻辑管理图形结构数据中的更改。 伯特·格利姆 , 叶夫根尼·哈萨克夫 , Trung-Kien Tran公司 :
Horn SHOIF中通过抽象精炼实现的本体物化。 丹素秋(Dan Suciu) :
概率数据库中的提升推理。 Shqiponja Ahmetaj先生 , 马格达莱娜·奥尔蒂斯 , 曼塔斯·西姆库斯 :
表达式描述逻辑中实例查询的多项式析取数据日志重写。 梅迪纳·安德烈塞尔 , 马格达莱娜·奥尔蒂斯 , 曼塔斯·西姆库斯 :
一种交互式本体中介数据挖掘的编译技术。 安娜·阿玛斯·罗梅罗 , 马克·卡明斯基 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
通过数据日志推理提取本体模块。 亚历山德罗·阿塔尔 , 恩里科·弗兰科尼 :
用标记元组、投影、功能依赖和对象化扩展DLR。 梅亨·宾文努 , 斯坦尼斯拉夫·基科特 , 罗曼·孔查科夫 , 弗拉基米尔·波多尔斯基 , 迈克尔·扎克哈里亚舍夫 :
OWL 2 QL Ontology-Mediated查询的理论最优数据日志重写。 斯特凡·博格沃德 , 拉斐尔·佩尼亚洛萨 :
表达型哥德尔描述逻辑中的推理。 埃琳娜·博托埃娃 , 迭戈·卡尔瓦内斯 , 本杰明·科格雷 , 马丁·雷兹克 , 肖国辉 :
OBDA超越关系数据库:MongoDB研究。 埃琳娜·博托埃娃 , 迭戈·卡尔瓦内斯 , 瓦莱里奥·桑塔雷利 , 多梅尼科·法比奥·萨沃 , 亚历山德罗·索利曼多 , 肖国辉 :
表达本体论上的虚拟OBDA:重写和近似。 乔恩·哈埃尔·布伦纳斯 , 拉希德·埃哈希德 , 马丁·斯特雷克 :
关于替换下描述逻辑的闭包。 迭戈·卡尔瓦内斯 , 马可·蒙塔利 , 法比奥·帕特里齐 , 米歇尔·斯塔沃维 :
在知识和行动库中综合和执行计划。 罗伯托·孔帕洛涅利 , 马尔科·舍尔默 , 奥利弗·库茨 , 拉斐尔·佩尼亚洛萨 , 恩里克广场 , 曼弗雷德·埃普 :
EL++中的概念融合。 Marco控制台 :
基于本体的数据访问中作为知识的数据准确性(初步报告)。 莎拉·爱丽丝·加格尔 , 塞巴斯蒂安·鲁道夫 , 卢卡斯·施韦泽 :
描述逻辑的固定域推理。 顾振珍 :
Horn-SROIQ和问答的元模型扩展。 维克托·古铁雷斯-巴苏尔托 , 让·克里斯托夫·荣格 , 罗曼·孔查科夫 :
时态EL中查询的可判定性和可牵引性。 亨丽埃特·哈姆斯 , 卡塔琳娜·布里茨 , 奥罗娜·格贝尔 :
本体设计和评估的阿姆斯特朗关系。 马蒂亚斯·亨格尔 , 斯特凡·沃尔夫 , 伯恩哈德·内贝尔 :
关于具有时空约束的通用TBox的推理:实现和优化。 安德烈·赫尼奇 , 胡里奥·莱莫斯 , 弗兰克·沃尔特 :
具有数据类型的可追踪本体中介查询的约束模式。 祖贝达·卡斯莫德·汗 :
本体模块中的评估度量。 帕特里克·科普曼 , Nadeschda尼基蒂纳 :
最小化非循环EL本体。 奥利弗·库茨 , 费边·纽豪斯 , 玛丽亚·M·海德布洛姆 , 蒂尔·莫萨科夫斯基 , Mihai Codescu公司 :
DOWL的本体模式:混合案例。 安蒂·库西斯托 :
关于统一的一维碎片。 阿格涅斯卡·劳里诺维奇 , C.玛丽亚·基特 :
用于测试驱动开发DL知识库的TDDonto工具。 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 费德里科·尤利安纳 :
关于有界正存在性规则。 诺伯特·曼泰 , 拉斐尔·佩尼亚洛萨 , 塞巴斯蒂安·鲁道夫 :
使用SAT技术在EL中进行高效Axiom精确定位。 安东内拉·波吉 :
OWL 2 QL的SPARQL直接语义蕴涵机制。 朱利亚·普坎科娃 , 马丁·霍莫拉 :
基于表的描述逻辑ABox外推:初步报告。 塞巴斯蒂安·鲁道夫 :
有限性的诅咒:非常表达描述逻辑中数据库启发推理问题的不确定性。 拉尔夫·施瓦·费迈耶 , 阿德里安·帕斯克 :
使用结构本体设计模式目录编织本体方面。 赵仪征 , 雷娜特·施密特 :
ALCOIH\mu+(\top,\sqcap)-本体论中的忘记概念和角色符号。 梅亨·宾文努 , 卡米尔·鲍戈斯(Camille Bourgaux) , 弗朗索瓦·戈斯杜埃 :
不一致DL-Lite知识库的查询驱动修复(扩展摘要)。 梅亨·宾文努 , 彼得·汉森 , 卡斯滕·卢茨 , 弗兰克·沃尔特 :
Horn描述逻辑中连接查询的一阶可重写性和包含性。 埃琳娜·博托埃娃 , 卡斯滕·卢茨 , 弗拉迪斯拉夫·里日科夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
ALC本体的查询不可分割性何时可以确定? 伊斯梅尔·伊尔坎·塞兰 , 阿德南·达维切 , 盖·范登·布勒克 :
开放世界概率数据库(扩展抽象)。 陈娇艳 , 陈华军 , 杰夫·Z·潘 :
烟雾灾害分析的语义推理。 克里斯蒂娜·西维利 , 里卡多·罗萨蒂 :
存在规则的有界蕴涵(扩展摘要)。 克里斯蒂娜·费尔 , 安蒂·库西斯托 , 卡斯滕·卢茨 :
FO-表达本体论中介查询的可重写性。 巴勃罗·鲁宾·菲洛特拉尼 , C.玛丽亚·基特 :
协调和逻辑导向的概念建模设计。 劳拉·佐丹奴 , 丹尼尔·塞塞迪尔·杜普雷 :
SROEL的理性扩展中的推理。 多梅尼科·伦博 , 里卡多·罗萨蒂 , 瓦莱里奥·桑塔雷利 , 多梅尼科·法比奥·萨沃 , 叶夫根尼·托尔斯滕森 :
通过地图修复接近OBDA进化。 玛丽·劳雷·穆格尼尔 , 玛丽·克里斯汀·罗塞特 , 费德里科·尤利安纳 :
NOSQL数据库的Ontology-Mediated查询。 杰森·圣雅克 , 大卫·托曼 , 格兰特·韦德尔 :
CFDI_nc知识库上的对象相关查询:SQL-Literate的OBDA(扩展抽象)。