Principles of KLM-style Defeasible Description Logics.
Katarina BritzGiovanni CasiniThomas MeyerKody MoodleyUli SattlerIvan VarzinczakPublished in: ACM Trans. Comput. Log. (2021)
Keyphrases
- description logics
- tableau calculus
- defeasible logic
- knowledge base
- knowledge representation and reasoning
- dl lite
- knowledge representation formalisms
- reasoning problems
- reasoning tasks
- computational properties
- default logic
- propositional logic
- knowledge representation
- knowledge representation systems
- semantic web
- reasoning systems
- knowledge representation languages
- model theoretic
- concept descriptions
- owl ontologies
- ontology languages
- terminological knowledge
- reasoning services
- fuzzy description logics
- owl dl
- expert systems
- computing least common subsumers
- natural language