Data Access With Horn Ontologies: Where Description Logics Meet Existential Rules.
Marie-Laure MugnierPublished in: Künstliche Intell. (2020)
Keyphrases
- data access
- description logics
- dl lite
- dl programs
- ontology based data access
- function free horn
- data management
- query answering
- computing least common subsumers
- owl ontologies
- description logic programs
- mathcal shiq
- ontology languages
- knowledge base
- reasoning services
- concept descriptions
- database applications
- reasoning tasks
- data complexity
- knowledge representation
- semantic web
- first order logic
- owl dl
- horn clauses
- data objects
- sql server
- computational complexity
- conjunctive queries
- np hard
- data exchange
- biomedical ontologies
- ontology reasoning
- formal ontologies
- ontology mappings
- query rewriting
- reasoning problems
- production rules
- integrity constraints
- association rules
- database
- propositional logic
- database technology
- data integration
- databases