|
验证OWL-Time本体
Verification of the OWL-Time Ontology |
|
| |
| 课程网址: |
http://videolectures.net/iswc2011_gruninger_ontology/
|
| 主讲教师: |
Michael Grüninger
|
| 开课单位: |
多伦多大学
|
| 开课时间: |
2011-11-25
|
| 课程语种: |
英语
|
| 中文简介: |
本体验证涉及本体的预期结构与本体的公理化模型之间的关系。对特定本体的验证需要表征本体的模型直到同构，并证明这些模型等同于本体的预期结构。在本文中，我们提供了Hobbs和Pan引入的时间本体的验证，这是OWL时间的一阶公理化。我们确定本体验证涉及本体的预期结构与本体的公理化模型之间的关系。要验证特定的本体，需要对本体的模型进行描述，直到同构为止，并证明这些模型等价于本体的预期结构。本文对霍布斯和潘提出的时间本体论进行了验证，这是对时间的一阶公理化。我们在本体论中确定了五个模块，并对这些模块之间以及点与区间之间的时间本体论的元理论关系进行了完整的描述。了这个本体中的五个模块，并提供了模块之间以及点和间隔的其他时间本体之间的元理论关系的完整说明。
|
| 课程简介: |
Ontology verification is concerned with the relationship between the intended structures for an ontology and the models of the axiomatization of the ontology. The verification of a particular ontology requires characterization of the models of the ontology up to isomorphism and a proof that these models are equivalent to the intended structures for the ontology. In this paper we provide the verification of the ontology of time introduced by Hobbs and Pan, which is a first-order axiomatization of OWL-Time. We identify five modules within this ontology and present a complete account of the metatheoretic relationships among the modules and between other time ontologies for points and intervals.
|
| 关 键 词: |
本体验证; 预期结构; 公理化模型; 时间本体
|
| 课程来源: |
视频讲座网公开课
|
| 最后编审: |
2019-05-26：cwx
|
| 阅读次数: |
31
|
|
图 书 馆