Combining Horn rules and description logics in CARIN

This publication has 19 references indexed in Scilit:

• Verification of knowledge bases based on containment checking
  Artificial Intelligence, 1998
• The Complexity of Concept Languages
  Information and Computation, 1997
• Cardinality restrictions on concepts
  Artificial Intelligence, 1996
• A resolution principle for constrained logics
  Artificial Intelligence, 1994
• Subsumption between queries to object-oriented databases
  Information Systems, 1994
• Plan-based integration of natural language and graphics generation
  Artificial Intelligence, 1993
• Feature-constraint logics for unification grammars
  The Journal of Logic Programming, 1992
• Attributive concept descriptions with complements
  Artificial Intelligence, 1991
• A terminological knowledge representation system with complete inference algorithms
  Published by Springer Nature ,1991
• The implication and finite implication problems for typed template dependencies
  Journal of Computer and System Sciences, 1984