Implementing sentential representation of s-modules in S-Pellet

Wojciech Waloszek


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.


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

Full Text:

PDF (Polski)


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.

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.

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.

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.

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.

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.

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.

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.

Parr T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Bookshelf, 2007.

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.

Gomez-Perez A., Suarez-Figueroa M. C.: Scenarios for Building Ontology Networks within the NeOn Methodology. Proc. of the K-CAP 2009, ACM, 2009.

Homola M., Tamilin A., Serafini L.: Modeling Contextualized Knowledge. Procs. of the 2nd Workshop on Context, Information and Ontologies, CEUR-WS, Vol. 626, 2010.

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.

Serafini L., Tamilin A.: DRAGO: Distributed Reasoning Architecture for the Semantic Web. Proc. of the ESWC'05, LNCS, Vol. 3532, Springer-Verlag, 2005.

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