图 书 馆
本体工程的推理与使用Reasoning for Ontology Engineering and Usage |
|
| 课程网址: | http://videolectures.net/iswc08_moller_itsr/ |
| 主讲教师: | Ulrike Sattler, Matthew Horridge, Giuseppe De Giacomo, Anni-Yasmin Turhan, Ralf Möller, Diego Calvanese |
| 开课单位: | 汉堡大学 |
| 开课时间: | 2008-11-24 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | We will provide a brief introduction to OWL, in fact OWL2, and the underlying Description Logic, clarifying the semantics and providing examples to help the understanding of this admittedly complex formalism. In particular, we will discuss common misunderstandings around OWL and OWL2, explain the open world assumption, inferences, and the functionality of reasoners. We will use the RacerPro reasoner to demonstrate the benefit of using reasoning for query answering over ontologies. Scalability issues with respect to expressive ontologies as well as huge assertional knowledge bases are discussed. |
| 关 键 词: | OWL算法; 底层描述逻辑; 阐明语义; 形式主义; 开放世界假设; RacerPro推理程序 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-05-26：cwx |
| 阅读次数: | 58 |