Previous topic  Top  Next topic  Print this Topic

Rules and Queries


An ObjectLogic knowledge base consists of a number of (extensional) ground facts. In order to formulate more complex knowledge, ObjectLogic provides the notion of rules which allows the specification of dependencies between known facts and the creation of new, additional facts based on the existing ones.

Queries are similar to SQL-queries and can be used to retrieve facts from the ObjectLogic knowledge base. Since we are usually interested in the entailment of applied rules to the basic facts, queries actually return facts from the derived model, which is built from the closure of all facts and rules.