Generalized Closed World Reasoning in Description Logics with Extended Domain Closure.
Oliver GriesPublished in: Description Logics (2009)
Keyphrases
- description logics
- closed world reasoning
- dl programs
- knowledge base
- fuzzy description logics
- taxonomic reasoning
- reasoning tasks
- dl lite
- ontology languages
- knowledge representation
- knowledge representation and reasoning
- model theoretic
- reasoning problems
- computing least common subsumers
- concept descriptions
- number restrictions
- knowledge representation languages
- reasoning services
- domain ontology
- deductive databases
- belief revision