Description Logics 2015:希腊雅典
迭戈·卡尔瓦内斯 , 波利斯·寇涅夫 :
第28届描述逻辑国际研讨会论文集,希腊雅典,2015年6月7日至10日。 CEUR研讨会记录 1350, CEUR-WS.org公司 2015 卡斯滕·卢茨 :
查询重写超DL-Lite。 阿克塞尔·波勒 :
集成开放数据:描述逻辑如何帮助我? 马尔滕岛 :
面向实体的搜索引擎结果页面。 Shqiponja Ahmetaj先生 , 沃尔夫冈·费希尔 , 莱因哈德·皮克勒 , 曼塔斯·西姆库斯 , 塞巴斯蒂安·斯克里泰克 :
通过可选匹配扩展的DL-Lite和连接查询。 阿尔宾·艾哈迈蒂 , 迭戈·卡尔瓦内斯 , 阿克塞尔·波勒 , 瓦迪姆·萨文科夫 :
处理SPARQL更新中由于类不连续而导致的不一致。 亚历山德罗·阿塔尔 , 罗曼·孔查科夫 , 弗拉迪斯拉夫·里日科夫 , 迈克尔·扎克哈里亚舍夫 :
间隔时间描述逻辑。 弗兰兹·巴德 , 斯特凡·博格沃德 , 芭芭拉·莫劳斯卡 :
EL(扩展摘要)中的遣散和局部不统一。 安德鲁·贝特 , 鲍里斯·莫提克 , Bernardo Cuenca Grau公司 , 弗兰蒂斯克·西蒙西克 , 伊恩·霍洛克斯 :
将基于结果的推理扩展到SHIQ。 梅亨·宾文努 , 卡米尔·鲍戈斯(Camille Bourgaux) , 弗朗索瓦·戈斯杜埃 :
描述逻辑知识库中不一致容忍语义下的查询答案解释(扩展抽象)。 梅亨·宾文努 , 斯坦尼斯拉夫·基科特 , 弗拉基米尔·波多尔斯基 :
OWL 2 QL中回答树状查询的组合复杂性。 梅亨·宾文努 , 里卡多·罗萨蒂 :
基于查询的OBDA规范比较。 斯特凡·比肖夫 , 马库斯·克罗奇 , 阿克塞尔·波勒 , 塞巴斯蒂安·鲁道夫 :
OWL QL的Schema-Agnostic查询重写。 亚历山大·博吉达 , 大卫·托曼 , 格兰特·韦德尔 :
连词查询答案中的奇异指称表达式:CFD DL方言的例子。 Stefan Borgwardt公司 , 维罗妮卡·托斯特 :
EL中的时态查询应答。 达米安·布尔斯廷 , 弗朗索瓦·戈斯杜埃 , Ioana Manolescu公司 :
DL-Lite中通过FOL重构的高效查询应答(扩展摘要)。 斯蒂芬·伯姆 , 马塞尔·利普曼 :
具有刚性角色的可确定上下文化DL。 迭戈·卡尔瓦内斯 , 马可·蒙塔利 , 阿里奥·桑托索 :
广义知识和行动库中的不一致性管理。 Thinh Dong公司 , 陈乐德 , 菲利普·邦诺 , Myriam Lamolle公司 :
SHIQ中基于表格的修订。 克里斯蒂娜·费尔 , 大卫·卡拉尔 , 乔治·斯特凡诺尼 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
将组合方法扩展到轻量级描述逻辑之外。 奥利弗·费尔南德斯·吉尔 , 弗兰兹·巴德 , 格哈德·布鲁卡 :
将阈值概念添加到描述逻辑EL。 伯特·格利姆 , 叶夫根尼·哈萨克夫 , 伊利安娜·科利亚 , 乔戈斯·斯塔姆 :
OWL本体上SPARQL查询的下限和上限。 乔治·戈特洛布 , 马可·曼纳 , 安德烈亚斯·皮利斯 :
线性存在规则和具有n元关系的DL-Lite的多项式组合重写。 维克托·古铁雷斯-巴苏尔托 , 让·克里斯托夫·荣格 , 托马斯·施奈德 :
具有刚性角色和受限TBox的时间描述逻辑的复杂性:拯救麻烦婚姻的探索。 安德烈·赫尼奇 , 卡斯滕·卢茨 , 安娜·奥扎基 , 弗兰克·沃尔特 :
Schema.org作为描述逻辑。 马克·卡明斯基 , Bernardo Cuenca Grau公司 :
描述逻辑本体的多项式Horn重写。 托比亚斯·卡明斯基 , 马蒂亚斯·克诺尔 , 乔·莱特 :
在存在不一致的情况下利用本体论和规则进行有效推理(扩展摘要)。 叶夫根尼·哈萨克夫 , 帕维尔·克里诺夫 :
推进ELK:不仅性能重要。 马蒂亚斯·克诺尔 :
重新审视非单调标称模式。 波利斯·寇涅夫 , 卡斯滕·卢茨 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
描述逻辑TBoxes的保守可重写性:第一个结果。 波利斯·寇涅夫 , 安娜·奥扎基 , 弗兰克·沃尔特 :
从数据检索示例中精确学习描述逻辑本体。 埃戈尔·柯斯特列夫 , Bernardo Cuenca Grau公司 :
OWL2纠缠机制下的SPARQL语义。 佩特拉·库宾科娃 , 贾恩·克鲁卡 , 马丁·霍莫拉 :
通过实例化实现表达性元建模。 多梅尼科·伦博 , 何塞·莫拉 , 里卡多·罗萨蒂 , 多梅尼科·法比奥·萨沃 , 叶夫根尼·托尔斯滕森 :
基于本体的数据访问中的映射分析:算法和复杂性(扩展抽象)。 Nhung Ngo公司 , 马格达莱娜·奥尔蒂斯 , 曼塔斯·西姆库斯 :
描述逻辑中闭合谓词推理的组合复杂性。 安德烈亚斯·斯泰格米勒 , 伯特·格利姆 , 托尔斯滕·利比希 :
表达式描述逻辑的完成图缓存。 大卫·托曼 , 格兰特·韦德尔 :
关于 国家食品药品监督管理总局 . Despoina Trivela公司 , 乔戈斯·斯托洛斯 , 亚历山大·乔塔拉斯 , 乔戈斯·斯塔姆 :
Horn-SHIQ中的查询重写。 本杰明·扎里 , 延斯·克拉恩 :
基于知识的程序对带有感知的描述逻辑动作的可判定验证。 赵仪征 , 雷娜特·施密特 :
使用Ackermann方法为ALCOI-Onologies忘记概念。 周玉娇 , Bernardo Cuenca Grau公司 , 亚沃·尼诺夫 , 伊恩·霍洛克斯 :
PAGOdA:“按量付费”(Pay-as-you-go-ABox Reasoning)。 乔瓦尼·阿多尼 , 马可·马拉特 , 劳拉·潘多尔夫 , 卢卡·普利纳 :
基于本体的历史研究档案。 拉赫达尔·阿克伦 , Lhouari努林 , 法鲁克·图马尼 :
带变量描述逻辑中的推理:关于EL逻辑的初步结果。 格雷戈·本克 , 帕斯卡·伯彻 , 苏珊·比昂多 , 伯特·格利姆 , 丹尼斯·波诺马利夫 , 马文·R·G·席勒 :
整合本体论和认知系统规划。 皮耶罗·A·博纳蒂 , 伊利亚娜·彼得罗娃 , 路易吉·索罗 :
安全知识库视图的优化构建。 斯特凡·博格沃德 , 西奥菲洛斯·梅利斯 , 拉斐尔·佩尼亚洛萨 , 安妮·亚斯敏·图尔汗 :
具有有限多真度的联合查询回答。 伊斯梅尔·伊尔坎·塞兰 :
贝叶斯描述逻辑中的查询答案。 伊斯梅尔·伊尔坎·塞兰 , 托马斯·卢卡西维茨 , 拉斐尔·佩尼亚洛萨 :
在有偏好的情况下回答EL查询。 伊斯梅尔·伊尔坎·塞兰 , 拉斐尔·佩尼亚洛萨 :
动态贝叶斯描述逻辑。 安德烈亚斯·埃克 , 马克西米利安·潘塞尔 , 安妮·亚斯敏·图尔汗 :
Elastiq:回答EL中的相似阈值实例查询。 巴勃罗·R·菲洛特拉尼 , C.玛丽亚·基特 , 大卫·托曼 :
ORM概念模型的多项式编码 国家食品药品监督管理总局 . 乔纳坦·加西亚 , 杰夫·Z·潘 , 阿奇尔·福克 :
处理不确定性:DL-Lite与主观逻辑的扩展。 劳拉·佐丹诺 , 瓦伦蒂娜·格里奥齐 , 尼古拉·奥利维蒂 , 吉安·卢卡·波扎托 , 卢卡·维奥兰蒂 :
DysToPic:优先描述逻辑的多引擎定理证明程序。 帕特里克·科普曼 , 雷娜特·施密特 :
描述逻辑SIF中基于饱和的遗忘。 弗朗西斯科·克里格尔 :
用形式概念分析方法从解释序列中增量学习TBox。 毛里齐奥·伦泽里尼 , 洛伦佐·勒波尔 , 安东内拉·波吉 :
OWL 2 QL本体的高阶语义(扩展抽象)。 西奥菲洛斯·梅利斯 , 安妮·亚斯敏·图尔汗 , 埃里克·泽克 :
基于模糊DL-Lite-ontologies回答CQ的实用方法-引入FLite。 尼古拉斯·马滕佐格鲁 , 乌利·萨特勒 , 比扬·帕西娅 :
描述逻辑分类中包含测试硬度的实证研究。 安德烈亚斯·纳科鲁德 , 叶夫根尼·托尔斯滕森 :
应用缓存OBDA重写的启发。 穆拉德·乌兹里 , 萨利马·本伯努 , 纳乌埃尔·卡拉姆 , 阿列尔·哈贾利 :
管理服务选择的QoS可接受性:一种基于概率描述逻辑的方法。 朱利亚·普坎科娃 , 马丁·霍莫拉 :
带描述逻辑的外推推理:医学诊断中的用例。 维亚恰斯劳·萨佐瑙 , 乌利·萨特勒 :
概率描述逻辑SHIQp中的TBox推理。 米歇尔·斯塔沃维 :
描述逻辑动态知识库中决策和规划的优化。 维罗妮卡·托斯特 , 简·霍尔斯特 , 奥祖鲁·L·奥祖普 :
关于在DL-Lite中实现时态查询应答(扩展摘要)。