图 书 馆
具有传递闭包的SHOIQ决策过程A decision procedure for SHOIQ with transitive closure of roles |
|
| 课程网址: | https://videolectures.net/videos/iswc2013_le_duc_shoiq |
| 主讲教师: | Chan Le Duc |
| 开课单位: | ISWC2013-悉尼 |
| 开课时间: | 2013-11-28 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | The Semantic Web makes an extensive use of the OWL DL ontology language, underlied by the SHOIQ description logic, to formalize its resources. In this paper, we propose a decision procedure for this logic extended with the transitive closure of roles in concept axioms, a feature needed in several application domains. The most challenging issue we have to deal with when designing such a decision procedure is to represent infinitely non-tree-shaped models, which are different from those of SHOIQ ontologies. To address this issue, we introduce a new blocking condition for characterizing models which may have an infinite non-tree-shaped part. |
| 关 键 词: | 传递闭包; SHOIQl决策过程 |
| 课程来源: | 视频讲座网 |
| 数据采集: | 2024-10-22：liyq |
| 最后编审: | 2024-10-22：liyq |
| 阅读次数: | 14 |