Combining Horn Rules and Description Logics in CARIN.
Alon Y. LevyMarie-Christine RoussetPublished in: Artif. Intell. (1998)
Keyphrases
- description logics
- function free horn
- dl programs
- mathcal shiq
- knowledge base
- owl ontologies
- highly expressive
- reasoning tasks
- concept descriptions
- computing least common subsumers
- knowledge representation
- computational properties
- knowledge representation and reasoning
- reasoning problems
- reasoning systems
- semantic web
- dl lite
- ontology languages
- horn clauses
- description logic programs
- query language
- knowledge representation formalisms
- propositional logic
- production rules
- fuzzy description logics
- number restrictions
- database systems