Optimizing Tableau Reasoning in ALC Extended with Uncertainty.
Volker HaarslevHsueh-Ieng PaiNematollaah ShiriPublished in: Description Logics (2007)
Keyphrases
- fuzzy description logics
- description logics
- reasoning tasks
- incomplete knowledge
- expressive description logics
- reasoning systems
- knowledge base
- reasoning problems
- dl lite
- knowledge representation
- fuzzy information
- number restrictions
- uncertain knowledge
- reasoning under uncertainty
- owl dl
- uncertain information
- spatial reasoning
- decision theory
- uncertain data
- ontology languages
- machine learning
- logical framework
- robust optimization
- probabilistic logic
- probabilistic knowledge
- probability theory
- upper bound
- domain knowledge
- knowledge representation languages