Alignment-based modules for encapsulating ontologies
2007
Abstract
Ontology engineering on the web requires a well-defined ontology module system that allows sharing knowledge. This involves declaring modules that expose their content through an interface which hides the way concepts are modeled. We provide a straightforward syntax for such modules which is mainly based on ontology alignments. We show how to adapt a generic semantics of alignments so that it accounts for the hiding of non-exported elements, but honor the semantics of the encapsulated ontologies. The generality of this framework allows modules to be reused within different contexts built upon various logical formalisms.
References (17)
- Jie Bao, Doina Caragea, and Vasant Honavar. On the Semantics of Linking and Importing in Modular Ontologies. In Proc. of 5th International Semantic Web Conference (ISWC'06), volume 4273 of LNCS, pages 72-86. Springer, 2006.
- Alex Borgida and Luciano Serafini. Distributed Description Logics: Directed domain corre- spondences in federated information sources. In On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE : Confederated International Conferences CoopIS, DOA, and ODBASE 2002, volume 2519 of LNCS. Springer, 2002.
- Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini, and Heiner Stuckenschmidt. C-OWL: Contextualizing ontologies. In Proc. 2nd International Semantic Web Conference (ISWC'03), volume 2870 of LNCS. Springer, 2003.
- Mathieu d'Aquin, Marta Sabou, and Enrico Motta. Modularization: a Key for the Dynamic Selection of Relevant Knowledge Components. In Proc. 1st Workshop on Modular Ontolo- gies (WoMO'06), 2006.
- Jérôme Euzenat. An API for Ontology Alignment. In Proc. of 3rd International Semantic Web Conference (ISWC'04), volume 3298 of LNCS, pages 698-712. Springer, 2004.
- Jérôme Euzenat and Pavel Shvaiko. Ontology matching. Springer, Heidelberg (DE), 2007.
- Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler. A logical frame- work for modularity of ontologies. In Proc. of 20th International Joint Conference on Arti- ficial Intelligence (IJCAI'07), pages 298-303, 2007.
- Bernardo Cuenca Grau and Oliver Kutz. Modular ontology languages revisited. In Workshop on Semantic Web for Collaborative Knowledge Acquisition (SWeCKa'2007, 2007.
- Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, and Aditya Kalyanpur. Modularity and web ontologies. In Proc. 10th International Conference on Principles of Knowledge Repre- sentation and Reasoning (KR'06), pages 198-209. AAAI Press, 2006.
- Martin Homola. Distributed Description Logics Revisited. In Proc. of the 20th International Workshop on Description Logics DL'07. Bolzano University Press, 2007.
- Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. E-connections of abstract description systems. Artificial intelligence, 156(1):1-73, 2004.
- Klaus Lüttich, Claudio Masolo, and Stefano Borgo. Development of modular ontologies in casl. In Proc. 1st Workshop on Modular Ontologies (WoMO'06), 2006.
- Jeff Pan, Luciano Serafini, and Yuting Zhao. Semantic Import: an Approach for Partial Ontology Reuse. In Proc. 1st Workshop on Modular Ontologies (WoMO'06), 2006.
- Julian Seidenberg and Alan Rector. Web ontology segmentation: analysis, classification and use. In Proc. 15th World Wide Web Conference (WWW'06), pages 13-22, 2006.
- Heiner Stuckenschmidt and Michel Klein. Integrity and Change in Modular Ontologies. In Proc. 18th International Joint Conference in Articifial Intelligence (IJCAI'03), pages 900- 908. Morgan Kaufmann, 2003.
- Antoine Zimmermann. Integrated Distributed Description Logics. In Proc. of the 20th In- ternational Workshop on Description Logics DL'07. Bolzano University Press, 2007.
- Antoine Zimmermann and Jérôme Euzenat. Three Semantics for Distributed Systems and their Relations with Alignment Composition. In Proc. of 5th International Semantic Web Conference (ISWC'06), volume 4273 of LNCS, pages 16-29. Springer, 2006.