Time-dependent concepts: Representation and reasoning using temporal description logics

Data and Knowledge Engineering

Volumn 22, Issue 1, 1997, Pages 1-38

  Bettini, Claudio ^a  

^a NONE

Author keywords

Description logics; Subsumption algorithms; Taxonomies; Temporal knowledge; Temporal objects; Temporal reasoning

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

DESCRIPTION LOGICS; SUBSUMPTION ALGORITHMS; TAXONOMIES; TEMPORAL DESCRIPTION LOGICS; TEMPORAL KNOWLEDGE; TEMPORAL OBJECTS; TEMPORAL REASONING;

KNOWLEDGE REPRESENTATION;

EID: 0031103024     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(96)00036-5     Document Type: Article

References (41)

1. J.F. Allen, Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11) 832-843, November 1983.
2. J.F. Allen, Planning as temporal reasoning, in: Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 3-14, Cambridge, MA, 1991.
3. A. Artale, C. Bettini and E. Franconi, Homogeneous concepts in a temporal description logic, in: Proc. of the 1994 International Workshop on Description Logics, pp. 36-41, Bonn, Germany, 1994.
4. A. Artale and E. Franconi, A computational account for a description logic of time and action, in: J. Doyle, E. Sandewall and P. Torasso, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR-94), Bonn, Germany, May 1994. Morgan Kaufmann.
5. F. Baader and A. Laux, Terminological Logics with Modal Operators, in: C.S. Mellish (ed.), Proc. of the 14th International Joint Conference on Artificial Intelligence, pp. 808-814, 1995. Morgan Kaufmann.
6. S. Beneventano, S. Bergamaschi, S. Lodi and C. Sartori, Using subsumption in semantic query optimization, in: A. Napoli, ed., IJCAI Workshop on Object-Based Representation Systems, Chamberee, France, 1993.
7. S. Bergamaschi and C. Sartori, On taxonomic reasoning in conceptual design. ACM Transactions on Database Systems, 17(3) (1992) 385-422.
8. E. Bertino and A. Illarramendi, The integration of heterogeneous data management systems: Approaches based on the object-oriented paradigm, in: O. Bukhres and A. Elmagarmid, eds., Object-Oriented Multidatabase Systems, pp. 256-274. Prentice-Hall, 1995.
9. C. Bettini, Taxonomic reasoning on temporal descriptions, in: Proc. of the 6th International Conference on Systems Research, Informatics and Cybernetics, pp. 171-176, Baden-Baden, Germany, 1992.
10. C. Bettini, Estensioni temporali dei linguaggi terminologici. PhD dissertation, DSI - University of Milan, Italy, 1993 (in Italian).
11. C. Bettini, A family of temporal terminological logics, in: Proc. of the 3rd Congress of the Italian Association for Artificial Intelligence, Lecture Notes in Artificial Intelligence, N.728, pp. 120-131. Springer Verlag, 1993.
12. C. Bettini, A formalization of interval-based temporal subsumption in first order logic, in: G. Lakemeyer and B. Nebel, eds., Foundations of Knowledge Representation and Reasoning, volume 810 of Lecture Notes in Artificial Intelligence, pp. 53-73. Springer Verlag, 1994.
13. C. Bettini, X. Wang, S. Jajodia, Testing Complex Temporal Relationships Involving Multiple Granularities and Its Application to Data Mining, in: Proc. of the 15th ACM Symposium on Principles of Database Systems, pp. 68-78, Montreal, Canada, 1996. ACM Press.
14. A. Borgida, Descriptions logics in data management. IEEE Transactions on Knowledge and Data Engineering, 7(5) October 1995, 671-682.
15. A. Borgida, R.J. Brachman, D.L. McGuiness and L. Alperin Resnick. CLASSIC: A structural data model for objects. ACM SIGMOD RECORD, 18(2) June 1989, 58-67.
16. R.J. Brachman and H.J. Levesque. The tractability of subsumption in frame-based description languages, in: Proc. of the American National Conference on Artificial Intelligence (AAAI-84), pp. 34-37, Austin, TX, 1984.
17. M. Buchheit, F.M. Donini and A. Schaerf. Decidable reasoning in terminological knowledge representation systems, in: R. Bajcsy, ed., Proc. of the 13th International Joint Conference on Artificial Intelligence, pp. 704-709, 1993. IEEE Computer Society Press.
18. R. Dechter, I. Meiri and J. Pearl. Temporal constraint networks. Artificial Intelligence, 49, 1991.
19. P.T. Devanbu and D.J. Litman, Plan-based terminological reasoning, in: Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 128-138, Cambridge, MA, 1991. Morgan Kaufmann.
20. D.M. Gabbay, I. Hodkinson and M. Reynolds. Temporal Logic: mathematical foundations and computational aspects. Oxford Science Publications, 1994.
21. P.M. Donini, M. Lenzerini, D. Nardi and W. Nutt, The complexity of concept languages, in: Proc. of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 151-162, Cambridge, MA, 1991. Morgan Kaufmann.
22. H.B. Enderton, A mathematical introduction to logic. Academic Press, 1972.
23. R.E. Fikes and N.J. Nilsson, Strips: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(2) (1971) 189-208.
24. M. Fischer, The Integration of Temporal Operators into a Terminological Representation System. KIT Project Report TUB-FB13-KIT-99, Technische Universität Berlin, December 1992.
25. J.Y. Halpern and Y. Shoham, A propositional modal logic of time intervals. Journal of ACM, 38(4) (1991) 935-962.
26. H. Kautz and P. Ladkin, Integrating metric and qualitative temporal reasoning, in: Proc. of the American National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1991.
27. B. Nebel, Terminological reasoning is inherently intractable. Artificial Intelligence 43 (1990) 235-249.
28. B. Nebel, Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Artificial Intelligence, No. 422, Springer Verlag, 1990.
29. A. Neuwirth. Inferences for Temporal Object Descriptions in a Terminological Representation System: Design and Implementation. KIT Project Report TUB-FB13-KIT-107, Technische Universität Berlin, April 1993.
30. W.W. McCune, OTTER 2.0 Users Guide. Argonne National Laboratory, 1990.
31. P. Lambrix and R. Rönnquist, Terminological Logic Involving Time and Evolution: A Preliminary Report, in: Proc. 7th International Symposium on Methodologies for Intelligent Systems (ISMIS'93), Trondheim, Norway, 1993. Springer-Verlag.
32. P. Rossetti, Tecniche di dimostrazione per logiche terminologiche temporali. M.S. dissertation, DSI, University of Milan, Italy, 1993 (in Italian).
33. T.A. Russ, Adding time to a knowledge repreentation language, in: Proc. of the AAAI Fall Symposium "Issues in Description Logics: Users Meet Developers", pp. 83-86, Boston, MA, 1992.
34. K. Schild, Combining terminological logics with tense logic, in: Progress in artificial intelligence. 6th Portuguese Conference on AI, Lisbon, Portugal, 1993.
35. M. Schmidt-Schauß and G. Smolka, Attribute concept descriptions with complements. Artificial Intelligence, 48(1) February 1991, 1-26.
36. A. Schmiedel, A temporal terminological logic, in: Proc. of the American National Conference on Artificial Intelligence (AAAI-90), pp. 640-645, Boston, MA, 1990.
37. R.T. Snodgrass, Temporal Object Oriented Databases: A Critical Comparison, in: Modern Database Systems: The Object Model, Interoperability and Beyond, pp. 386-408, Addison-Wesley/ACM Press, 1995.
38. A. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev and R. Snodgrass (eds.). Temporal Databases: Theory, Design, and Implementation. Benjamin/Cummings, 1993.
39. P. van Beek and R. Cohen, Exact and approximate reasoning about temporal relations. Computational Intelligence, 6, 1990.
40. R. Weida and D. Litman, Terminological reasoning with constraint networks and an application to plan recognition, in: Proc. of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 282-293, Cambridge, MA, 1992. Morgan Kaufmann.
41. W.A. Woods and J.G. Schmolze, The KL-ONE family. Computer and Mathematics with Applications, special issue: Semantic Networks in Artificial Intelligence, 23(2-5) (1992) 133-177.