Paraconsistent Resolution for Four-valued Description Logics.
Yue MaPascal HitzlerZuoquan LinPublished in: Description Logics (2007)
Keyphrases
- description logics
- valued logic
- reasoning tasks
- knowledge representation
- logic programming
- dl lite
- knowledge base
- computational properties
- knowledge representation and reasoning
- classical logic
- reasoning problems
- reasoning systems
- first order logic
- logic programs
- knowledge representation formalisms
- computing least common subsumers
- knowledge representation systems
- semantic web
- propositional logic
- owl dl
- fuzzy description logics
- reasoning services
- truth values
- inference rules
- knowledge representation languages
- refinement operators
- expert systems
- ontology languages
- machine learning
- number restrictions
- dl programs
- theorem proving