Relevant Closure: A New Form of Defeasible Reasoning for Description Logics.
Giovanni CasiniThomas MeyerKodylan MoodleyRiku NortjePublished in: JELIA (2014)
Keyphrases
- description logics
- defeasible reasoning
- knowledge representation and reasoning
- knowledge base
- reasoning tasks
- knowledge representation
- dl lite
- defeasible logic
- conditional logic
- reasoning systems
- nonmonotonic logics
- semantic web
- legal reasoning
- computing least common subsumers
- formal semantics
- nonmonotonic reasoning
- information systems
- artificial intelligence