Class: swrl:Imp

implication (rule)

•owl:Thing
        •swrl:Imp

Super Classes

swrl:head ONLY swrl:AtomList
swrl:head MAX 1 owl:Thing
swrl:body ONLY swrl:AtomList
swrl:body MAX 1 owl:Thing
owl:Thing

Abstract Syntax

Class(swrl:Imp partial restriction(swrl:head allValuesFrom(swrl:AtomList))
                      restriction(swrl:head maxCardinality(1))
                      restriction(swrl:body allValuesFrom(swrl:AtomList))
                      restriction(swrl:body maxCardinality(1))
                      owl:Thing)
Generated with OWLDoc