2019年物流说明:挪威奥斯陆
受邀会谈
巴勃罗·巴塞洛 :
数据库查询语言逆向工程问题的理论观点。 梅亨·宾文努 :
Ontology-Mediated Query Answering中的不一致处理:进度报告。 格哈德·莱克梅耶 :
果洛程序的可判定验证:情境演算符合描述逻辑。
全文
埃尔曼·阿卡尔 , 拉斐尔·佩尼亚洛萨 , 利维亚·普雷多尤 :
对语境本体做出决定。 亚历山德罗·阿塔尔 , 安德烈亚·马祖洛 , 安娜·奥扎基 :
有限道上的时间DL-Lite(初步结果)。 弗兰兹·巴德 , 巴托斯·贝德纳奇克 , 塞巴斯蒂安·鲁道夫 :
具有全局和局部基数约束的描述逻辑中的可满足性检查和连接查询回答。 巴托斯·贝德纳奇克 , 塞巴斯蒂安·鲁道夫 :
具有路径表达式和简洁计数的高度表达描述逻辑的最坏情况优化查询。 皮耶罗·A·博纳蒂 , 伊利亚娜·彼得罗娃 , 路易吉·索罗 :
更丰富的GDPR合规政策语言。 亚历山大·博吉达 , 大卫·托曼 , 格兰特·韦德尔 :
关于过程和计划的特殊描述逻辑。 洛里斯·波扎托 , 托马斯·艾特 , 卢西亚诺·塞拉菲尼 :
具有可延迟性的DL-Lite_R上推理的数据日志转换。 卡塔琳娜·布里茨 , 伊万·瓦尔津扎克 :
上下文可延迟ALC推理。 乔瓦尼·卡西尼 , 迈克尔·哈里森 , 托马斯·迈耶尔 , 里德·斯旺 :
可推迟承诺的任意排名。 陈洁英 , 加达-阿尔甘迪 , 雷娜特·施密特 , 德克·沃尔特 , 高永胜 :
模块化遇到遗忘:SNOMED CT本体的案例研究。 亚历山大·乔塔拉斯 , 米查利斯·贾齐佐格鲁(Michalis Giazitzoglou) , 乔戈斯·斯塔莫 :
在DL知识库的查询空间中。 吉安卢卡·西马 , 费德里科·克罗斯 , 毛里齐奥·伦泽里尼 , 安东内拉·波吉 , 埃利安·托卡切利 :
关于DL-LiteR≠中不等式的查询。 吉安卢卡·西马 , 查拉兰波斯·尼古劳 , 埃戈尔·柯斯特列夫 , 马克·卡明斯基 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
进一步包装DL-Lite系列。 蒂齐亚诺·达尔蒙特 , 安德烈亚·马祖洛 , 安娜·奥扎基 :
关于非正规模态描述逻辑。 卡塔琳娜·法比亚诺娃 , 朱利亚·普坎科娃 , 马丁·霍莫拉 :
基于最小命中集和MergeXplain的ABox诱拐比较。 顾振珍 , 曹存根(Cungen Cao) , 张松茂 :
OWL 2 Full的一种表达型子语言,用于领域元建模。 让·克里斯托夫·荣格 , 卡斯滕·卢茨 , 托马斯·泽姆 :
具有传递闭包的ALCOIF的可决定性和复杂性(及更多)。 克里斯蒂安·金德曼 , 比扬·帕西娅 , 乌利·萨特勒 :
检测生物医学本体中本体设计模式的影响。 罗曼·孔查科夫 , 弗拉迪斯拉夫·里日科夫 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
关于具有布尔角色包含的DL-Lite的注释。 帕特里克·科普曼 :
也许最终? 结合时间描述逻辑和概率描述逻辑和查询。 罗宾·诺尔特 , 托马斯·施奈德 :
模块化本体如何模块化? 进口本体的基于逻辑的度量。 谢尔盖·奥比耶科夫 , 巴里斯·塞尔特卡亚 , 丹尼斯·佐洛图金 :
描述逻辑知识库的大致正确完成。 马格达莱娜·奥尔蒂斯 , 萨尼娅·巴甫洛维奇 , 曼塔斯·西姆库斯 :
回答本体论挑战的集合程序。 丹尼尔·波雷洛 , 奥利弗·库茨 , 根达利娜·里盖蒂 , 尼古拉斯·特罗夸德 , 彼得罗·加利亚尼 , 克劳迪奥·马索洛 :
一牙概念:走向加权概念组合理论。 安德烈亚斯·斯泰格米勒 , 伯特·格利姆 :
表达式描述逻辑的基于吸收的查询蕴涵检查。 霍拉西奥·特利兹·佩雷斯 , 杰夫·威森 :
连接数据库和本体:数据质量视角。 大卫·特娜·库卡拉 , Bernardo Cuenca Grau公司 , 伊恩·霍洛克斯 :
红杉:基于结果的SROIQ推理器。 萨蒂亚达玛·蒂塔拉萨 , 本杰明·扎里 :
带有动作的上下文描述逻辑中的投影。 大卫·托曼 , 格兰特·韦德尔 :
通过引用表达式进行详尽的查询回答。 王哲(Zhe Wang) , 彭晓 , 王克文(Kewen Wang) :
存在规则的实际数据日志重写。 米特科·扬切夫 :
表达描述逻辑中的合理分级。
扩展摘要
弗兰兹·巴德 , 奥利弗·费尔南德斯·吉尔 , 帕夫洛斯·马兰蒂迪斯 :
描述逻辑FL0中与通用TBox的匹配(扩展抽象)。 巴勃罗·巴塞洛 , 克里斯蒂娜·费尔 , 卡斯滕·卢茨 , 安德烈亚斯·皮利斯 :
本体中介查询中的PTime组合复杂性和FPT。 梅亨·宾文努 , 皮埃尔·布赫斯 :
主动域语义下带存在性规则的混合世界推理(摘要)。 Stefan Borgwardt公司 , 伊斯梅尔·伊尔坎·塞兰 , 托马斯·卢卡西维茨 :
对数线性概率数据上的本体中介查询应答(摘要)。 Stefan Borgwardt公司 , 沃尔特·福克尔 :
ELH-bottom Ontologies上带否定的连接查询的封闭世界语义(扩展抽象)。 卡米尔·鲍戈斯(Camille Bourgaux) , 安娜·奥扎基 :
使用起源半环查询属性DL-Lite本体论(扩展摘要)。 卡塔琳娜·布里茨 , 伊万·瓦尔津扎克 :
可推迟ALC的上下文理性闭包(扩展摘要)。 大卫·卡拉尔 , 伊琳娜·德拉古斯特 , 马库斯·克罗奇 :
Horn-ALCHOIQ(扩展摘要)中的综合问答方法。 大卫·卡拉尔 , 伊琳娜·德拉古斯特 , 马库斯·克罗奇 , 克里斯蒂安·勒韦 :
追逐集:如何使用存在规则进行表达推理(扩展摘要)。 大卫·卡拉尔 , 拉里·冈萨雷斯 , 帕特里克·科普曼 :
从Horn-SRIQ到Datalog:一种保持断言蕴涵的独立于数据的转换。 程海涛 , 马宗民 :
描述逻辑f-ALC(D)-LTL中的时空推理。 丹尼尔·丹尼尔斯基 , 伊曼纽尔·基伦斯基 :
具有传递性的一元否定片断的有限可满足性(扩展抽象)。 葡萄酒E.Venugopal , P.Sreenivasa Kumar先生 :
使用语义级精化(扩展抽象)改进本体描述。 奥利弗·费尔南德斯·吉尔 , 安妮·亚斯敏·图尔汗 :
走向EL CQs的等价度(扩展摘要)。 莫里斯·芬克 , 让·克里斯托夫·荣格 , 卡斯滕·卢茨 , 哈德里安·普尔奇尼 , 弗兰克·沃尔特 :
学习描述逻辑概念:什么时候可以将正反两个例子分开? (摘要)。 托马斯·戈加茨 , 维克托·古铁雷斯-巴苏尔托 , 亚兹明·伊瓦涅斯·加西亚 , 让·克里斯托夫·荣格 , 菲利普·穆拉克 :
对传递角色有数量限制的SQ以外的有限和无限制查询蕴涵。 萨伊德·贾布尔 , 岳马 , 巴德兰·拉德道伊 :
建立一个谨慎的论证框架,用于不完全本体推理。 让·克里斯托夫·荣格 , 法比奥·帕帕奇尼 , 弗兰克·沃尔特 , 迈克尔·扎克哈里亚舍夫 :
号角描述逻辑的模型比较游戏:总结。 帕特里克·科普曼 :
概率时间数据的基于本体的查询应答(摘要)。 多梅尼科·伦博 , 费德里科·玛丽亚·斯卡福利里 :
将本体论与文档扳手耦合。 安娜·奥扎基 , 尼古拉斯·特罗夸德 :
用认知推理学习本体论:EL案例(扩展摘要)。 路易斯·帕拉西奥斯 , 岳马 , 香塔尔·雷纳德 , 加勒·洛塔尔 :
面向集群实例的态势发现。 赵浩若 , 乌利·萨特勒 , 比扬·帕西娅 :
在使用原子分解进行分类期间避免沉没测试。 赵仪征 , 加达-阿尔甘迪 , 雷娜特·施密特 , 郝峰 , 乔戈斯·斯托洛斯 , 达米尔·尤里奇 , 穆罕默德·科达达迪 :
跟踪工业规模本体中的逻辑差异。 赵仪征 , 雷娜特·施密特 :
论限定数限制下描述逻辑中的概念遗忘。