consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing) |
•owl:Thing |
•swrl:Atom |
•swrl:IndividualPropertyAtom |
swrl:Atom |
swrl:propertyPredicate ONLY owl:ObjectProperty |
swrl:propertyPredicate EQ 1 owl:Thing |
swrl:argument1 ONLY owl:Thing |
swrl:argument1 EQ 1 owl:Thing |
swrl:argument2 ONLY owl:Thing |
swrl:argument2 EQ 1 owl:Thing |
Class(swrl:IndividualPropertyAtom partial swrl:Atom restriction(swrl:propertyPredicate allValuesFrom(owl:ObjectProperty)) restriction(swrl:propertyPredicate cardinality(1)) restriction(swrl:argument1 allValuesFrom(owl:Thing)) restriction(swrl:argument1 cardinality(1)) restriction(swrl:argument2 allValuesFrom(owl:Thing)) restriction(swrl:argument2 cardinality(1)))