Time-Dependent Concepts: Representation and Reasoning Using Temporal Description Logics

Abstract A time-dependent concept is a conceptual entity that is defined in terms of temporal relationships with other entities. For example, the concept of an action is defined in terms of a set of temporal relationships among states of a system. The concept of “widow”, in natural language, is defined in terms of events that have occurred in the past. Time-dependent concepts appear in several application areas, from natural language to diagnosis, from planning to data mining. An interesting issue in knowledge representation is how to formally represent and reason with these concepts. In this paper, we represent a family of formal representation languages obtained as an interval-based temporal extension of description logics . We illustrate the expressiveness of these formalisms in representing time-dependent concepts with respect to standard description logics and other extensions. We give some complexity results for reasoning problems and we propose approximate algorithms to compute subsumption among time-dependent concepts.

[1]  Albrecht Schmiedel,et al.  Temporal Terminological Logic , 1990, AAAI.

[2]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  Andreas Neuwirth.  Inferences for Temporal Object Descriptions in a Terminological Representation System: Design and Implementation , 1993 .

[5]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.

[6]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[7]  Patrick Lambrix,et al.  Terminological Logic Involving Time and Evolution: A Preliminary Report , 1993, ISMIS.

[8]  Won Kim,et al.  Modern Database Systems: The Object Model, Interoperability, and Beyond , 1995, Modern Database Systems.

[9]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[10]  Enrico Franconi,et al.  A Computational Account for a Description Logic of Time and Action , 1994, KR.

[11]  D. Gabbay,et al.  Temporal Logic Mathematical Foundations and Computational Aspects , 1994 .

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

[13]  William McCune,et al.  OTTER 1.0 Users' Guide , 1990 .

[14]  Richard T. Snodgrass,et al.  Temporal Object-Oriented Databases: A Critical Comparison , 1995, Modern Database Systems.

[15]  Premkumar T. Devanbu,et al.  Plan-Based Terminological Reasoning , 1991, KR.

[16]  Peter van Beek,et al.  Exact and approximate reasoning about temporal relations 1 , 1990, Comput. Intell..

[17]  James F. Allen.  Planning as Temporal Reasoning , 1991, KR.

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

[19]  Klaus Schild,et al.  Combining Terminological Logics with Tense Logic , 1993, EPIA.

[20]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[21]  Diane J. Litman,et al.  Terminological Reasoning with Constraint Networks and an Application to Plan Recognition , 1992, KR.

[22]  Ali R. Hurson,et al.  Object-oriented multidatabase systems , 1995 .

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

[24]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[25]  Claudio Bettini.  A Family of Temporal Terminological Logics , 1993, AI*IA.

[26]  Sonia Bergamaschi,et al.  On taxonomic reasoning in conceptual design , 1992, TODS.

[27]  Sushil Jajodia,et al.  Testing complex temporal relationships involving multiple granularities and its application to data mining (extended abstract) , 1996, PODS.

[28]  Alexander Borgida,et al.  Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..

[29]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[30]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[31]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[32]  Francesco M. Donini,et al.  Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

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

[34]  Claudio Bettini,et al.  A Formalization of Interval-Based Temporal Subsumption in First Order Logic , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[35]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[36]  Claudio Bettini.  Taxonomic reasoning on temporal descriptions , 1992 .