A formal definition for the expressive power of terminological knowledge representation languages

Journal of Logic and Computation

Volumn 6, Issue 1, 1996, Pages 33-54

  Baader, Franz ^a  

^a RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Expressive power; Terminological KR languages

Indexed keywords

EID: 0010397917     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/6.1.33     Document Type: Article

References (45)

1. A. V. Aho and J. D. Ullman. Universality of data retrieval languages. In Proceedings of the 6th ACM Symposium on Principles of Programming Languages, 1979.
2. P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, Orlando, Florida, 1986.
3. F. Baader. Terminological cycles in KL-ONE-based KR-languages. DFKI Research Report RR-90-01, 1990.
4. F. Baader. Terminological cycles in KL-ONE-based KR-languages. In Proceedings of the 8th National Conference on Artificial Intelligence, AMI 90, Boston, 1990.
5. F. Baader. A formal definition for expressive power of knowledge representation languages. In Proceedings of the 9th European Conference on Artificial Intelligence, ECAI 90, Stockholm, 1990.
6. F. Baader. Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, Sydney, 1991.
7. F. Baader, H.-J. Bürckert, J. Heinsohn, B. Hollunder, J. Müller, B. Nebel, W. Nutt and H.-J. Profitlich. Terminological knowledge representation: a proposal for a terminological logic. DFKI Technical Memo TM-90-04, 1990.
8. J. Barwise. Axioms for abstract model theory. Annals of Mathematical Logic, 7, 1975.
9. A. Borgida, R. J. Brachman, D. L. McGuiness and L. A. Resnik. CLASSIC: a structural data model for objects. In Proceedings of the 1989 ACM SIGMOD International Conference on the Management of Data, Portland, Oregon, 1989.
10. R. J. Brachman. Structured inheritance networks. In Research in Natural Language Understanding. Quarterly Progress Report No. 1, W. A. Woods and R. J. Brachman, eds, Technical Report No. 4274. Bolt, Beranek and Newman, Cambridge, MA, 1978.
11. R. J. Brachman and H. J. Levesque. Introduction, In Readings in Knowledge Representation, R. J. Brachman and H. J. Levesque, eds, Morgan Kaufmann, Los Altos, 1985.
12. R. J. Brachman and J. G. Schmolze. An overview of the KL-ONE knowledge representation system. Cognitive Science, 16, 1985.
13. R. J. Brachman, V. Gilbert and H. J. Levesque. An essentially hybrid reasoning system: knowledge and symbol level accounts in KRYPTON. In Proceedings of the 9th International Joint Conference an Artificial Intelligence, Los Angeles, CA, 1985.
14. F. Donini, M. Lenzerini, D. Nardi and W. Nutt. The complexity of concept languages. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991.
15. F. Donini, M. Lenzerini, D. Nardi and W. Nutt. Tractable concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, 1991.
16. H.-D. Ebbinghaus, J. Flum and W. Thomas. Mathematical Logic. Springer-Verlag, New York, 1984.
17. J. Edelmann and B. Owsnicki. Data models in knowledge representation systems: a case study. In Proceedings of the German Workshop on Artificial Intelligence, GWAI 86, Springer-Verlag, 1986.
18. J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for computer science. Report No. CSLI-85-30, Stanford University, 1985.
19. P. J. Hayes. Some problems and non-problems in representation theory. In Proceedings of the AISB Summer Conference, University of Sussex, England, 1974.
20. B. Hollunder, W. Nutt and M. Schmidt-Schauß. Subsumption algorithms for concept description languages. In Proceedings of the 9th European Conference on Artificial Intelligence, ECAI 90, Stockholm, 1990.
21. T. S. Kaczmarec, R. Bates and G. Robins. Recent developments in NIKL. In Proceedings of the 5th National Conference on Artificial Intelligence, AAAI 86, Philadelphia, PA, 1986.
22. E. L. Keenan and L. S. Moss. Generalized quantifiers and expressive power of natural language. In Generalized Quantifiers in Natural Language, J. van Benthem and A. ter Meule, eds, Foris Publications, Dordrecht, 1985.
23. A. Kobsa. The SB-ONE knowledge representation workbench. In Preprints of the Workshop on Formal Aspects of Semantic Networks, Two Harbours, CA, 1989.
24. H. J. Levesque. Making believers out of computers. Artificial Intelligence, 30, 1986.
25. H. J. Levesque and R. J. Brachman. A fundamental tradeoff in knowledge representation and reasoning (Revised Version). In Readings in Knowledge Representation, R. J. Brachman and H. J. Levesque, eds, Morgan Kaufmann, Los Altos, 1985.
26. H. J. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3, 1987.
27. R. MacGregor and R. Bates. The LOOM knowledge representation language. Technical Report ISI/RS-87-188, University of Southern California, 1987.
28. M. Machtey and P. Young. An Introduction to the General Theory of Algorithms. North Holland, New York, 1978.
29. E. Mays, C. Apté, J. Griesmer and J. Kastner. Experiences with K-Rep: an object centered knowledge representation language. IEEE Expert, 2, 1987.
30. B. Nebel. On terminological cycles. KIT Report 58, Technische Universität Berlin, 1987.
31. B. Nebel. Computational complexity of terminological reasoning in BACK. Artificial Intelligence, 34, 1988.
32. B. Nebel. Terminological reasoning is inherently intractable. Artificial Intelligence, 43, 1990.
33. B. Nebel. Reasoning and Revision in Hybrid Representation Systems. Lecture Notes in Computer Science 422, Springer Verlag, Berlin, 1990.
34. B. Nebel. Terminological cycles: semantics and computational properties. In Formal Aspects of Semantic Networks, J. Sowa, ed., Morgan Kaufmann, San Mateo, 1991.
35. B. Nebel and K. von Luck. Hybrid reasoning in BACK. In Methodologies for Intelligent Systems, Vol. 3, Z. W. Ras and L. Saitta, eds, North Holland, 1988.
36. B. Nebel and G. Smolka. Representation and reasoning with attributive descriptions. In Sorts and Types in Artificial Intelligence, K.-H. Bläsius, U. Hedtstück and C.-R. Rollinger, eds, Springer-Verlag, Berlin, 1990. Also available as IWBS Report 81, IWBS, IBM Deutschland, West Germany, 1989.
37. P. F. Patel-Schneider. Small can be beautiful in knowledge representation. In Proceeedings of the IEEE Workshop on Principles of Knowledge-Based Systems, Denver, 1984.
38. P. F. Patel-Schneider. Undecidability of subsumption in NIKL. Artificial Intelligence, 38, 1989.
39. K. Schild. Undecidability of U. KIT Report 67, Technische Universität Berlin, KIT Group, 1988.
40. M. Schmidt-Schauß. Subsumption in KL-ONE is undecidable. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ontario, 1989.
41. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with union and complements. SEKI Report SR-88-21, Universität Kaiserslautern, 1988.
42. M. Schmidt-Schauß and G. Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 47, 1991.
43. J. Van Benthem. Essays in Logical Semantics. Reidel, Dordrecht, 1986.
44. M. Vilain. The restricted language architecture of a hybrid representation system. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, Los Angeles, CA, 1985.
45. W. A. Woods. What's important about knowledge representation. Computer, 16, 1983.