Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering.
Pascual Julián IranzoClemente Rubio-ManzanoJuan Gallardo-CaseroPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- query answering
- logic programming language
- programming language
- data exchange
- logic programming
- incomplete information
- data complexity
- integrity constraints
- conjunctive queries
- data integration
- knowledge base
- knowledge representation
- expert systems
- answering queries
- query containment
- query rewriting
- inference rules
- natural language
- data sets
- inconsistent databases
- data management
- situation calculus
- theorem proving
- query relaxation
- open world