Practical ABox Cleaning in DL-Lite (progress report).
Giulia MasottiRiccardo RosatiMarco RuzziPublished in: Description Logics (2011)
Keyphrases
- dl lite
- description logics
- query answering
- data complexity
- conjunctive query answering
- query rewriting
- first order logic
- reasoning tasks
- conjunctive queries
- expressive power
- computational complexity
- computational properties
- integrity constraints
- knowledge base
- expert systems
- description logic knowledge base
- number restrictions
- exptime complete
- databases
- ontology languages
- knowledge representation
- database systems
- machine learning