Reasoning and Query Answering in Description Logics.
Magdalena OrtizMantas SimkusPublished in: Reasoning Web (2012)
Keyphrases
- query answering
- description logics
- transitive roles
- dl lite
- reasoning tasks
- conjunctive query answering
- reasoning problems
- reasoning systems
- inverse roles
- knowledge base
- number restrictions
- data exchange
- computational properties
- ontology based data access
- knowledge representation
- data complexity
- ontology languages
- conjunctive queries
- answering queries
- integrity constraints
- owl dl
- tight complexity bounds
- incomplete information
- data integration
- double exponential
- automated reasoning
- query rewriting
- unions of conjunctive queries
- inconsistent databases
- semantic web
- exptime complete
- expressive power
- logic programming
- tuple generating dependencies
- machine learning
- data mining