Computing Horn Rewritings of Description Logics Ontologies.
Mark KaminskiBernardo Cuenca GrauPublished in: CoRR (2015)
Keyphrases
- description logics
- dl lite
- query rewriting
- mathcal shiq
- query answering
- conjunctive queries
- ontology languages
- ontology based data access
- reasoning services
- semantic web
- knowledge representation
- knowledge base
- owl dl
- dl programs
- tight complexity bounds
- formal ontologies
- concept descriptions
- unions of conjunctive queries
- owl ontologies
- ontology reasoning
- data complexity
- reasoning tasks
- reasoning mechanism
- regular path queries
- np hard
- semantic web ontologies
- data exchange
- integrity constraints
- ontology mappings
- computational properties
- transitive roles
- incomplete information
- reasoning problems
- biomedical ontologies
- function free horn
- first order logic
- materialized views
- description logic programs
- expressive power
- computing least common subsumers
- model theoretic
- medical terminology
- knowledge representation languages
- propositional logic
- domain ontology
- query language
- special case