Język KQL jako realizacja idei języka SQL dla bazy wiedzy

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


As a part of the Semantic Web initiative there are being developed knowledge inference systems. Moreover, the languages for accessing such systems are also open issues. The paper proposes a new language for accessing modularized knowledge bases, whose features allows for its comprehensive usage in knowledge management systems in an analogous way as SQL language in relational database systems.


knowledge bases; query language; Semantic Web; inference system; knowledge

Full Text:

PDF (Polski)


Date C. J.: Wprowadzenie do systemów baz danych. WNT, Warszawa, 2000.

Serafini L., Tamilin A.: Reasoning with Instances in Distributed Description Logics. Raport badawczy, Fondazione Bruno Kessler - IRST, 2007. http://sra.itc.it/people/tamilin/publications/2007/iswc/tr.pdf.

D1.1.1 Networked Ontology Model. NEON project deliverable. Raport projektu NEON, 2006. http://www.neon-project.org.

Cuenca Grau B., Horroks I., Kazakov Y., Sattler U.: Extracting modules from ontologies: Theory and practice. Raport badawczy, University of Manchester, 2007. http://www.cs.man.ac.uk/~ykazakov/publications/reports/CueHorKazSat06Modul_TR.pdf.

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

Goczyła K., Waloszek A., Waloszek W.: S-Modules - An Approach to Capture Semantics for Modularized DL Knowledge Bases, KEOD 2009. Funchal-Madeira, Portugalia, 2009, s. 117-122.

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

Konev B., Lutz C, Walther D., Wolter F.: Formal Properties of Modularisation. Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization, red. C. Parent, S. Spaccapietra, H. Stuckenschmidt, Springer, 2009.

Goczyła K., Waloszek A., Waloszek W.: Algebra of ontology modules for semantic agents. Springer-Verlag, 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, Amsterdam, 1971.

The Protégé Ontology Editor and Knowledge Acquisition System http://protege.stanford.edu/.

Patel-Schneider P.F., Horrocks I.: OWL 1.1 Web Ontology Language Overview. http://www.w3.org/Submission/2006/SUBM-owlll-overview-20061219/, 2006.

OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. Boris Motik, Peter F. Patel-Schneider, Bijan Parsia, eds. W3C Recommendation, 27 October 2009, http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/.

SWRL: A Semantic Web Rule Language Combining OWL and RuleML. W3C Member Submission, 21 May 2004, http://www.w3.org/Submission/S WRL/.

Prud’hommeaux E., SPARQL Query Language for RDF. http://www.w3.org/TR/rdf-sparql-query/.

Bechhofer S.: The DIG Description Logic Interface: DIG/1.1. University of Manchester, 2003.

DIGUT Interface Version 1.3. Raport grupy KMG@GUT. 2005, http://km.pg.gda.pl/km/digut/1,3/DIGUT_Interface_1.3.pdf.

DIG 2.0 Proposal for a Query Interface. http://www.sts.tu-harburg.de/~al.kaplunova/dig-query-interface.html

Fikes R., Hayes P., Horrocks I.: OWL-QL - A Language for Deductive Query Answering on the Semantic Web. Knowledge Systems Laboratory, Stanford University, Stanford, CA, 2003. http://ksl.stanford.edu/KSL_Abstracts/KSL-03-14.html.

RacerPro User’s Guide: http://www.racer-systems.com/products/racerpro/manual.phtml.

Kubias A., Schenk S., Staab S.: Demonstration at ESWC. SAIQL Query Engine –Querying OWL Theories for Ontology Extraction. http://www.eswc2007.org/pdf/demopdf/SaiqlPosterProposal.pdf.

DOI: http://dx.doi.org/10.21936/si2010_v31.n2A.353