Query Answering in the Description Logic S.
Meghyn BienvenuThomas EiterCarsten LutzMagdalena OrtizMantas SimkusPublished in: Description Logics (2010)
Keyphrases
- query answering
- description logics
- dl lite
- conjunctive query answering
- transitive roles
- ontology languages
- data complexity
- data exchange
- conjunctive queries
- tight complexity bounds
- knowledge base
- integrity constraints
- answering queries
- incomplete information
- computational properties
- tuple generating dependencies
- data integration
- exptime complete
- inconsistent databases
- reasoning tasks
- query rewriting
- owl dl
- semantic web
- knowledge representation
- inverse roles
- datalog programs
- combined complexity
- expert systems
- ontology based data access
- data mining
- autonomous agents
- number restrictions
- np complete
- artificial intelligence