The Instance Store: DL Reasoning with Large Numbers of Individuals.
Ian HorrocksLei LiDaniele TuriSean BechhoferPublished in: Description Logics (2004)
Keyphrases
- description logics
- expressive description logics
- knowledge base
- reasoning tasks
- owl dl
- reasoning problems
- reasoning systems
- knowledge representation and reasoning
- knowledge representation
- computational properties
- knowledge representation formalisms
- fuzzy description logics
- expressive power
- ontological reasoning
- vague concepts
- meta level
- machine learning
- data sets
- reasoning process
- domain knowledge
- computational complexity
- neural network
- uncertain information
- description logic programs
- formal logic
- model based reasoning
- analogical reasoning
- qualitative reasoning
- semantic web
- databases