Class: swrl:BuiltinAtom

consists of a builtin and a List of arguments

•owl:Thing
        •swrl:Atom
                •swrl:BuiltinAtom

Super Classes

swrl:Atom
swrl:builtin ONLY swrl:Builtin
swrl:builtin EQ 1 owl:Thing
swrl:arguments ONLY rdf:List
swrl:arguments EQ 1 owl:Thing

Abstract Syntax

Class(swrl:BuiltinAtom partial swrl:Atom
                              restriction(swrl:builtin allValuesFrom(swrl:Builtin))
                              restriction(swrl:builtin cardinality(1))
                              restriction(swrl:arguments allValuesFrom(rdf:List))
                              restriction(swrl:arguments cardinality(1)))
Generated with OWLDoc