S-Pellet jako implementacja zdaniowej reprezentacji modułów algebry konglomeratów

• Autorzy: Waloszek W.

Warianty tytułu

EN

Implementing sentential representation of s-modules in S-Pellet

• Języki publikacji: PL

Abstrakty

PL

W niniejszym artykule opisano zdaniową reprezentację konglomeratów (semantycznych modułów ontologicznych). Pokazano, w jaki sposób reprezentacja ta może być przydatna do wnioskowania z konglomeratów. Zaprezentowano też prototypowy system o nazwie S-Pellet, realizujący działania algebry konglomeratów za pomocą reprezentacji zdaniowej. System ten wykorzystuje do wnioskowania program Pellet, realizujący algorytm tableau.

EN

In the article we introduce a prototypical system, named S-Pellet, which reasons over semantic modules with use of a standard reasoning engine, Pellet. The architecture, interfaces and a scenario of use of S-Pellet are presented. For the reasoning S-Pellet exploits the theory of sentential representation of s-modules; the theory is described and discussed in the paper.

Słowa kluczowe

PL

ontologia; modularyzacja; baza wiedzy; reprezentacja wiedzy; algebra konglomeratów

EN

ontology; modularization; knowledge base; knowledge representation; s-modules

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Studia Informatica
• Rocznik: 2012
• Tom: Vol. 33, nr 2A
• Strony: 311--327
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Waloszek W.

• Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki, Katedra Inżynierii Oprogramowania, ul. Narutowicza 11/13, 80-233 Gdańsk, Polska,

Bibliografia

• 1. 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.
• 2. Sirin E., Parsia B., Grau B. C., Kalyanpur A., Katz Y.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics, Vol. 5(2), 2007, s. 51-53.
• 3. Goczyła K., Waloszek A., Waloszek W., Zawadzka T.: Wewnętrzna reprezentacja konglomeratowej bazy wiedzy w systemie RKaSeA. Studia Informatica, Vol. 31, No. 2A(89), Wydawnictwo Politechniki Śląskiej, Gliwice 2010, s. 105-120.
• 4. Horridge M., Bechhofer S.: The OWL API: A Java API for Working with OWL 2 Ontologies. OWLED 2009, 6th OWL Experienced and Directions Workshop, 2009.
• 5. Goczyła K., Piotrowski P., Waloszek A., Waloszek W., Zawadzka T.: Język KQL jako realizacja idei języka SQL dla bazy wiedzy. Studia Informatica, Vol. 31, No.2A(89), Wydawnictwo Politechniki Śląskiej, Gliwice 2010, s. 47-61.
• 6. Goczyła K., Waloszek A., Waloszek W.: Algebra of ontology modules for semantic agent. Computational collective intelligence: semantic web, social networks and multi-agent systems. LNCS, Vol. 5796, Springer, 2009, s. 492-503.
• 7. Henkin L., Monk J. D., Tarski A.: Cylindric Algebras pt. 1. Studies in Logic and the Foundations of Mathematics, Vol. 64, North-Holland, Amsterdam 1971.
• 8. Goczyła K., Waloszek A., Waloszek W.: A Semantic Algebra for Modularized Description Logics Knowledge Bases. Proc. of DL Workshop 2009, CEUR-WS, Vol. 477, 2009.
• 9. Parr T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Bookshelf, 2007.
• 10. Volz R., Oberle D., Staab S., Motik B.: KAON SERVER - A Semantic Web Management System. AT Proc, of the 12th World Wide Web Conference, ACM, Budapeszt 2003.
• 11. Gomez-Perez A., Suarez-Figueroa M. C.: Scenarios for Building Ontology Networks within the NeOn Methodology. Proc. of the K-CAP 2009, ACM, 2009.
• 12. Homola M., Tamilin A., Serafini L.: Modeling Contextualized Knowledge. Procs. of the 2nd Workshop on Context, Information and Ontologies, CEUR-WS, Vol. 626, 2010.
• 13. 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.
• 14. Serafini L., Tamilin A.: DRAGO: Distributed Reasoning Architecture for the Semantic Web. Proc. of the ESWC'05, LNCS, Vol. 3532, Springer-Verlag, 2005.
• 15. Borgida A., Serafini L.: Distributed Description Logics: Assimilating Information from Peer Sources. Journal of Data Semantics, No. 1, 2003, s. 153-184.