Query-by-Example for Expressive Horn Description Logics.
Víctor Gutiérrez-BasultoJean Christoph JungLeif SabellekPublished in: Description Logics (2018)
Keyphrases
- description logics
- mathcal shiq
- knowledge representation languages
- highly expressive
- function free horn
- tight complexity bounds
- knowledge base
- np hard
- knowledge representation
- knowledge representation systems
- reasoning tasks
- semantic web
- reasoning systems
- dl lite
- knowledge representation and reasoning
- computing least common subsumers
- knowledge representation formalisms
- computational properties
- reasoning problems
- number restrictions
- concept descriptions
- conjunctive queries
- reasoning services
- data model