Specification of Coordination of Rule and Ontology Languages

EU-IST Network of Excellence (NoE) IST-2004-507482 KWEB Deliverable D2.5.1 (WP2.5) We provide a unified framework in which the existing (and future) proposals of integrating different sorts of rule based language with the OWL DL Web ontology language can be compared. We are in particular interested in the axiom-based approach, as the SWRL proposal is a special case of it. We identify serval decidable sub-languages of SWRL with their complexity results and further explore several (including datatype predicate, fuzzy and context) extensions of SWRL. Keyword list: description logics, ontology language, rule language, query language Copyright c © 2004 The contributors Document Identifier KWEB/2004/D2.5.1/v1.0 Project KWEB EU-IST-2004-507482 Version v1.0 Date June 21, 2004 State final Distribution public Knowledge Web Consortium This document is part of a research project funded by the IST Programme of the Commission of the European Communities as project number IST-2004-507482. University of Innsbruck (UIBK) Coordinator Institute of Computer Science Technikerstrasse 13 A-6020 Innsbruck Austria Contact person: Dieter Fensel E-mail address: dieter.fensel@uibk.ac.at École Polytechnique Fédérale de Lausanne (EPFL) Computer Science Department Swiss Federal Institute of Technology IN (Ecublens), CH-1015 Lausanne Switzerland Contact person: Boi Faltings E-mail address: boi.faltings@epfl.ch France Telecom (FT) 4 Rue du Clos Courtel 35512 Cesson Sévigné France. PO Box 91226 Contact person : Alain Leger E-mail address: alain.leger@rd.francetelecom.com Freie Universität Berlin (FU Berlin) Takustrasse 9 14195 Berlin Germany Contact person: Robert Tolksdorf E-mail address: tolk@inf.fu-berlin.de Free University of Bozen-Bolzano (FUB) Piazza Domenicani 3 39100 Bolzano Italy Contact person: Enrico Franconi E-mail address: franconi@inf.unibz.it Institut National de Recherche en Informatique et en Automatique (INRIA) ZIRST 655 avenue de l’Europe Montbonnot Saint Martin 38334 Saint-Ismier France Contact person: Jérôme Euzenat E-mail address: Jerome.Euzenat@inrialpes.fr Centre for Research and Technology Hellas / Informatics and Telematics Institute (ITI-CERTH) 1st km Thermi Panorama road 57001 Thermi-Thessaloniki Greece. Po Box 361 Contact person: Michael G. Strintzis E-mail address: strintzi@iti.gr Learning Lab Lower Saxony (L3S) Expo Plaza 1 30539 Hannover Germany Contact person: Wolfgang Nejdl E-mail address: nejdl@learninglab.de National University of Ireland Galway (NUIG) National University of Ireland Science and Technology Building University Road Galway Ireland Contact person: Christoph Bussler E-mail address: chris.bussler@deri.ie The Open University (OU) Knowledge Media Institute The Open University Milton Keynes, MK7 6AA United Kingdom Contact person: Enrico Motta E-mail address: e.motta@open.ac.uk Universidad Politécnica de Madrid (UPM) Campus de Montegancedo sn 28660 Boadilla del Monte Spain Contact person: Asunción Gómez Pérez E-mail address: asun@fi.upm.es University of Karlsruhe (UKARL) Institut für Angewandte Informatik und Formale Beschreibungsverfahren AIFB Universität Karlsruhe D-76128 Karlsruhe Germany Contact person: Rudi Studer E-mail address: studer@aifb.uni-karlsruhe.de University of Liverpool (UniLiv) Chadwick Building, Peach Street L697ZF Liverpool United Kingdom Contact person: Michael Wooldridge E-mail address: M.J.Wooldridge@csc.liv.ac.uk University of Manchester (UoM) Room 2.32. Kilburn Building, Department of Computer Science, University of Manchester, Oxford Road Manchester, M13 9PL United Kingdom Contact person: Carole Goble E-mail address: carole@cs.man.ac.uk University of Sheffield (USFD) Regent Court, 211 Portobello street S14DP Sheffield United Kingdom Contact person: Hamish Cunningham E-mail address: hamish@dcs.shef.ac.uk University of Trento (UniTn) Via Sommarive 14 38050 Trento Italy Contact person: Fausto Giunchiglia E-mail address: fausto@dit.unitn.it Vrije Universiteit Amsterdam (VUA) De Boelelaan 1081a 1081HV. Amsterdam The Netherlands Contact person: Frank van Harmelen E-mail address: Frank.van.Harmelen@cs.vu.nl Vrije Universiteit Brussel (VUB) Pleinlaan 2, Building G1

[1]  Ian Horrocks,et al.  OWL-QL - a language for deductive query answering on the Semantic Web , 2004, J. Web Semant..

[2]  Peter F. Patel-Schneider,et al.  OWL Web Ontology Language XML Presentation Syntax , 2003 .

[3]  Ian Horrocks,et al.  DL Reasoner vs. First-Order Prover , 2003, Description Logics.

[4]  Diego Calvanese,et al.  Answering Queries Using Views over Description Logics Knowledge Bases , 2000, AAAI/IAAI.

[5]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[6]  Vassilis Christophides,et al.  RQL: a declarative query language for RDF , 2002, WWW.

[7]  Christopher Tresp,et al.  A Description Logic for Vague Knowledge , 1998, ECAI.

[8]  Spyros G. Tzafestas,et al.  Fuzzy relation equations and fuzzy inference systems: an inside approach , 1999, IEEE Trans. Syst. Man Cybern. Part B.

[9]  Robert M. MacGregor,et al.  The Loom Knowledge Representation Language. , 1987 .

[10]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[11]  Gabriel M. Kuper,et al.  A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems , 2003, DBISP2P.

[12]  Patrick Hayes,et al.  Rdf Model Theory W3c Working Draft @@@@@ Status of This Document , 2001 .

[13]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[14]  Ian Horrocks,et al.  A proposal for an owl rules language , 2004, WWW '04.

[15]  Werner Nutt,et al.  An Epistemic Operator for Description Logics , 1998, Artif. Intell..

[16]  Diego Calvanese,et al.  Anwering Recursive Queries under Keys and Foreign Keys is Undecidable , 2003, KRDB.

[17]  C. S. George Lee,et al.  Neural fuzzy systems: a neuro-fuzzy synergism to intelligent systems , 1996 .

[18]  Witold Pedrycz,et al.  Solving fuzzy relational equations through logical filtering , 1996, Fuzzy Sets Syst..

[19]  Ian Horrocks,et al.  Web Ontology Reasoning with Datatype Groups , 2003, SEMWEB.

[20]  Frank van Harmelen,et al.  C-OWL: Contextualizing Ontologies , 2003, SEMWEB.

[21]  Raymond Reiter,et al.  What should a database know? , 1988, PODS '88.

[22]  Ian Horrocks,et al.  Evaluating a Modular Abox Algorithm , 2002, KR.

[23]  John Yen,et al.  Generalizing Term Subsumption Languages to Fuzzy Logic , 1991, IJCAI.

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

[25]  Ian Horrocks,et al.  D2.5.1 Specification of Coordination of Rule and Ontology Languages , 2004 .

[26]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[27]  Jean-François Baget,et al.  Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints , 2011, J. Artif. Intell. Res..

[28]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..

[29]  Stefanos D. Kollias,et al.  Knowledge Refinement Using Fuzzy Compositional Neural Networks , 2003, ICANN.

[30]  Drew McDermott,et al.  Representing Disjunction and Quantifiers in RDF , 2002, SEMWEB.

[31]  Peter F. Patel-Schneider,et al.  A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic , 1993, J. Artif. Intell. Res..

[32]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[33]  Peter F. Patel-Schneider,et al.  The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.

[34]  Diego Calvanese,et al.  What to Ask to a Peer: Ontolgoy-based Query Reformulation , 2004, KR.

[35]  C. Lutz.  The Complexity of Reasoning with Concrete Domains , 1999 .

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

[37]  Boris Motik,et al.  Reasoning for Description Logics aroundSHIQ in a Resolution Framework , 2004 .

[38]  Theresa Swift,et al.  Deduction in Ontologies via ASP , 2004, LPNMR.

[39]  Maarten Marx,et al.  Complexity of Products of Modal Logics , 1999, J. Log. Comput..

[40]  Ian Horrocks,et al.  Querying the Semantic Web: A Formal Approach , 2002, SEMWEB.

[41]  Riccardo Rosati,et al.  Towards expressive KR systems integrating datalog and description logics: preliminary report , 1999, Description Logics.