Previous topic  Top  Next topic  Print this Topic
 

Rules

 
Rules are similar to queries
But they declare a conclusion in the head
In this way we can derive new facts from given facts
Rules are described by the vocabulary of the schema
But work on the facts that are given according to the schema

 

Sample: what is the definition of an uncle?

„An uncle is the brother of one of my parents“

In ObjectLogic:

?A[hasUncle->?B] :- ?A:Person AND ?A

[hasParent->?P] AND ?P:Person AND ?P

[hasBrother->?B] AND ?B:Mann.