A Distance-Based Paraconsistent Semantics for DL-Lite.
Xiaowang ZhangKewen WangZhe WangYue MaGuilin QiPublished in: KSEM (2015)
Keyphrases
- dl lite
- valued semantics
- description logics
- reasoning tasks
- query answering
- logic programming
- model theoretic
- first order logic
- data complexity
- fuzzy description logics
- query rewriting
- conjunctive queries
- expressive power
- computational complexity
- owl dl ontology
- data exchange
- knowledge representation
- knowledge base
- logic programs
- temporal reasoning
- consistent query answering
- theorem proving
- incomplete information
- integrity constraints
- np complete