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

Functions that represent OWL axioms

=classes clj

(=classes classes)

(=classes annotations classes)

EquivalentClasses := 'EquivalentClasses' '(' axiomAnnotations ClassExpression ClassExpression { ClassExpression } ')'

=dataRoles clj

(=dataRoles dataRoles)

(=dataRoles annotations dataRoles)

EquivalentDataProperties := 'EquivalentDataProperties' '(' axiomAnnotations DataPropertyExpression DataPropertyExpression { DataPropertyExpression } ')'

=roles clj

(=roles roles)

(=roles annotations roles)

EquivalentObjectProperties := 'EquivalentObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

annotationDomain clj

(annotationDomain annotationRole IRI)

(annotationDomain annotations annotationRole IRI)

AnnotationPropertyDomain := 'AnnotationPropertyDomain' '(' axiomAnnotations AnnotationProperty IRI ')'

annotationFact clj

(annotationFact annotationRole annotationSubject annotationValue)

(annotationFact annotations annotationRole annotationSubject annotationValue)

AnnotationAssertion := 'AnnotationAssertion' '(' axiomAnnotations AnnotationProperty AnnotationSubject AnnotationValue ')'

annotationImplication clj

(annotationImplication antecedent consequent)

(annotationImplication annotations antecedent consequent)

SubAnnotationPropertyOf := 'SubAnnotationPropertyOf' '(' axiomAnnotations subAnnotationProperty superAnnotationProperty ')'

annotationRange clj

(annotationRange annotationRole IRI)

(annotationRange annotations annotationRole IRI)

AnnotationPropertyRange := 'AnnotationPropertyRange' '(' axiomAnnotations AnnotationProperty IRI ')'

asymmetricRole clj

(asymmetricRole role)

(asymmetricRole annotations role)

AsymmetricObjectProperty := 'AsymmetricObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

classImplication clj

(classImplication antecedent consequent)

(classImplication annotations antecedent consequent)

SubClassOf := 'SubClassOf' '(' axiomAnnotations subClassExpression superClassExpression ')'

dataRoleDomain clj

(dataRoleDomain dataRole class)

(dataRoleDomain annotations dataRole class)

DataPropertyDomain := 'DataPropertyDomain' '(' axiomAnnotations DataPropertyExpression ClassExpression ')'

dataRoleImplication clj

(dataRoleImplication antecedent consequent)

(dataRoleImplication annotations antecedent consequent)

SubDataPropertyOf := 'SubDataPropertyOf' '(' axiomAnnotations subDataPropertyExpression superDataPropertyExpression ')'

dataRoleRange clj

(dataRoleRange dataRole dataRange)

(dataRoleRange annotations dataRole dataRange)

DataPropertyRange := 'DataPropertyRange' '(' axiomAnnotations DataPropertyExpression DataRange ')'

dataTypeDefinition clj

(dataTypeDefinition datatype datarange)

(dataTypeDefinition annotations datatype datarange)

DatatypeDefinition := 'DatatypeDefinition' '(' axiomAnnotations Datatype DataRange ')'

declaration clj

(declaration name)

(declaration annotations name)

Declaration := 'Declaration' '(' axiomAnnotations Entity ')'

dgAxiom clj

(dgAxiom dgname dgnodes dgedges mainclasses)

(dgAxiom annotations dgname dgnodes dgedges mainclasses)

DGAxiom ::= ‘DescriptionGraph’ ‘(’ {Annotation} DGName DGNodes DGEdges MainClasses ‘)’

dgRule clj

(dgRule body head)

(dgRule annotations body head)

DGRule ::= DescriptionGraphRule ‘(’ {Annotation} ‘Body’ ‘(’ {DGAtom} ‘)’ ‘Head’ ‘(’ {DGAtom} ‘)’ ‘)'

disjClasses clj

(disjClasses classes)

(disjClasses annotations classes)

DisjointClasses := 'DisjointClasses' '(' axiomAnnotations ClassExpression ClassExpression { ClassExpression } ')'

disjDataRoles clj

(disjDataRoles dataRoles)

(disjDataRoles annotations dataRoles)

DisjointDataProperties := 'DisjointDataProperties' '(' axiomAnnotations DataPropertyExpression DataPropertyExpression { DataPropertyExpression } ')'

disjOr clj

(disjOr class classes)

(disjOr annotations class classes)

DisjointUnion := 'DisjointUnion' '(' axiomAnnotations Class disjointClassExpressions ')'

disjRoles clj

(disjRoles roles)

(disjRoles annotations roles)

DisjointObjectProperties := 'DisjointObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

dlSafeRule clj

(dlSafeRule body head)

(dlSafeRule annotations body head)

DLSafeRule ::= DLSafeRule ‘(’ {Annotation} ‘Body’ ‘(’ {Atom} ‘)’ ‘Head’ ‘(’ {Atom} ‘)’ ‘)’

functionalDataRole clj

(functionalDataRole dataRole)

(functionalDataRole annotations dataRole)

FunctionalDataProperty := 'FunctionalDataProperty' '(' axiomAnnotations DataPropertyExpression ')'

functionalInverseRole clj

(functionalInverseRole role)

(functionalInverseRole annotations role)

InverseFunctionalObjectProperty := 'InverseFunctionalObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

functionalRole clj

(functionalRole role)

(functionalRole annotations role)

FunctionalObjectProperty := 'FunctionalObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

hasKey clj

(hasKey class roles dataRoles)

(hasKey annotations class roles dataRoles)

HasKey := 'HasKey' '(' axiomAnnotations ClassExpression '(' { ObjectPropertyExpression } ')' '(' { DataPropertyExpression } ')' ')'

inverseRoles clj

(inverseRoles role otherRole)

(inverseRoles annotations role otherRole)

InverseObjectProperties := 'InverseObjectProperties' '(' axiomAnnotations ObjectPropertyExpression ObjectPropertyExpression ')'

irreflexiveRole clj

(irreflexiveRole role)

(irreflexiveRole annotations role)

IrreflexiveObjectProperty := 'IrreflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

reflexiveRole clj

(reflexiveRole role)

(reflexiveRole annotations role)

ReflexiveObjectProperty := 'ReflexiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

roleChain clj

(roleChain role1 role2)

(roleChain role1 role2 & roles)

propertyExpressionChain := 'ObjectPropertyChain' '(' ObjectPropertyExpression ObjectPropertyExpression { ObjectPropertyExpression } ')'

roleDomain clj

(roleDomain role class)

(roleDomain annotations role class)

ObjectPropertyDomain := 'ObjectPropertyDomain' '(' axiomAnnotations ObjectPropertyExpression ClassExpression ')'

roleImplication clj

(roleImplication antecedent consequent)

(roleImplication annotations antecedent consequent)

SubObjectPropertyOf := 'SubObjectPropertyOf' '(' axiomAnnotations subObjectPropertyExpression superObjectPropertyExpression ')'

roleRange clj

(roleRange role class)

(roleRange annotations role class)

ObjectPropertyRange := 'ObjectPropertyRange' '(' axiomAnnotations ObjectPropertyExpression ClassExpression ')'

symmetricRole clj

(symmetricRole role)

(symmetricRole annotations role)

SymmetricObjectProperty := 'SymmetricObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'

transitiveRole clj

(transitiveRole role)

(transitiveRole annotations role)

TransitiveObjectProperty := 'TransitiveObjectProperty' '(' axiomAnnotations ObjectPropertyExpression ')'