implication (rule) |
•owl:Thing |
•swrl:Imp |
swrl:head ONLY swrl:AtomList |
swrl:head MAX 1 owl:Thing |
swrl:body ONLY swrl:AtomList |
swrl:body MAX 1 owl:Thing |
owl:Thing |
Class(swrl:Imp partial restriction(swrl:head allValuesFrom(swrl:AtomList)) restriction(swrl:head maxCardinality(1)) restriction(swrl:body allValuesFrom(swrl:AtomList)) restriction(swrl:body maxCardinality(1)) owl:Thing)