We propose that in large knowledge bases that 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 an 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
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month, and much more.