A Distance-based Paraconsistent Semantics in DL-Lite
Xiaowang ZhangKewen WangZhe WangYue MaGuilin QiPublished in: CoRR (2013)
Keyphrases
- dl lite
- valued semantics
- description logics
- logic programming
- query answering
- reasoning tasks
- data complexity
- model theoretic
- conjunctive queries
- first order logic
- computational complexity
- fuzzy description logics
- query rewriting
- knowledge base
- owl dl ontology
- expressive power
- inference rules
- knowledge representation
- integrity constraints
- computational properties
- consistent query answering
- artificial intelligence
- formal semantics
- answering queries
- ontology languages
- query optimization
- np complete