Practical Reasoning for Expressive Description Logics

This publication has 11 references indexed in Scilit:

• Source integration in data warehousing
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A description logic with transitive and inverse roles and role hierarchies
  Journal of Logic and Computation, 1999
• On the decidability of query containment under constraints
  Published by Association for Computing Machinery (ACM) ,1998
• A PSPACE-algorithm for deciding ALCNIR+-satisfiability
  Published by Sachsische Landesbibliothek, Staats- und Universitatsbibliothek Dresden ,1998
• Cardinality restrictions on concepts
  Artificial Intelligence, 1996
• A concept language extended with different kinds of transitive roles
  Published by Springer Nature ,1996
• A Unified Framework for Class-Based Representation Formalisms
  Published by Elsevier ,1994
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
  Journal of Logic, Language and Information, 1993
• Attributive concept descriptions with complements
  Artificial Intelligence, 1991
• The undecidability of the domino problem
  Memoirs of the American Mathematical Society, 1966