A Decidable Very Expressive n-ary Description Logic for Database Applications (extended abstract).
Alessandro ArtaleEnrico FranconiRafael PeñalozaFrancesco SportelliPublished in: SEBD (2017)
Keyphrases
- extended abstract
- database applications
- description logics
- tight complexity bounds
- exptime complete
- database design
- database management systems
- knowledge base
- dl lite
- object oriented
- database technology
- database
- decision procedures
- databases
- knowledge representation languages
- reasoning tasks
- data access
- knowledge representation
- query answering
- database server
- semantic web
- database systems
- conjunctive queries
- ontology languages
- reasoning problems
- data complexity
- first order logic
- automated reasoning
- programming language
- data sources
- natural language