Class: swrl:AtomList

•owl:Thing
        •rdf:List
                •swrl:AtomList

Super Classes

rdf:List
rdf:first ONLY swrl:Atom
rdf:first EQ 1 owl:Thing
rdf:rest ONLY swrl:AtomList
rdf:rest EQ 1 owl:Thing

Individuals

Abstract Syntax

Class(swrl:AtomList partial rdf:List
                           restriction(rdf:first allValuesFrom(swrl:Atom))
                           restriction(rdf:first cardinality(1))
                           restriction(rdf:rest allValuesFrom(swrl:AtomList))
                           restriction(rdf:rest cardinality(1)))

Usage

Class Description/Definition (Necessary Conditions)

swrl:AtomList, swrl:Imp
Generated with OWLDoc