Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii

• Autorzy: Goczyła K. , Waloszek A. , Waloszek W.

Warianty tytułu

EN

Conglomeration algebra as a tool for describing ontology processing problems

• Języki publikacji: PL

Abstrakty

PL

W niniejszym artykule zaprezentowano nowe narzędzie przetwarzania modularnych baz wiedzy - algebrę konglomeratów. Przedstawioną propozycję wyróżnia fakt, że traktujemy moduły bazy wiedzy semantycznie. W artykule zaprezentowano doświadczenia związane z wykorzystaniem algebry (m.in. do dekompozycji bazy wiedzy oraz jako wsparcie procesu wnioskowania) oraz naszkicowano kierunki jej przyszłego rozwoju.

EN

In the paper we present a novel conglomeration algebra which is a basic tool in our approach to knowledge base modularization. In the algebra modules are treated semantically. The paper presents our experiences with using conglomeration algebra and sketch the directions of its further development.

Słowa kluczowe

PL

ontologie; baza wiedzy; modularyzacja

EN

ontology; knowledge base; modularity

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2009
• Tom: Vol. 30, nr 2A
• Strony: 141--156
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Goczyła K.

autor

Waloszek A.

autor

Waloszek W.

• Wydział Elektroniki, Telekomunikacji i Informatyki Politechnika Gdańska, 80-952 Gdańsk, ul. G. Narutowicza 11/12 tel. [phone],

Bibliografia

• 1. Baader F. A., McGuiness D. L., Nardi D., Patel-Schneider P. F. (red.): The Description Logic Handbook: Theory, implementation, and applications, Cambridge University Press, 2003.
• 2. Codd, E. F.: Relational Completeness of Data Base Sublanguages. Database Systems, 1979, Vol. 6, s. 65-98.
• 3. Serafini L., Tamilin A. Reasoning with Instances in Distributed Description Logics. Raport badawczy, Fondazione Bruno Kessler - IRST, 2007. Dostępny pod adresem: http://sra.itc.it/people/tamilin/publications/2007/iswc/tr.pdf.
• 4. Benerecetti, M., Bouquet, P., Ghidini, C: Contextual reasoning distilled. Journal of Experimental & Theoretical Artificial Intelligence, 2000, Vol. 12, No. 3, s. 279-305.
• 5. Cuenca-Grau B., Parsia B., Sirin E.: Tableau Algorithms for L-Connections of Description Logics. Raport badawczy UMIACS, Maryland, 2004.
• 6. Grau B. C, Horrocks I., Kazakov Y., Sattler U.: A logical framework for modularity of ontologies. Proceedings of the 20th International Joint Conference on Artificial Intelligence, s. 298-303, IJCAI, 2007.
• 7. Ghidini C, Serafini L., Tessaris S.: On relating heterogeneous elements from different ontologies. Proceedings of the 20th International Workshop of Description Logics, Bozen-Bolzano 2007, s. 283-290.
• 8. Motik, B., Sattler, U., Studer, R: Query Answering for OWL-DL with Rules. Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 2005, Vol. 3, No. l,s. 41-60.
• 9. Horrocks, I., Sattler, U.: A Tableau Decision Procedure for SHOIQ. Journal of Automated Reasoning, 2007, Vol. 39, No. 3, s. 249-276.
• 10. Tobies, S.: Complexity Results and Practical Algorithms for Logics in Knowledge Representation. Praca doktorska, RWTH Aachen 2001.
• 11. Hall, P., Hitchcock, P., Todd, S.: An algebra of relations for machine computation. Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM, 1975, s. 225-232.
• 12. Herrmann C, Krahn H., Rumpe B., Schindler B., Volkel S.: An Algebraic View on the Semantics of Model Composition. Model Driven Architecture - Foundations and Applications, Springer, 2007, s. 99-113.
• 13. Bao J., Caragea D., Honavar V. G.: Modular Ontologies - A Formal Investigation of Semantics and Expressivity. Proceedings of the First Asian Semantic Web Conference, Springer-Verlag, 2006, s. 616-631.
• 14. Goczyła K., Waloszek A., Waloszek W.: Techniki modularyzacji ontologii. Bazy danych. Rozwój metod i technologii - Architektura, metody formalne i zaawansowana analiza danych, red.: S. Kozielski, B. Małysiak, P. Kasprowski, D. Mrozek, WKŁ, 2008, s. 309-322,.
• 15. Mitra P., Wiederhold G.: An Ontology-Composition Algebra. Handbook on Ontologies, Springer-Verlag, 2004, s. 171-216.
• 16. d'Aquin M. i in.: NeOn Formalisms for Modularization: Syntax, Semantics, Algebra. Raport D 1.1.3 projektu NeOn, http://www.neon-project.org, 2008.
• 17. Aho, A. V., Ullman, J. D.: Universality of data retrieval languages. Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM, 1979, s. 110-119.
• 18. Colby, L. S.; A recursive algebra and query optimization for nested relations. SIGMOD Rec, 1989, Vol. 18, No. 2, s. 273-283.