Structure Formation to Modularize Ontologies

Serge Autexier, Dieter Hutter

In: Thomas Schneider , Dirk Walther (Hrsg.). Proceedings of the 6th International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-2012) 6th befindet sich 7th International Conference on Formal Ontology in Information Systems July 24-27 Graz Austria CEUR 875 ISBN ISSN 1613-0073 CEUR Workshop Proceedings 2012.


It has been well recognized that the structuring of logic-based databases like formal ontologies is an important prerequisite to allow for an effcient reasoning on such databases. Development graphs have been introduced as a formal basis to represent and reason on structured specifications. In this paper we present an initial methodology and a formal calculus to transform unstructured specifications into structured ones. The calculus rules operate on development graphs allowing one to separate specifications coalesced in one theory into a concisely structured graph.

regular_paper_1.pdf (pdf, 1 MB )

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence