A Mathematical Approach to Ontology Authoring and Documentation
A Mathematical Approach to Ontology Authoring and Documentation
复制标题
本体创作和文档的数学方法
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
M. Kohlhase
中科院分区：
文献类型：
--
作者：
C. Lange;M. Kohlhase
语义网本体语言RDFS和OWL被广泛使用，但它们的表达能力以及对模块化和集成文档的支持都存在局限性。正式知识的可表现性、模块化和文档化一直是MKM社区中的重要问题。因此，我们试图通过成熟的MKM技术来改进这些本体语言。
具体地说，我们建议将语言概念嵌入到OMDoc中，以利用其模块化和文档基础设施。我们展示了如何使OMDoc与语义Web本体语言兼容，重点放在知识表示、模块化设计、文档和元数据上。我们通过重新实现朋友之友(Friend-of-a-Friend，FOAF)本体并将其应用于技术文档(包括本体)的新元数据框架来评估我们的技术。
The semantic web ontology languages RDFS and OWL are widely used but limited in both their expressivity and their support for modularity and integrated documentation. Expressivity, modularity, and documentation of formal knowledge have always been important issues in the MKM community. Therefore, we try to improve these ontology languages by well-tried MKM techniques.
Concretely, we propose embedding the language concepts into OMDoc to make use of its modularity and documentation infrastructure. We show how OMDoc can be made compatible with semantic web ontology languages, focusing on knowledge representation, modular design, documentation, and metadata. We evaluate our technology by re-implementing the Friend-of-a-friend (FOAF) ontology and applying it in a novel metadata framework for technical documents (including ontologies).
影响因子：
2.5
作者：
Grau, Bernardo Cuenca;Horrocks, Ian;Sattler, Ulrike
通讯作者：
Sattler, Ulrike