Connecting Abstract Description Systems

Combining knowledge representation and reasoning formalisms like description logics (DLs), temporal logics, and logics of space, is worthwhile but difficult. It is worthwhile because usually realistic application domains comprise various aspects of the world, thus requiring suitable combinations of formalisms modeling each of these aspects. It is difficult because the computational behavior of the resulting hybrids is often much worth than the behavior of its components. In this paper we propose a combination method which is robust in the computational sense and still allows for certain interactions between the combined systems. The combination method, called E-connection, will be defined and investigated for so-called abstract description systems (ADS) which include all standard description logics, various logics of time and space, modal logics, and epistemic logics. The main theoretical result is that every E-connection of any finite number of decidable ADSs is decidable as well. Four instances of E-connections of ADSs will be discussed: (1) the Econnection of DLs with the logic MS intended for quantitative reasoning about space, (2) the E-connection of DLs with the logic S4u (containing RCC-8) that can be used for qualitative reasoning about space, (3) the E-connection of two DLs (ALCO and SHIQ), and (4) the E-connection of DLs with propositional temporal logic PTL and S4u. Computer Science Institute, Intelligent Systems Department, University of Leipzig, Augustus-Platz 10–11, 04109 Leipzig, Germany. Email: {kutz,wolter}@informatik.uni-leipzig.de Department of Computer Science, King’s College London, Strand, London WC2R 2LS, U.K. Email: mz@dcs.kcl.ac.uk

[1]  Frank Wolter,et al.  Spatio-temporal representation and reasoning based on RCC-8 , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[2]  Franz Baader,et al.  A Multi-Dimensional Terminological Knowledge Representation Language , 1993, IJCAI.

[3]  Frank Wolter,et al.  Modal Description Logics: Modalizing Roles , 1999, Fundam. Informaticae.

[4]  Carsten Lutz,et al.  Defined Topological Relations in Description Logics , 1997, Description Logics.

[5]  Andrea Schaerf.  Reasoning with Individuals in Concept Languages , 1993, AI*IA.

[6]  Valentin Goranko,et al.  Using the Universal Modality: Gains and Questions , 1992, J. Log. Comput..

[7]  Frank Wolter,et al.  Spatial Reasoning in RCC-8 with Boolean Region Terms , 2000, ECAI.

[8]  Werner Nutt,et al.  On the expressivity of feature logics with negation, functional uncertainty, and sort equations , 1993, J. Log. Lang. Inf..

[9]  Klaus Schild,et al.  A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[10]  Claudio Bettini,et al.  Time-Dependent Concepts: Representation and Reasoning Using Temporal Description Logics , 1997, Data Knowl. Eng..

[11]  Frank Wolter,et al.  Logics of metric spaces , 2003, TOCL.

[12]  Franz Baader,et al.  Fusions of Description Logics and Abstract Description Systems , 2011, J. Artif. Intell. Res..

[13]  Frank Wolter,et al.  Multi-Dimensional Description Logics , 1999, IJCAI.

[14]  Dov M. Gabbay,et al.  Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 , 1994 .

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

[16]  Jochen Renz,et al.  A Canonical Model of the Region Connection Calculus , 1997, J. Appl. Non Class. Logics.

[17]  Enrico Franconi,et al.  A Temporal Description Logic for Reasoning about Actions and Plans , 1998, J. Artif. Intell. Res..

[18]  Carsten Lutz,et al.  Reasoning with Concrete Domains , 1999, IJCAI.

[19]  Saunders Mac Lane.  Review: Alfred Tarski, Der Aussagenkalkul und die Topologie , 1939 .

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

[21]  Carsten Lutz.  NEXPTIME-Complete Description Logics with Concrete Domains , 2001, IJCAR.

[22]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[23]  Dov M. Gabbay,et al.  Temporal logic (vol. 1): mathematical foundations and computational aspects , 1994 .

[24]  Franz Baader,et al.  Terminological Logics with Modal Operators , 1995, IJCAI.

[25]  Valentin B. Shehtman,et al.  "Everywhere" and "Here" , 1999, J. Appl. Non Class. Logics.

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

[27]  W. Nutt,et al.  Subsumption algorithms for concept languages , 1990 .

[28]  D. Gabbay,et al.  Many-Dimensional Modal Logics: Theory and Applications , 2003 .

[29]  Volker Haarslev,et al.  A Description Logic with Concrete Domains and a Role-forming Predicate Operator , 1999, J. Log. Comput..

[30]  Brandon Bennett,et al.  Modal Logics for Qualitative Spatial Reasoning , 1996, Log. J. IGPL.

[31]  A. Tarski.  Der Aussagenkalkül und die Topologie , 1938 .

[32]  Franz Baader,et al.  Extensions of Concept Languages for a Mechanical Engineering Application , 1992, GWAI.

[33]  Franz Baader.  Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles , 1991, IJCAI.

[34]  Frank Wolter,et al.  Satis ability problem in description logics with modal operators , 1998 .

[35]  Frank Wolter,et al.  Fusions of Modal Logics Revisited , 1996, Advances in Modal Logic.

[36]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[37]  Yoav Shoham,et al.  A propositional modal logic of time intervals , 1991, JACM.

[38]  Armin Laux,et al.  Beliefs in Multi-Agent Worlds: a Terminological Logics Approach , 1994, European Conference on Artificial Intelligence.

[39]  Franz Baader,et al.  Fusions of Description Logics , 2000, Description Logics.

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