Inter-ontological mappings in the algebra of conglomerates

Krzysztof Goczyła, Aleksander Waloszek, Wojciech Waloszek, Teresa Zawadzka


Modularization and integration of ontologies are domains that are recently of great interest among researchers in the domain of Semantic Web. In the paper we analyze the possibility of expressing two main branches of methods: mappings and links by means of s-module algebra and discuss possibility of using the algebra as a uniform medium of description of such methods.


ontology; knowledge base; modularization; integration; descriptive logic

Full Text:

PDF (Polski)


Motik B., Patel-Schneider P. F., Grau B. C.: OWL 2 Web Ontology Language Direct Semantics. Rekomendacja W3C, 2009,

Haase P.: Networked Ontology Model. Projekt NeOn, 2006, web-content/index.php?itemid=73&id=17.

Bao J., Voutsadakis G., Slutzki G., Honavar V.: Package-Based Description Logics, [in:] Stuckenschmidt H., Parent C., Spaccapietra S. (red.): Modular Ontologies, LNCS, Vol. 5445, Springer, Berlin 2009, s. 349-371.

Borgida A., Serafini L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, No. 1, 2003, s. 153-184.

Grau B. C., Parsia B., Sirin E.: Working with Multiple Ontologies on the Semantic Web. The Semantic Web - ISWC 2004, LNCS, Vol. 3298, Springer, Berlin 2004, s. 620-634.

Homola M., Serafini L.: Towards Formal Comparison of Ontology Linking, Mapping and Importing. Proc. of 23rd Int. Workshop on Description Logics, CEUR-WS(573), 2010.

Goczyła K., Waloszek A., Waloszek W.: Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii. Studia Informatica, Vol. 30, No. 2A(83), Wydawnictwo Politechniki Śląskiej, Gliwice 2009, s. 141-156.

Ghidini Ch., Serafini L., Tessaris S.: On relating heterogeneous elements from different ontologies. Proc. of 20rd Int. Workshop on Description Logics, CEUR-WS(250), 2007.

Homola M., Luciano Serafini L.: Augmenting Subsumption Propagation in Distributed Description Logics. Applied Artificial Intelligence, No. 24(1-2), 2010, s. 137-174.

Serafini L., Borgida A., Tamilin A.: Aspects of Distributed and Modular Ontology Reasoning. Proc. of IJCAI 2005, s. 570-575.

Kutz 0., Wolter F., Zakharyaschev M.: Connecting abstract description systems. Proc. of KR'2002, Morgan Kaufmann, 2002, s. 215-226.

Kutz O., Lutz C., Wolter F., Zakharyaschev M.: E-connections of abstract description systems. Artificial Intelligence, No. 156(1), 2004, s. 1-73.