•owl:Thing |
•rdf:List |
•swrl:AtomList |
rdf:List |
rdf:first ONLY swrl:Atom |
rdf:first EQ 1 owl:Thing |
rdf:rest ONLY swrl:AtomList |
rdf:rest EQ 1 owl:Thing |
Class(swrl:AtomList partial rdf:List restriction(rdf:first allValuesFrom(swrl:Atom)) restriction(rdf:first cardinality(1)) restriction(rdf:rest allValuesFrom(swrl:AtomList)) restriction(rdf:rest cardinality(1)))