Combining Description Logics with Stratified Logic Programs in Knowledge Representation.
Jianhua ChenPublished in: ISMIS (2000)
Keyphrases
- description logics
- logic programs
- knowledge representation
- logic programming
- computational properties
- answer set programming
- reasoning tasks
- knowledge representation and reasoning
- knowledge base
- answer sets
- model theoretic
- semantic web
- fixpoint
- artificial intelligence
- refinement operators
- stable models
- expert systems
- inductive logic programming
- normal logic programs
- reasoning problems
- background knowledge
- reasoning systems
- machine learning
- natural language
- first order logic
- stable model semantics
- deductive databases
- nonmonotonic reasoning
- probabilistic reasoning
- dl programs
- computational complexity
- dl lite