Description Logics for Conceptual Data Modeling

This publication has 31 references indexed in Scilit:

• Adding uniqueness constraints to description logics
  Published by Springer Nature ,1997
• Using automata theory for characterizing the semantics of terminological cycles
  Annals of Mathematics and Artificial Intelligence, 1996
• Describing database objects in a concept language environment
  IEEE Transactions on Knowledge and Data Engineering, 1996
• Description logics in data management
  IEEE Transactions on Knowledge and Data Engineering, 1995
• Acquisition and validation of complex object database schemata supporting multiple inheritance
  Applied Intelligence, 1994
• Decidable Reasoning in Terminological Knowledge Representation Systems
  Journal of Artificial Intelligence Research, 1993
• On taxonomic reasoning in conceptual design
  ACM Transactions on Database Systems, 1992
• FROM TYPE SYSTEMS TO KNOWLEDGE REPRESENTATION: NATURAL SEMANTICS SPECIFICATIONS FOR DESCRIPTION LOGICS
  International Journal of Cooperative Information Systems, 1992
• Object identity as a query language primitive
  Published by Association for Computing Machinery (ACM) ,1989
• An Overview of the KL‐ONE Knowledge Representation System*
  Cognitive Science, 1985