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