Skip to main content Skip to main navigation


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, located at 7th International Conference on Formal Ontology in Information Systems, July 24-27, Graz, Austria, CEUR, Vol. 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.