Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics.
Oliver Fernández GilAnni-Yasmin TurhanPublished in: AAAI (2021)
Keyphrases
- lightweight
- description logics
- regular path queries
- reasoning tasks
- expressive description logics
- model theoretic
- query answering
- owl dl
- query containment
- dl lite
- exptime complete
- knowledge base
- owl ontologies
- regular expressions
- knowledge representation
- logic programming
- data complexity
- ontology languages
- conjunctive queries
- formal semantics
- reasoning problems
- semantic web
- automated reasoning
- data exchange
- wireless sensor networks
- answering queries
- query rewriting
- machine learning
- temporal reasoning
- data integration
- natural language
- semistructured data
- graph databases
- decision procedures
- query language
- schema mappings
- integrity constraints
- special case
- data model
- artificial intelligence