Class: swrl:DatavaluedPropertyAtom

consists of a propertyPredicate (owl:DatatypeProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal)

•owl:Thing
        •swrl:Atom
                •swrl:DatavaluedPropertyAtom

Super Classes

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

Abstract Syntax

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)))
Generated with OWLDoc