ontology.SWRL — onto.aaroneberhart/fowl 0.0.1-SNAPSHOT

Functions that represent SWRL components

!=individualsAtom clj

(!=individualsAtom iarg1 iarg2)

DifferentIndividualsAtom := ‘DifferentIndividualsAtom’ ‘(’ IArg IArg ‘)’

=individualsAtom clj

(=individualsAtom iarg1 iarg2)

SameIndividualAtom := ‘SameIndividualAtom’ ‘(’ IArg IArg ‘)’

body clj

(body atoms)

‘Body’ ‘(’ {Atom} ‘)’

builtInAtom clj

(builtInAtom iri dargs)

BuiltInAtom := ‘BuiltInAtom’ ‘(’ IRI DArg { DArg } ‘)’

classAtom clj

(classAtom class iarg)

ClassAtom := ‘ClassAtom’ ‘(’ ClassExpression IArg ‘)’

dArg clj

(dArg arg)

DArg ::= Literal | Variable

dataRangeAtom clj

(dataRangeAtom dataRange darg)

DataRangeAtom := ‘DataRangeAtom’ ‘(’ DataRange DArg ‘)’

dataRoleAtom clj

(dataRoleAtom dataRole iarg darg)

DataPropertyAtom := ‘DataPropertyAtom’ ‘(’ DataProperty IArg DArg ‘)’

dgEdges clj

(dgEdges edge)

(dgEdges edge & edges)

DGEdges ::= ‘Edges’‘(’ EdgeAssertion { EdgeAssertion } ‘)’

dgName clj

(dgName iri)

DGName ::= IRI

dgNodes clj

(dgNodes node)

(dgNodes node & nodes)

DGNodes ::= ‘Nodes’‘(’ NodeAssertion { NodeAssertion } ‘)’

edgeFact clj

(edgeFact role node1 node2)

EdgeAssertion ::= ‘EdgeAssertion’ ‘(’ ObjectProperty DGNode DGNode ‘)’

head clj

(head atoms)

‘Head‘ ‘(’ {Atom} ‘)’

iArg clj

(iArg arg)

IArg ::= IndividualID | Variable

mainClasses clj

(mainClasses class)

(mainClasses class & classes)

MainClasses ::= ‘MainClasses’ ‘(’ Class { Class } ‘)’

nodeFact clj

(nodeFact class node)

NodeAssertion ::= ‘NodeAssertion’‘(’ Class DGNode ‘)’

roleAtom clj

(roleAtom role iarg1 iarg2)

ObjectPropertyAtom := ‘ObjectPropertyAtom’ ‘(’ ObjectPropertyExpression IArg IArg ‘)’

variable clj

(variable iri)

Variable := ‘Variable’ ‘(’ IRI ‘)’