A Reasoning Framework for Rule-Based WSML

WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic programming. We present a framework to support reasoning with rule-based WSML language variants based on existing Datalog inference engines. Therein, the WSML reasoning tasks of knowledge base satisfiability and instance retrieval are implemented through a language mapping to Datalog rules and Datalog querying. Part of the WSML semantics is realized by a fixed set of rules that form meta-level axioms. Furthermore, the framework exhibits some debugging functionality that allows for identifying violated constraints and for pointing out involved instances and problem types. Its highly modular architecture facilitates easy extensibility towards other language variants and additional features. The available implementation of the framework provides the first reasoners for the WSML language.

[1]  Wolfgang Faber,et al.  The dlv System: Model Generator and Advanced Frontends (system description) , 1997, WLP.

[2]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[3]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[4]  Jos de Bruijn,et al.  The Web Service Modeling Language WSML: An Overview , 2006, ESWC.

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

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

[7]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[8]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

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

[10]  Michael Dahr.  Deductive Databases: Theory and Applications , 1996 .

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

[12]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[13]  Martin J. Dürst,et al.  Internationalized Resource Identifiers (IRIs) , 2005, RFC.

[14]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

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

[16]  Peter Crowther,et al.  The DIG Description Logic Interface , 2003, Description Logics.

[17]  Boris Motik,et al.  Reducing {$\mathcal SHIQ^-$} Description Logic to Disjunctive Datalog Programs , 2004, KR 2004.

[18]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[19]  Christoph Wernhard,et al.  System Description : KRHyper , 2003 .

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

[21]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[22]  Ian Horrocks,et al.  Combining logic programs with description logics , 2003, The Web Conference.