CARIN: A Representation Language Combining Horn Rules and Description Logics.
Alon Y. LevyMarie-Christine RoussetPublished in: ECAI (1996)
Keyphrases
- representation language
- concept descriptions
- description logics
- knowledge representation
- function free horn
- background knowledge
- first order logic
- production rules
- dl programs
- knowledge base
- propositional logic
- horn clauses
- reasoning tasks
- np hard
- highly expressive
- owl ontologies
- ontology languages
- dl lite
- knowledge structures
- inductive learning
- artificial intelligence
- inductive logic programming
- semantic web
- logic programs
- model theoretic
- domain knowledge
- expert systems
- natural language
- description logic programs
- concept drift
- knowledge based systems
- text classification
- natural language processing
- knowledge representation languages
- training data