The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.
Sebastian RudolphPublished in: Description Logics (2016)
Keyphrases
- description logics
- expressive description logics
- reasoning problems
- database
- owl dl
- exptime complete
- reasoning tasks
- computational properties
- knowledge base
- knowledge representation
- databases
- ontology languages
- database management systems
- database systems
- semantic web
- reasoning systems
- dl lite
- query language
- relational databases
- data management
- object oriented
- answering queries
- data model
- database schema
- model theoretic
- artificial intelligence
- decision procedures