A schema for s-modular knowledge bases

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

Abstract


The paper presents advances of s-modular approach towards developing design methodology for engineers. One of the first proceedings is an attempt to define and differentiate a schema and an instance of a knowledge base. Such distinction is necessary to provide technical means for establishing constraints to control the process of knowledge base design, maintenance and deployment.

Keywords


knowledge base; Semantic Web; inference system; s-modules; conglomerate

Full Text:

PDF (Polski)

References


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

Baader F. A., McGuiness D. L., Nardi D., Patel-Schneider P. F. (eds.): The Description Logic Handbook: Theory, implementation, and applications. Cambridge University Press,2003.

Goczyła K., Waloszek A., Waloszek W.: Algebra konglomeratów jako narzędzie opisu problemów przetwarzania ontologii. Studia Informatica, Vol. 30, No. 2A, Gliwice 2009,s. 141-156.

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.

Goczyła K., Waloszek A., Waloszek W.: Algebra of ontology modules for semantic agent. Computational collective intelligence: semantic web, social networks and multiagent systems, LNCS Vol. 5796, Springer, 2009, s. 492-503.

Codd E. F.: Relational Completeness of Data Base Sublanguages. Database Systems, Vol. 6, 1979, s. 65-98.

Imielinski T., Lipski W. J.: The Relational Model of Data and Cylindric Algebras. J. Comput. Syst. Sci., Vol. 28, No. 1, 1984, s. 80-102.

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., 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, Gliwice 2010, s.47-61.




DOI: http://dx.doi.org/10.21936/si2012_v33.n2A.152