consists of argument1 (owl:Thing) and argument2 (owl:Thing) |
•owl:Thing |
•swrl:Atom |
•swrl:SameIndividualAtom |
swrl:Atom |
swrl:argument1 ONLY owl:Thing |
swrl:argument1 EQ 1 owl:Thing |
swrl:argument2 ONLY owl:Thing |
swrl:argument2 EQ 1 owl:Thing |
Class(swrl:SameIndividualAtom partial swrl:Atom restriction(swrl:argument1 allValuesFrom(owl:Thing)) restriction(swrl:argument1 cardinality(1)) restriction(swrl:argument2 allValuesFrom(owl:Thing)) restriction(swrl:argument2 cardinality(1)))