Local closed world reasoning with description logics under the well-founded semantics.
Matthias KnorrJosé Júlio AlferesPascal HitzlerPublished in: Artif. Intell. (2011)
Keyphrases
- closed world reasoning
- description logics
- dl programs
- knowledge base
- reasoning tasks
- dl lite
- default reasoning
- concept descriptions
- knowledge representation and reasoning
- computing least common subsumers
- knowledge representation
- semantic web
- computational properties
- ontology languages
- answer sets
- belief revision
- number restrictions
- logic programs
- knowledge representation languages
- artificial intelligence