An epistemic operator for description logics

Artificial Intelligence

Volumn 100, Issue 1-2, 1998, Pages 225-274

  Donini, F M ^a   Lenzerini, M ^a   Nardi, D ^a   Nutt, W ^b   Schaerf, A ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

Closed world reasoning; Description logics; Epistemic operators; Knowledge representation; Nonmonotonic reasoning; Query languages

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; KNOWLEDGE BASED SYSTEMS; QUERY LANGUAGES;

ARTIFICIAL INTELLIGENCE SYSTEMS; DESCRIPTION LOGICS; KNOWLEDGE REPRESENTATION SYSTEMS; NONMONOTONIC OPERATORS;

KNOWLEDGE REPRESENTATION;

EID: 0032048251     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0004-3702(98)00009-5     Document Type: Article

References (63)

1. F. Baader, B. Hollunder, A terminological knowledge representation system with complete inference algorithm, in: Proceedings Workshop on Processing Declarative Knowledge (PDK-91), in: Lecture Notes in Artificial Intelligence, Vol. 567, Springer, Berlin, 1991, pp. 67-86.
2. F. Baader, B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, in: Proceedings 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA, Morgan Kaufmann, Los Altos, CA, 1992, pp. 306-317.
3. A. Becker, G. Lakemeyer, Epistemic queries in CLASSIC, in: Proceedings 18th German Annual Conference on Artificial Intelligence (KI-94), Springer, Berlin, 1994.
4. A. Borgida, On the relative expressiveness of description logics and predicate logics, Artificial Intelligence 82 (1996) 353-367.
5. A. Borgida, R.J. Brachman, D.L. McGuinness, L. Alperin Resnick, CLASSIC: a structural data model for objects, in: Proceedings ACM SIGMOD International Conference on Management of Data, 1989, pp. 59-67.
6. R.J. Brachman, On the epistemological status of semantic networks, in: N.V. Findler (Ed.), Associative Networks, Academic Press, New York, 1979, pp. 3-50.
7. R.J. Brachman, R.E. Fikes, H.J. Levesque, Krypton: a functional approach to knowledge representation, IEEE Computer (October 1983) 67-73.
8. R.J. Brachman, H.J. Levesque, The tractability of subsumption in frame-based description languages, in: Proceedings 4th National Conference on Artificial Intelligence (AAAI-84), Austin, TX, 1984, pp. 34-37.
9. R.J. Brachman, H.J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA, 1985.
10. R.J. Brachman, D.L. McGuinness, P.F. Patel-Schneider, L. Alperin Resnick, A. Borgida, Living with CLASSIC: when and how to use a KL-ONE-like language, in: J.F. Sowa (Ed.), Principles of Semantic Networks, Morgan Kaufmann, Los Altos, 1991, pp. 401-456.
11. R.J. Brachman, V. Pigman Gilbert, H.J. Levesque, An essential hybrid reasoning system: Knowledge and symbol level accounts in KRYPTON, in: Proceedings 9th International Joint Conference on Artificial Intelligence (IJCAI-85), Los Angeles, CA, 1985, pp. 532-539.
12. R.J. Brachman, J.G. Schmolze, An overview of the KL-ONE knowledge representation system, Cognitive Sci. 9 (2) (1985) 171-216.
13. M. Buchheit, F.M. Donini, W. Nutt, A. Schaerf, Terminological systems revisited: Terminology = Schema + Views, in: Proceedings 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, AAAI Press/MIT Press, Cambridge, MA, 1994, pp. 199-204.
14. M. Buchheit, F.M. Donini, A. Schaerf, Decidable reasoning in terminological knowledge representation systems, J. Artif. Intell. Res. 1 (1993) 109-138.
15. M. Buchheit, M.A. Jeusfeld, W. Nutt, M. Staudt, Subsumption between queries to object-oriented databases, in: Extending Database Technology, EDBT'94 (Special Issue), Inform. Systems 19 (1) (1994) 33-54.
16. D. Calvanese, M. Lenzerini, D. Nardi, A unified framework for class based representation formalisms, in: J. Doyle, E. Sandewall, P. Torasso (Eds.), Proceedings 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Morgan Kaufmann, Los Altos, CA, 1994, pp. 109-120.
17. M. D'Agostino, M. Mondadori, The taming of the cut. Classical refutations with analytic cut, J. Logic Comput. 4 (1994) 285-319.
18. G. De Giacomo, M. Lenzerini, Boosting the correspondence between description logics and propositional dynamic logics, in: Proceedings 12th National Conference on Artificial Intelligence (AAAI-94), Seattle, WA, AAAI Press/MIT Press, Cambridge, MA, 1994, pp. 205-212.
19. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, The complexity of concept languages, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Proceedings 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, Morgan Kaufmann, Los Altos, CA, 1991, pp. 151-162; revised version: Inform. Comput. 134 (1) (1997) 1-58.
20. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, The complexity of concept languages, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Proceedings 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, Morgan Kaufmann, Los Altos, CA, 1991, pp. 151-162; revised version: Inform. Comput. 134 (1) (1997) 1-58.
21. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, Tractable concept languages, in: Proceedings 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, 1991, pp. 458-463.
22. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, A. Schaerf, Adding epistemic operators to concept languages, in: Proceedings 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA, Morgan Kaufmann, Los Altos, CA, 1992, pp. 342-353.
23. F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, A. Schaerf, Queries, rules and definitions as epistemic sentences in concept languages, in: G. Lakemeyer, B. Nebel (Eds.), The Foundations of Knowledge Representation and Reasoning, Springer, Berlin, 1994, pp. 113-132.
24. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, A hybrid system integrating Datalog and concept languages, in: Proceedings 2nd Conference of the Italian Association for Artificial Intelligence (AI*IA-91), in: Lecture Notes in Artificial Intelligence, Vol. 549, Springer, Berlin, 1991; extended version appeared also in: Working Notes of the AAAI Fall Symposium "Principles of Hybrid Reasoning".
25. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, Deduction in concept languages: from subsumption to instance checking, J. Logic Comput. 4 (4) (1994) 423-452.
26. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, Reasoning in description logics, in: G. Brewka (Ed.), Principles of Knowledge Representation, Studies in Logic, Language and Information, CSLI Publications, 1996, pp. 193-238.
27. F.M. Donini, M. Lenzerini, D. Nardi, A. Schaerf, Aℒ-log: integrating Datalog and description logics, J Intelligent Information Systems, 1998 (to appear).
28. F.M. Donini, D. Nardi, R. Rosati, Non-first-order features of concept languages, in: M. Gori, G. Soda (Eds.), Proceedings 4th Conference of the Italian Association for Artificial Intelligence (AI*IA-95), in: Lecture Notes in Artificial Intelligence, Vol. 992, Springer, Berlin, 1995, pp. 91-102.
29. F.M. Donini, D. Nardi, R. Rosati, Ground nonmonotonic modal logics, J. Logic Comput. 7 (4) (1997) 523-548.
30. J. Doyle, R.S. Patil, Two theses of knowledge representation: language restrictions, taxonomic classification, and the utility of representation services, Artificial Intelligence 48 (1991) 261-297.
31. R. Fikes, T. Kehler, The role of frame-based representation in reasoning, Comm. ACM 28 (9) (1985) 904-920.
32. M. Fitting, Basic modal logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. I, Oxford Science Publications, 1993, pp. 365-448.
33. J.Y. Halpern, Y. Moses, Towards a theory of knowledge and ignorance: preliminary report, Technical Report CD-TR 92/34, IBM, 1985.
34. P.J. Hayes, The logic of frames, in: D. Metzing (Ed.), Frame Conceptions and Text Understanding, Walter de Gruyter, Berlin, 1979, pp. 46-61: reprinted in: R.J. Brachman, H.J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA, 1985.
35. P.J. Hayes, The logic of frames, in: D. Metzing (Ed.), Frame Conceptions and Text Understanding, Walter de Gruyter, Berlin, 1979, pp. 46-61: reprinted in: R.J. Brachman, H.J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann, Los Altos, CA, 1985.
36. B. Hollunder, Hybrid inferences in KL-ONE-based knowledge representation systems, in: Proceedings German Workshop on Artificial Intelligence, Springer, Berlin, 1990, pp. 38-47.
37. M. Kaminski, Embedding modal systems into nonmonotonic modal logics, Fund. Inform. 14 (1991) 345-354.
38. M. Lenzerini, A. Schaerf, Concept languages as query languages, in: Proceedings 9th National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, 1991, pp. 471-476.
39. H.J. Levesque, Foundations of a functional approach to knowledge representation, Artificial Intelligence 23 (1984) 155-212.
40. H.J. Levesque, All I know: a study of autoepistemic logic, Artificial Intelligence 42 (19900 263-310.
41. A.Y. Levy, M.-C. Rousset, The limits on combining recursive Horn rules with description logics, in: Proceedings 13th National Conference on Artificial Intelligence (AAAI-96), Portland, OR, 1996, pp. 577-584.
42. V. Lifschitz, Minimal belief and negation as failure, Artificial Intelligence 70 (1994) 53-72.
43. F. Lin, Y. Shoham, Epistemic semantics for fixed-point nonmonotonic logics, Artificial Intelligence 57 (1992) 271-289.
44. R. MacGregor, The evolving technology of classification-based knowledge representation systems, in: J.F. Sowa (Ed.), Principles of Semantic Networks, Morgan Kaufmann, Los Altos, CA, 1991, pp. 385-400.
45. R. MacGregor, R. Bates, The Loom knowledge representation language, Technical Report ISI/RS-87-188, University of Southern California, Information Science Institute, Marina del Rey, CA, 1987.
46. D. Nardi, R. Rosati, A preference semantics for ground nonmonotonic modal logics, in: Proceedings 7th Portuguese Conference on Artificial Intelligence (EPIA-95), Lecture Notes in Artificial Intelligence, Springer, Berlin, 1995.
47. B. Nebel, Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, Vol. 422, Springer, Berlin, 1990.
48. B. Nebel, Terminological reasoning is inherently intractable, Artificial Intelligence 43 (1990) 235-249.
49. B. Nebel, Terminological cycles: semantics and computational properties, in: J.F. Sowa (Ed.), Principles of Semantic Networks, Morgan Kaufmann, Los Altos, CA, 1991, pp. 331-361.
50. P.F. Patel-Schneider, B. Swartout, Working version (draft): description logic specification from the KRSS effort, Unpublished manuscript, June 1993.
51. C. Peltason, The BACK system - an overview, SIGART Bull. 2 (3) (1991) 114-119.
52. J. Quantz, V. Royer, A preference semantics for defaults in terminological logics, in: Proceedings 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA, Morgan Kaufmann, Los Altos, CA, 1992, pp. 294-305.
53. R. Reiter, On asking what a database knows, in: J.W. Lloyd (Ed.), Symposium on Computational Logics, ESPRIT Basic Research Action Series, Springer, Berlin, 1990, pp. 96-113.
54. V. Royer, J. Quantz, Intuitionistic query answering in description bases, in: Working Notes of the 1994 Description Logics Workshop, D-94-10, Bonn, Germany, Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI), 1994.
55. A. Schaerf, On the complexity of the instance checking problem in concept languages with existential quantification, J. Intelligent Information Systems 2 (1993) 265-278.
56. A. Schaerf, Reasoning with individuals in concept languages, Data and Knowledge Engineering 13 (2) (1994) 141-176.
57. K. Schild, Towards a theory of frames and rules, Technical Report, FB Informatik, Technische Universität Berlin, Berlin, Germany, 1989.
58. M. Schmidt-Schauß, G. Smolka, Attributive concept descriptions with complements, Artificial Intelligence 48 (1) (1991) 1-26.
59. U. Straccia, Default inheritance reasoning in hybrid KL-ONE-style logics, in: Proceedings 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Chambéry, France, Morgan Kaufmann, Los Altos, CA, 1993, pp. 676-681,
60. D. van Dalen, Logic and Structure, Springer, Berlin, 1989.
61. W.A. Woods, Understanding subsumption and taxomony: A framework for progress, in: J.F. Sowa (Ed.), Principles of Semantic Networks, Morgan Kaufmann, Los Altos, CA, 1991, pp. 45-94.
62. W.A. Woods, J.G. Schmolze, The KL-ONE family, in: F.W. Lehmann (Ed.), Semantic Networks in Artificial Intelligence (special issue), Comput. Math. Appl. 23 (2-9) (1992) pp. 133-178.
63. J. Yen, R. Neches, R. MacGregor, CLASP: integrating term subsumption systems and production systems, IEEE Trans. Knowledge and Data Engineering 3 (1) (1991) 25-31.