DL-Lite: Practical Reasoning for Rich Dls.
Diego CalvaneseGiuseppe De GiacomoMaurizio LenzeriniRiccardo RosatiGuido VeterePublished in: Description Logics (2004)
Keyphrases
- dl lite
- practical reasoning
- description logics
- query answering
- data complexity
- query rewriting
- conjunctive queries
- computational complexity
- first order logic
- expressive power
- fuzzy description logics
- conjunctive regular path queries
- reasoning tasks
- knowledge base
- data exchange
- np complete
- computational properties
- tight complexity bounds
- data management
- knowledge representation
- ontology languages
- model theoretic
- special case
- multi agent
- machine learning