Inverting Subsumption for Constructive Reasoning.
Simona ColucciFrancesco M. DoniniPublished in: Description Logics (2012)
Keyphrases
- description logics
- ontology reasoning
- knowledge representation
- analogical reasoning
- reasoning systems
- knowledge base
- np complete
- legal reasoning
- reasoning tasks
- artificial intelligence
- conflicting information
- formal models
- computational properties
- automated reasoning
- transitive closure
- knowledge based systems
- machine learning
- fuzzy reasoning
- uncertain information
- meta level
- probabilistic reasoning
- knowledge representation and reasoning
- causal reasoning
- inference engine
- model based diagnosis
- resource bounded
- reasoning mechanism
- proof theory