A Semantic Basis for Proof Queries and Transformations.
David AspinallEwen DenneyChristoph LüthPublished in: LPAR (2013)
Keyphrases
- semantic query
- query language
- query processing
- semantic web
- database queries
- efficient processing
- database
- query evaluation
- semantic information
- semantic search
- semantic features
- answering queries
- semantically similar
- natural language processing
- natural language
- heterogeneous data sources
- semantic knowledge
- complex queries
- semantic similarity
- result set
- theorem proving
- search queries
- query logs
- semantic annotation
- user queries
- web search engines
- multi dimensional
- domain specific
- database systems