Ontological Commitments, DL-Lite Logics and Reasoning Tractability.
Mauricio Minuto EspilMaría Gabriela OjeaMaria Alejandra OjeaPublished in: ADBIS (2015)
Keyphrases
- dl lite
- description logics
- number restrictions
- computational properties
- fuzzy description logics
- knowledge representation
- expressive power
- reasoning tasks
- ontology reasoning
- computational complexity
- data complexity
- query answering
- reasoning systems
- first order logic
- knowledge base
- owl dl ontology
- reasoning problems
- knowledge representation and reasoning
- conjunctive queries
- owl ontologies
- np complete
- query rewriting
- inference rules
- owl dl
- semantic web
- domain ontology
- automated reasoning
- ontology languages
- constraint satisfaction
- data exchange
- logic programming
- logic programs
- artificial intelligence
- answer set programming
- theorem prover
- database
- query language
- expert systems
- database systems