Initial Knowledge Representation Formalism

for dissemination) This document describes a recommended knowledge representation formalism that meets the requirements of LarKC. More specifically it provides an analysis of requirements stemming from the use cases in the project and surveys the landscape of existing knowledge representation languages on the Semantic Web. Furthermore it examines systems that are able to perform inference at a large scale. Based on these results it proceeds to define its two main contributions: (i) A framework that allows for the specification of languages within the established Semantic Web language stack by providing the used vocabulary along with a set of entailment rules, and (ii) a recommended language that goes slightly beyond RDFS and allows two slightly different semantics according to the specific requirements in a scenario. This language was determined based on both theoretical complexity results and practicability of its implementation i.e. in existing inference systems. It is balanced around two goals: To guarantee a baseline of interoperability between different scenarios by means of a common language and by being open ended and lightweight enough to allow for use-case specific extensions within the defined framework, and by this means to support the open nature of the LarKC platform. As such it is a tractable minimal language that supports the overall vision of LarKC.

[1]  Zhe Wu,et al.  Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle , 2008, 2008 IEEE 24th International Conference on Data Engineering.

[2]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[3]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[4]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[5]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[6]  Boris Motik,et al.  A Faithful Integration of Description Logics with Logic Programming , 2007, IJCAI.

[7]  Catherine Dolbear,et al.  What OWL Has Done for Geography and Why We Don't Need it to Map Read , 2006, OWLED.

[8]  Herman J. ter Horst,et al.  Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary , 2005, J. Web Semant..

[9]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[10]  Robert M. MacGregor,et al.  Representing Contextualized Data using Semantic Web Tools , 2003, PSSS.

[11]  Jos de Bruijn,et al.  Modeling Semantic Web Services: The Web Service Modeling Language , 2008 .

[12]  Herman J. ter Horst,et al.  Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity , 2005, SEMWEB.

[13]  Patrick J. Hayes,et al.  A Semantics for the Knowledge Interchange Format , 2001 .

[14]  Simon Miles,et al.  The Semantic Web. ISWC 2005: 4th International Semantic Web Conference , 2005 .

[15]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[16]  John W. Lloyd,et al.  Foundations of Logic Programming, 1st Edition , 1984 .

[17]  Jos de Bruijn,et al.  Enabling Semantic Web Services: The Web Service Modeling Ontology , 2006 .

[18]  Jos de Bruijn,et al.  Quantified Equilibrium Logic and Hybrid Rules , 2007, RR.

[19]  Jos de Bruijn,et al.  On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules , 2006, KSEM.

[20]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[21]  Boris Motik,et al.  Can OWL and Logic Programming Live Together Happily Ever After? , 2006, International Semantic Web Conference.

[22]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[23]  Sean Bechhofer,et al.  OWL: Web Ontology Language , 2009, Encyclopedia of Database Systems.

[24]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[25]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[26]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[27]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[28]  Teodor C. Przymusinski.  On the declarative and procedural semantics of logic programs , 1989, Journal of Automated Reasoning.

[29]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language , 2009 .

[30]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[31]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[32]  Jos de Bruijn,et al.  A Semantic Framework for Language Layering in WSML , 2007, RR.

[33]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[34]  Jeremy J. Carroll,et al.  Named graphs, provenance and trust , 2005, WWW '05.

[35]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[36]  Jos de Bruijn,et al.  On the Relationship between Description Logic-based and F-Logic-based Ontologies , 2008, Fundam. Informaticae.