Polynomial Horn Rewritings for Description Logics Ontologies.
Mark KaminskiBernardo Cuenca GrauPublished in: Description Logics (2015)
Keyphrases
- dl lite
- description logics
- query rewriting
- mathcal shiq
- conjunctive queries
- query answering
- ontology languages
- tight complexity bounds
- transitive roles
- knowledge base
- semantic web
- reasoning services
- unions of conjunctive queries
- formal ontologies
- data complexity
- owl dl
- knowledge representation
- dl programs
- ontology reasoning
- owl ontologies
- semantic web ontologies
- concept descriptions
- integrity constraints
- function free horn
- query optimization
- reasoning mechanism
- np complete
- query evaluation
- spatial databases
- ontology based data access
- data exchange
- regular path queries
- biomedical ontologies
- ontology mappings
- special case
- np hard
- reasoning problems
- answering queries
- computational properties
- reasoning tasks
- number restrictions
- model theoretic
- xml queries
- query execution
- propositional logic
- artificial intelligence
- query containment
- computational complexity
- xpath queries
- schema mappings
- data integration
- query language