S-MODULES – AN APPROACH TO CAPTURE SEMANTICS OF MODULARIZED DL KNOWLEDGE BASES

Krzysztof Goczyła, Aleksander Waloszek, Wojciech Waloszek

2009

Abstract

Modularity of ontologies has been recently recognized as a key requirement for collaborative ontology engineering and distributed ontology reuse. Partitioning of an ontology into modules naturally gives rise to development of module processing methods. In this paper we describe an algebra of ontology modules developed during our work on a Knowledge Base Management System called RKaSeA. The idea differs from other algebras in the fact that we treat a module semantically, i.e. we focus on the set of a module’s models rather that on the set of axioms and assertions included in its representation The algebra has revealed its potential also in the process of reasoning.

References

  1. d?Aquin, M., et al, 2008. NeOn Formalisms for Modularization: Syntax, Semantics, Algebra. Neon Project, Deliverable D1.1.3.
  2. Ghidini, C., Serafini, L., and Tessaris, S. 2007. On relating heterogeneous elements from different ontologies. In Proceedings of the 20th International Workshop of Description Logics, pp. 283-290.
  3. Herrmann, C., Krahn, H., Rumpe, B., Schindler, M., and Völkel, S. 2007. An Algebraic View on the Semantics of Model Composition. In Model Driven Architecture - Foundations and Applications, Springer-Verlag, pp. 99-113.
  4. Hall, P., Hitchcock, P., and Todd, S. 1975. An algebra of relations for machine computation. In Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, Palo Alto, pp. 225-232.
  5. Mitra P., Wiederhold, G. 2004. An Ontology-Composition Algebra. In Handbook on Ontologies, SpringerVerlag, pp. 171-216.
  6. Motik, B., Sattler, U., and Studer, R. 2005. Query Answering for OWL-DL with Rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 3 (1), pp. 41-60.
Download


Paper Citation


in Harvard Style

Goczyła K., Waloszek A. and Waloszek W. (2009). S-MODULES – AN APPROACH TO CAPTURE SEMANTICS OF MODULARIZED DL KNOWLEDGE BASES . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 117-122. DOI: 10.5220/0002273801170122


in Bibtex Style

@conference{keod09,
author={Krzysztof Goczyła and Aleksander Waloszek and Wojciech Waloszek},
title={S-MODULES – AN APPROACH TO CAPTURE SEMANTICS OF MODULARIZED DL KNOWLEDGE BASES},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={117-122},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002273801170122},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - S-MODULES – AN APPROACH TO CAPTURE SEMANTICS OF MODULARIZED DL KNOWLEDGE BASES
SN - 978-989-674-012-2
AU - Goczyła K.
AU - Waloszek A.
AU - Waloszek W.
PY - 2009
SP - 117
EP - 122
DO - 10.5220/0002273801170122