Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling.
José Júlio AlferesMatthias KnorrTerrance SwiftPublished in: ISWC (2009)
Keyphrases
- logic programming
- knowledge base
- open world
- query language
- query processing
- logic programs
- web search engines
- query evaluation
- efficient processing
- incomplete information
- database
- response time
- answer sets
- user queries
- query logs
- data sources
- complex queries
- model checking
- retrieval systems
- knowledge based systems
- knowledge acquisition
- knowledge representation
- range queries
- integrity constraints
- database queries
- query formulation
- description logics
- tree patterns
- answering queries