consists of a builtin and a List of arguments |
•owl:Thing |
•swrl:Atom |
•swrl:BuiltinAtom |
swrl:Atom |
swrl:builtin ONLY swrl:Builtin |
swrl:builtin EQ 1 owl:Thing |
swrl:arguments ONLY rdf:List |
swrl:arguments EQ 1 owl:Thing |
Class(swrl:BuiltinAtom partial swrl:Atom restriction(swrl:builtin allValuesFrom(swrl:Builtin)) restriction(swrl:builtin cardinality(1)) restriction(swrl:arguments allValuesFrom(rdf:List)) restriction(swrl:arguments cardinality(1)))