EQL-Lite: Effective First-Order Query Processing in Description Logics.
Diego CalvaneseGiuseppe De GiacomoDomenico LemboMaurizio LenzeriniRiccardo RosatiPublished in: IJCAI (2007)
Keyphrases
- description logics
- query processing
- dl lite
- model theoretic
- ontology languages
- reasoning tasks
- knowledge base
- computational properties
- knowledge representation and reasoning
- knowledge representation
- fuzzy description logics
- semantic web
- database systems
- concept descriptions
- knowledge representation formalisms
- knowledge representation languages
- deductive databases
- function free horn
- terminological knowledge
- first order logic
- spatial databases
- machine learning
- logic programs
- reasoning problems