Combining Rules and Description Logics: An Overview of CARIN.
Alon Y. LevyMarie-Christine RoussetPublished in: ILPS (1995)
Keyphrases
- description logics
- dl programs
- knowledge base
- reasoning tasks
- computational properties
- owl ontologies
- concept descriptions
- knowledge representation
- knowledge representation systems
- highly expressive
- description logic programs
- dl lite
- reasoning systems
- production rules
- knowledge representation formalisms
- computing least common subsumers
- reasoning problems
- knowledge representation and reasoning
- inference engine
- semantic web
- ontology languages
- first order logic
- knowledge representation languages
- model theoretic
- owl dl
- data mining
- business rules
- reasoning services
- domain knowledge
- database systems
- terminological knowledge