Intelligent query answering in rule based systems

Research output: Contribution to journalArticle

39 Scopus citations


We propose that in large knowledge bases which are collections of atomic facts and general rules (Horn clauses), the rules should be allowed to occur in the answer for a query. We introduce a new concept of the answer for a query which includes both atomic facts and general rules. We provide a method of transforming rules by relational algebra expressions built from projection, join, and selection and demonstrate how the answers consisting of both facts and general rules can be generated.

Original languageEnglish (US)
Pages (from-to)229-257
Number of pages29
JournalThe Journal of Logic Programming
Issue number3
StatePublished - Sep 1987

All Science Journal Classification (ASJC) codes

  • Logic

Fingerprint Dive into the research topics of 'Intelligent query answering in rule based systems'. Together they form a unique fingerprint.

  • Cite this