consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal) |
•owl:Thing |
•swrl:Atom |
•swrl:DatavaluedPropertyAtom |
swrl:Atom |
swrl:propertyPredicate ONLY owl:DatatypeProperty |
swrl:propertyPredicate EQ 1 owl:Thing |
swrl:argument1 ONLY owl:Thing |
swrl:argument1 EQ 1 owl:Thing |
swrl:argument2 ONLY rdfs:Literal |
swrl:argument2 EQ 1 owl:Thing |
Class(swrl:DatavaluedPropertyAtom partial swrl:Atom restriction(swrl:propertyPredicate allValuesFrom(owl:DatatypeProperty)) restriction(swrl:propertyPredicate cardinality(1)) restriction(swrl:argument1 allValuesFrom(owl:Thing)) restriction(swrl:argument1 cardinality(1)) restriction(swrl:argument2 allValuesFrom(rdfs:Literal)) restriction(swrl:argument2 cardinality(1)))