DOLCE 顶级本体集成至 OntoSpec 方法论
人工智能
2007-05-23 v1
摘要
本报告描述了 OntoSpec 方法论的新版本。由 LaRIA 知识工程团队（法国皮克斯杀Jules Verne 大学，阿米ens）定义，OntoSpec 旨在帮助构建者建模本体知识（正式表示的上游）。该方法论依赖一套严格定义的建模原语和原则。其应用导致构建半非正式本体，独立于知识表示语言。我们最近通过赋予其新的资源——由 LOA（意大利天主堡 IST-CNR，特伦托）定义的 DOLCE 顶级本体——丰富了 OntoSpec 方法论。这种集成旨在为建模者提供额外的结构帮助，同时保持与形式表示语言的独立性。本报告首先概述 OntoSpec 方法论的一般原则，然后描述 DOLCE 的重新工程过程。附录中呈现了 DOLCE-OS（即在半非正式 OntoSpec 语言中 DOLCE 规范）的完整版本。
引用
@article{arxiv.cs/0510050,
title = {Integration of the DOLCE top-level ontology into the OntoSpec methodology},
author = {Gilles Kassel},
journal= {arXiv preprint arXiv:cs/0510050},
year = {2007}
}