Reifying concepts in description logics

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 142-147

  Badea, Liviu ^a  

^a NATIONAL INSTITUTE FOR RESEARCH AND DEVELOPMENT IN INFORMATICS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FORMAL LANGUAGES; INFERENCE ENGINES; OBJECT-ORIENTED DATABASES; SEMANTICS;

DESCRIPTION LOGIC; FIRST ORDER; HIGHER-ORDER; INFERENCE ALGORITHM; KNOWLEDGE BASIS; META LEVELS; SOUND AND COMPLETE; UNIFIED APPROACH;

DATA DESCRIPTION;

EID: 84880680371     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. xClaim: a hybrid language for knowledge representation and reasoning using description logics. Proc. ECAP96 Workshop on Validation, Verification and Refinement of KBS, Budapest, 1996.
2. xClaim: a language for operationalizing Common KADS expertise models using description logics. PEKADS Report 4.5.1.
3. Beeri C. A formal approach to object-oriented databases. Data & Knowledge Eng. 5 (1990) 353-382.
4. Brachman R.J., Schmolze J.G. An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2), 171-216, 1985.
5. Brachman R.J., e.a. Living with CLASSIC: When and How to Use a KL-ONE like Language, in Sowa J.F. (ed) Principles of Semantic Networks, Morgan Kaufmann 1991.
6. Buchheit M., Donini F.M., Schaerf A. Decidable Reasoning in Terminological Knowledge Representation Systems. J. of Al Research 1 (1993), 109-138.
7. De Giacomo G., Lenzerini M. What's in an aggregate: foundations for description logics with tuples and sets. Proc. IJCAP95, 801-807.
8. Franconi E. A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines, 1993 special issue on KR for NL, 453-474.
9. Kobsa A. Reification in SB-ONE. In Proc. Int. Workshop on Terminological Logics, 72-74, DFKI D-91-13.
10. Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, May 1995.
11. Schmidt-Schaufl M., Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 (1), 1-26, 1991.