Class: swrl:IndividualPropertyAtom

consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing)

•owl:Thing
        •swrl:Atom
                •swrl:IndividualPropertyAtom

Super Classes

swrl:Atom
swrl:propertyPredicate ONLY owl:ObjectProperty
swrl:propertyPredicate EQ 1 owl:Thing
swrl:argument1 ONLY owl:Thing
swrl:argument1 EQ 1 owl:Thing
swrl:argument2 ONLY owl:Thing
swrl:argument2 EQ 1 owl:Thing

Abstract Syntax

Class(swrl:IndividualPropertyAtom partial swrl:Atom
                                         restriction(swrl:propertyPredicate allValuesFrom(owl:ObjectProperty))
                                         restriction(swrl:propertyPredicate cardinality(1))
                                         restriction(swrl:argument1 allValuesFrom(owl:Thing))
                                         restriction(swrl:argument1 cardinality(1))
                                         restriction(swrl:argument2 allValuesFrom(owl:Thing))
                                         restriction(swrl:argument2 cardinality(1)))
Generated with OWLDoc