Class: swrl:ClassAtom

consists of a classPredicate and argument1

•owl:Thing
        •swrl:Atom
                •swrl:ClassAtom

Super Classes

swrl:Atom
swrl:classPredicate ONLY owl:Class
swrl:classPredicate EQ 1 owl:Thing
swrl:argument1 ONLY owl:Thing
swrl:argument1 EQ 1 owl:Thing

Abstract Syntax

Class(swrl:ClassAtom partial swrl:Atom
                            restriction(swrl:classPredicate allValuesFrom(owl:Class))
                            restriction(swrl:classPredicate cardinality(1))
                            restriction(swrl:argument1 allValuesFrom(owl:Thing))
                            restriction(swrl:argument1 cardinality(1)))
Generated with OWLDoc