OWL: A Description Logic Based Ontology Language

We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and independent constraint store. While locally the computations evolve asynchronously, following the usual rules of (probabilistic) CCP, the communications among different nodes are synchronous. There are channels, and through them different objects can be exchanged: constraints, agents and channel themselves. In addition, all this activities are embedded in a probabilistic scheme based on a discrete model of time, both locally and globally. Finally we enhance the language with the capability of performing an automatic remote synchronization of variables belonging to different constraint stores.

[1]  Ian Horrocks,et al.  OWL rules: A proposal and prototype implementation , 2005, J. Web Semant..

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

[3]  Diego Calvanese,et al.  Description Logic Framework for Information Integration , 1998, KR.

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

[5]  Holger Knublauch,et al.  The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications , 2004, SEMWEB.

[6]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[7]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[8]  Carole A. Goble,et al.  A Suite of Daml+Oil Ontologies to Describe Bioinformatics Web Services and Data , 2003, Int. J. Cooperative Inf. Syst..

[9]  Frank Pfenning,et al.  Logic Programming and Automated Reasoning , 1994, Lecture Notes in Computer Science.

[10]  Ralf Küsters.  Non-Standard Inferences in Description Logics , 2001, Lecture Notes in Computer Science.

[11]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[12]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, SEMWEB.

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

[14]  Deborah L. McGuinness,et al.  Matching in Description Logics , 1999, J. Log. Comput..

[15]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[16]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[17]  Franz Baader,et al.  A Scheme for Integrating Concrete Domains into Concept Languages , 1991, IJCAI.

[18]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[19]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[20]  Thorsten Liebig,et al.  OntoTrack: Combining Browsing and Editing with Reasoning and Explaining for OWL Lite Ontologies , 2004, International Semantic Web Conference.

[21]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[22]  Bernhard Nebel,et al.  Am empirical analysis of optimization techniques for terminological representation systems , 1994, Applied Intelligence.

[23]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[24]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[25]  Diego Calvanese,et al.  Dwq : Esprit Long Term Research Project, No 22469 on the Decidability of Query Containment under Constraints on the Decidability of Query Containment under Constraints , 2022 .

[26]  Daniel Oberle,et al.  An Ontology for Semantic Middleware: Extending DAML-S Beyond Web-Services , 2003, OTM Workshops.

[27]  Heiner Stuckenschmidt,et al.  Ontologies for geographic information processing , 2002 .

[28]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[29]  Riccardo Rosati,et al.  On the decidability and complexity of integrating ontologies and rules , 2005, J. Web Semant..

[30]  Witold Pedrycz,et al.  Special Issue on Bioinformatics , 2006, Pattern Recognit..

[31]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[32]  Ralf Küsters,et al.  Approximation and Difference in Description Logics , 2002, KR.

[33]  Ian Horrocks,et al.  Explaining ALC Subsumption , 2000, Description Logics.