Class: swrl:DifferentIndividualsAtom

consists of argument1 (owl:Thing) and argument2 (owl:Thing)

•owl:Thing
        •swrl:Atom
                •swrl:DifferentIndividualsAtom

Super Classes

swrl:Atom
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:DifferentIndividualsAtom partial swrl:Atom
                                           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