Package-Based Description Logics

We present the syntax and semantics of a family of modular ontology languages, Package-based Description Logics (P-DL), to support context- specific reuse of knowledge from multiple ontology modules. In particular, we describe a P-DL ${\mathcal SHOIQP}$ that allows the importing of concept, role and nominal names between multiple ontology modules (each of which can be viewed as a ${\mathcal SHOIQ}$ ontology). ${\mathcal SHOIQP}$ supports contextualized interpretation, i.e., interpretation from the point of view of a specific package. We establish the necessary and sufficient conditions on domain relations (i.e., the relations between individuals in different local domains) that need to hold in order to preserve the unsatisfiability of concept formulae, monotonicity of inference, transitive reuse of knowledge across modules.

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

[2]  Maurizio Lenzerini,et al.  Representing and Using Interschema Knowledge in Cooperative Information Systems , 1993, Int. J. Cooperative Inf. Syst..

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

[4]  Vasant Honavar,et al.  On the Decidability of Role Mappings between Modular Ontologies , 2008, AAAI.

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

[6]  Vasant Honavar,et al.  A Semantic Importing Approach to Knowledge Reuse from Multiple Ontologies , 2007, AAAI.

[7]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[8]  Carsten Lutz,et al.  Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.

[9]  Axel Polleres.  Logic Programs with Contextually Scoped Negation , 2006, WLP.

[10]  Bijan Parsia,et al.  Working with Multiple Ontologies on the Semantic Web , 2004, SEMWEB.

[11]  Andreas Harth,et al.  Rules with Contextually Scoped Negation , 2006, ESWC.

[12]  Maurizio Lenzerini,et al.  Interschema Knowledge in Cooperative Information Systems , 1993, ICICIS.

[13]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[14]  Jeff Z. Pan,et al.  Semantic Import: An Approach for Partial Ontology Reuse , 2006, WoMO.

[15]  Ian Horrocks,et al.  Will my Ontologies Fit Together? , 2006, Description Logics.

[16]  Fausto Giunchiglia,et al.  Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.

[17]  Renate A. Schmidt,et al.  Deciding ALBO with Tableau , 2007, Description Logics.

[18]  Vasant Honavar,et al.  Modular Ontologies - A Formal Investigation of Semantics and Expressivity , 2006, ASWC.

[19]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[20]  Fausto Giunchiglia,et al.  The Semantic Web - ASWC 2006, First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings , 2006, ASWC.

[21]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[22]  Jérôme Euzenat,et al.  Three Semantics for Distributed Systems and Their Relations with Alignment Composition , 2006, SEMWEB.

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

[24]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[25]  Vasant Honavar,et al.  A Distributed Tableau Algorithm for Package-based Description Logics , 2006 .

[26]  Vasant Honavar,et al.  On the Semantics of Linking and Importing in Modular Ontologies , 2006, SEMWEB.

[27]  Stephan Tobies,et al.  The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics , 2011, ArXiv.

[28]  Bernardo Cuenca Grau,et al.  Modular Ontology Languages Revisited , 2007 .

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

[30]  Vasant Honavar,et al.  A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[31]  Carsten Lutz,et al.  Conservative Extensions in Expressive Description Logics , 2007, IJCAI.

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

[33]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[34]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.