默认搜索操作

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

问别人

2018年逻辑说明：美国亚利桑那州坦佩

>主页 >会议和研讨会 >描述逻辑

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
- 出口记录
  dblp键：
  - conf/dlog/2018年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/2018
马格达莱娜·奥尔蒂斯,托马斯·施奈德:
2018年10月27日至29日，美国亚利桑那州坦佩市，与第16届知识表示与推理原则国际会议（KR 2018）合办的第31届描述逻辑国际研讨会会议记录。 CEUR研讨会记录2211,CEUR-WS.org公司 2018

第1部分：受邀论文

- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Tendera18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Tendera18
丽迪娅·坦德拉:
具有传递性的一阶逻辑片断的判定边界。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Vrandecic18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Vrandecic18
丹尼·弗兰德西克:
走向抽象维基百科。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Wassermann18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Wassermann18
雷娜塔·沃瑟曼:
修改本体论。

第2部分：受邀论文

- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/AndreselIOS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/AndreselIOS18
梅迪纳·安德烈塞尔,Yazmín Angélica Ibáñez-Garcia,马格达莱娜·奥尔蒂斯,曼塔斯·西姆库斯:
缓和DL-Lite的复杂角色包含。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/ArtaleMO18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/ArtaleMO18
亚历山德罗·阿塔尔,安德里亚·马祖洛,安娜·奥扎基:
有限迹上的时间描述逻辑。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BaderN18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BaderN18
弗兰兹·巴德,阿德里安·努拉迪安西亚:
走向隐私保护本体发布。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BilidasK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BilidasK18
迪米特里斯·比利达斯,马诺利斯·库巴拉基斯:
SPARQL到SQL转换中的高效重复消除。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BothaMP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BothaMP18
伦纳德·博塔,托马斯·安德烈亚斯·梅耶,拉斐尔·佩尼亚洛萨:
贝叶斯描述逻辑BALC。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BohmO18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BohmO18
卡廷卡·伯姆,马格达莱娜·奥尔蒂斯:
使用知识图构建特定主题本体的工具。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BotcherLW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BotcherLW18
安妮克·博彻,卡斯滕·卢茨,弗兰克·沃尔特:
Horn DL本体论的完全近似。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/ChenLM018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/ChenLM018
陈洁英,米歇尔·路德维希,岳马,德克·沃尔特:
计算连接查询的最小投影模块。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/ChenM018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/ChenM018
陈洁英,岳马,德克·沃尔特:
通过加权部分Max-SAT求解计算最佳本体摘录。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/DuarteKO18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/DuarteKO18
马里奥·里卡多·克鲁斯·杜阿尔特,波利斯·寇涅夫,安娜·奥扎基:
EL本体论的精确学习。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/FaridH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/FaridH18
Humaira Farid公司,沃尔克·哈尔斯列夫:
使用代数推理处理名词和反向角色。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/FieerLW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/FieerLW18
克里斯蒂娜·费尔,卡斯滕·卢茨,弗兰克·沃尔特:
在Ontology-Mediated Querying中，从连接查询到SPARQL查询。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/FuilladeHR18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/FeuiladeHR18
纪尧姆·费伊德,安德烈亚斯·赫齐格,克里斯托斯·兰苏迪斯:
ALCO的动态扩展，通过首选更新进行修复。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Gratz18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Gratz18
卢卡斯·格拉茨:
描述逻辑中作为模态算子的概念。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Jongebloed018文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Jongebloed018
萨沙·琼格布洛德,托马斯·施奈德:
重温使用电子连接的本体划分。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/KieselAS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/KieselAS18
拉斐尔·基塞尔,埃尔曼·阿卡尔,斯特凡·施洛巴赫:
语义Web上的首选默认推理。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/KikotRWZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/KikotRWZ18
斯坦尼斯拉夫·基科特,弗拉迪斯拉夫·里日科夫,普尔泽米斯瓦夫·安德烈·瓦莱加（Przemyslaw Andrzej Walega）,迈克尔·扎克哈里亚舍夫:
时间词上MTL算子的本体中介查询的数据复杂性。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/KindermannLST18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/KindermannLST18
克里斯蒂安·金德曼,丹尼尔·普·卢普,乌利·萨特勒,叶夫根尼·托尔斯滕森:
从模板生成本体：一种基于规则的捕获规则的方法。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Kovtunova第18页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/KovtunovaP18
艾莉莎·科夫图诺娃,拉斐尔·佩尼亚洛萨:
切割钻石：数据上具有概率分布的时间DL。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/MrozekPH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/MrozekPH18
Drahomírózek先生,朱利亚·普坎科娃,马丁·霍莫拉:
ABox诱拐求解器利用多个DL推理器。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/NamiciG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/NamiciG18
曼努埃尔·纳米奇,朱塞佩·德贾科莫:
将OBDA工具中的查询答案与W3C兼容规范进行比较。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/NesicN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/NesicN18
达米尔·内西奇,马蒂亚斯·尼伯格:
使用描述逻辑验证基于合同的产品线规范。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/OzakiKR18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/OzakiKR18
安娜·奥扎基,马库斯·克罗奇,塞巴斯蒂安·鲁道夫:
从此快乐：暂时属性描述逻辑。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/OzakiP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/OzakiP18
安娜·奥扎基,拉斐尔·佩尼亚洛萨:
基于本体的数据访问起源。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/PaulovicsPH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/PaulovicsPH18
彼得·保罗维奇,朱利亚·普坎科娃,马丁·霍莫拉:
SIVA：表推理算法的教育工具。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/PerlethSG18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/PellethSG18
Tanja Perleth公司,马文·R·G·席勒,伯特·格利姆:
将文本理解模型应用于EL派生词的自动描述。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/PukancovaH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/PukancovaH18网址
朱利亚·普坎科娃,马丁·霍莫拉:
描述逻辑的ABox外推：多重观测的情况。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/RudolphS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/RudolphS18
塞巴斯蒂安·鲁道夫,曼塔斯·西姆库斯:
一阶逻辑三值片断的可满足性。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/SavkovicKXMKNRH18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/SavkovicKXMKNRH18
奥根·萨夫科维奇,叶夫根尼·哈拉莫夫,肖国辉,古尔纳尔·迈赫迪,Elem Güzel Kalayci女士,沃纳·纳特,米哈伊尔·罗斯钦,伊恩·霍洛克斯:
信号诊断处理语言的理论特征。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/TomanW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/TomanW18
大卫·托曼,格兰特·韦德尔:
基于DL的知识库联合查询中的身份解析。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/TrivelaSV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/TrivelaSV18
Despoina Trivela公司,乔戈斯·斯托洛斯,瓦西里斯·瓦萨洛斯:
基于ICAR语义的表达性DL本体查询。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/ZakharyaschevKG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/ZakharyaschevKG18
迈克尔·扎克哈里亚舍夫,斯坦尼斯拉夫·基科特,奥尔加·杰拉西莫娃:
有覆盖的本体中介查询的数据复杂性分类。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/ZhaoFADS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/ZhaoFADS18
赵仪征,郝峰,鲁巴·阿拉萨夫,沃伦·德尔·潘特,雷娜特·施密特:
FAME系列：表达描述逻辑中用于遗忘的推理工具系列。

第三部分：扩展摘要

- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BaderGP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BaderGP18
弗兰兹·巴德,奥利弗·费尔南德斯·吉尔,马克西米利安·彭塞尔:
使用树自动机的描述逻辑FL0中的标准和非标准推理。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/BaderKNP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/BaderKNP18
弗兰兹·巴德,弗朗西斯科·克里格尔,阿德里安·努拉迪安西亚,拉斐尔·佩尼亚洛萨:
使描述逻辑中的修复更加温和（扩展抽象）。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Bereta0K18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Bereta0K18
康斯坦蒂娜·贝雷塔,乔治·帕帕达基斯,马诺利斯·库巴拉基斯:
SPARQLing-Up the Web onfly using Ontologies and Mappings使用本体论和映射。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Bienvenu18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Bienvenu18
梅亨·宾文努:
重新审视基于本体论的不一致容忍数据访问：考虑映射。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CalvaneseKMSA18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CalvaneeKMSA18
迭戈·卡尔瓦内斯,塔希尔·埃姆雷·卡莱奇,马尔科·蒙塔利,阿里奥·桑托索,Wil M.P.van der Aalst先生:
基于本体的数据访问中的概念模式转换（扩展抽象）。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/CarralDK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/CarralDK18
大卫·卡拉尔,伊琳娜·德拉古斯特,马库斯·克罗奇:
DL本体论和存在规则的可追踪问答：扩展摘要。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/Gutierrez-Basulto公司18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/Gutierrez-Basulto18
维克托·古铁雷斯-巴苏尔托,让·克里斯托夫·荣格,莱夫·萨贝勒克:
表达式喇叭描述逻辑的查询示例。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/LeclereMTU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/LeclereMTU18
米歇尔·勒克莱尔,玛丽·劳雷·穆格尼尔,米夏·托马佐,费德里科·尤利安纳:
线性存在规则上确定追赶终止的单一方法。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/PapachiniW18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/PapacchiniW18
法比奥·帕帕奇尼,弗兰克·沃尔特:
用于Horn描述和模态逻辑的Van Benthem定理。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/PenselT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/PenselT18
马克西米利安·彭塞尔,安妮·亚斯敏·图尔汗:
在可延迟EL_bot中计算有理语义和相关语义下的标准推理。
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/UrbaniKJDC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/UrbaniKJDC18
雅各布·乌尔巴尼,马库斯·克罗奇,塞里尔·雅各布斯,伊琳娜·德拉古斯特,大卫·卡拉尔:
基于VLog的Horn逻辑高效模型构造：扩展抽象。

管理网站设置

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