Some description here http://kres.iks-project.eu/ontology/meta/rmi_config.owl#MyRuleB, http://kres.iks-project.eu/ontology/meta/rmi_config.owl#MyRuleA An example of description for my rule A BodyA -> BodyB An example of description..for my rule B BodyB -> HeadB A single rule recipe. http://kres.iks-project.eu/ontology/meta/rmi_config.owl#ProvaParentRule A rule to inference if a person has an uncle. ProvaParent = <http://www.semanticweb.org/ontologies/2010/6/ProvaParent.owl#> . rule1[ has(ProvaParent:hasParent, ?x, ?y) . has(ProvaParent:hasBrother, ?y, ?z) -> has(ProvaParent:hasUncle, ?x, ?z) ]