图 书 馆
本地闭合世界语义：OWL的基础限制Local closed world semantics: Grounded circumscription for OWL |
|
| 课程网址: | http://videolectures.net/iswc2011_sengupta_semantics/ |
| 主讲教师: | Kunal Sengupta |
| 开课单位: | 莱特州立大学 |
| 开课时间: | 2011-11-25 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an undecidable logic unless severe restrictions were imposed. In particular, it was not possible, in general, to apply local closure to roles. In this paper, we provide a new approach, called grounded circumscription, which is applicable to SROIQ and other description logics around OWL without these restrictions. We show that the resulting language is decidable, and we derive an upper complexity bound. We also provide a decision procedure in the form of a tableaux algorithm. |
| 关 键 词: | 描述逻辑; 基础限制; 局部闭包 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-05-05：lxf |
| 阅读次数: | 95 |