The Limits on Combining Recursive Horn Rules with Description Logics.
Alon Y. LevyMarie-Christine RoussetPublished in: AAAI/IAAI, Vol. 1 (1996)
Keyphrases
- description logics
- function free horn
- dl programs
- knowledge base
- knowledge representation
- owl ontologies
- reasoning tasks
- concept descriptions
- highly expressive
- mathcal shiq
- dl lite
- description logic programs
- computational properties
- np hard
- reasoning problems
- ontology languages
- horn clauses
- semantic web
- knowledge representation and reasoning
- computing least common subsumers
- production rules
- propositional logic
- knowledge representation formalisms
- fuzzy description logics
- number restrictions
- query language
- artificial intelligence
- knowledge representation languages