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