Description Logics 1999:瑞典林雪平
帕特里克·兰布里克斯 , 亚历山大·博吉达 , 毛里齐奥·伦泽里尼 , 拉尔夫·莫勒 , 彼得·帕特尔·施耐德 :
1999年描述逻辑国际研讨会论文集(DL'99),瑞典林雪平,1999年7月30日至8月1日。 CEUR研讨会记录 22, CEUR-WS.org公司 1999 前言。
受邀会谈
与联合会议 99韩元
亚历山德罗·阿塔尔 , 恩里科·弗兰科尼 :
使用增强的时间实体关系模型进行推理。 KRDB公司 1999 : 1-5 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 毛里齐奥·伦泽里尼 :
使用描述逻辑中的视图回答查询。 KRDB公司 1999 : 6-10 Susanne Prediger公司 , Gerd Stumme公司 :
理论驱动的逻辑缩放:概念信息系统符合描述逻辑。 KRDB公司 1999 : 46-49 玛丽·克里斯汀·罗塞特 :
关于查询答案的反向推理。 KRDB公司 1999 : 50-54
应用
马可·艾略 , 卡洛斯·阿雷塞斯 , 马尔滕·德·里杰克 :
图像检索的空间推理。 卡洛斯·阿雷塞斯 , 维特·博马 , 马尔滕·德·里杰克 :
描述逻辑和功能交互。 肖恩·贝赫霍费尔 , 伊恩·霍洛克斯 , 彼得·帕特尔·施耐德 , 塞尔吉奥·特萨利斯 :
描述逻辑接口的建议。 亚历山大·博吉达 , 恩里科·弗兰科尼 , 伊恩·霍洛克斯 , 黛博拉·麦吉尼斯 , 彼得·帕特尔·施耐德 :
解释ALC认购。 尤金尼奥·迪·西亚西奥 , 弗朗西斯科·多尼尼 :
图像识别的描述逻辑:初步建议。 埃米利奥·多梅尼库奇 , 弗朗西斯科·多尼尼 , 马尔科·沙尔夫 :
ICARUS:未标记场景的智能分类和检索。 佩德罗·A·冈萨雷斯·卡莱罗 , 贝伦·迪亚斯·阿古多 , 梅赛德斯·戈梅斯·阿尔巴兰 :
在基于事例推理中应用DL进行检索。 玛蒂娜·格雷斯沃尔 , 弗朗索瓦·德·贝特朗·德·博文 , 弗朗索瓦·罗塞洛 :
描述逻辑的新应用:灾难管理。 丹尼尔·库登科 , 海姆·赫什 :
描述逻辑的基于特征的学习者。 艾达·维托里亚 , 玛加丽达·马梅德 :
集成基于概念的知识库。
理论
弗兰兹·巴德 , 拉尔夫·库尔斯特 :
描述逻辑与存在限制的匹配。 弗兰兹·巴德 , 拉尔夫·莫利托 :
描述逻辑中使用术语的重写。 卡斯滕·卢茨 , 乌尔里克·萨特勒 , 斯蒂芬·托比 :
n元描述逻辑的建议。 托马斯·曼泰 :
在表达式描述逻辑中计算最小公共子集。 汉斯·尤根·奥巴赫(Hans Jürgen Ohlbach) :
集合描述语言和关于集合数值特征的推理。 弗朗索瓦·罗塞洛 , 弗朗索瓦·德·贝特朗·德·博文 , 迈克尔·施利克 , 大卫·鲁德洛夫 :
封闭术语中的推理。 塞尔吉奥·特萨利斯 , 格雷厄姆·高夫 :
具有过渡角色和公理的ABox推理。 斯蒂芬·托比 :
论描述逻辑中计数的复杂性。
系统-性能
恩里科·朱奇利亚 , 福斯托·金奇利亚 , 阿曼多·塔切拉 :
*SAT、KSATC、DLP和TA:比较分析。 沃尔克·哈尔斯列夫 , 拉尔夫·莫勒 :
表达描述逻辑中ABox推理优化策略的实证评估。 伊恩·霍洛克斯 , 彼得·帕特尔·施耐德 :
DLP在随机模态公式上的性能。
系统-说明
彼得·帕特尔·施耐德 :
系统比较。 弗朗索瓦·德·贝特朗·德·博文 , 弗朗索瓦·罗塞洛 , 玛蒂娜·格雷斯沃尔 , 大卫·鲁德洛夫 , 迈克尔·施利克 :
CICLOP公司。 沃尔克·哈尔斯列夫 , 拉尔夫·莫勒 :
RACE系统描述。 伊恩·霍洛克斯 :
FaCT和iFaCT。 乌尔里希·赫斯塔特 , 雷娜特·施密特 , 克里斯托夫·魏登巴赫 :
MSPASS:使用SPASS进行替代测试。 罗伯特·麦格雷戈 :
将描述和分类集成到谓词演算框架中。 彼得·帕特尔·施耐德 :
DLP。 阿曼多·塔切拉 :
*SAT系统描述。
扩展
亚历山德罗·阿塔尔 , 卡斯滕·卢茨 :
时间描述逻辑之间的对应关系。 米拉·巴拉班 , 阿迪·埃亚尔 :
DFL-基于对话的概念和规则推理器集成。 沃尔克·哈尔斯列夫 , 拉尔夫·莫勒 , 安妮·亚斯敏·图尔汗 , 韦塞尔 :
关于空间信息的术语缺省推理:扩展抽象。 里卡多·罗萨蒂 :
集成数据日志和描述逻辑的表达型KR系统:初步报告。
短文
安东尼奥·巴迪亚 :
通过统一特征结构实现信息集成。 安娜·多罗菲耶娃 :
用描述逻辑分析语义网络。 阿梅迪奥·那不勒斯 :
基于对象表示系统中的分类问题。 Uta Priss公司 :
描述逻辑和刻面知识表示。
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)