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

Functions that represent OWL expressionss

<=dataExists clj

(<=dataExists nat dr)

(<=dataExists nat dr dataRange)

DataMaxCardinality := 'DataMaxCardinality' '(' nonNegativeInteger DataPropertyExpression [ DataRange ] ')'

<=exists clj

(<=exists nat r)

(<=exists nat r c)

ObjectMaxCardinality := 'ObjectMaxCardinality' '(' nonNegativeInteger ObjectPropertyExpression [ ClassExpression ] ')'

=dataExists clj

(=dataExists nat dr)

(=dataExists nat dr dataRange)

DataExactCardinality := 'DataExactCardinality' '(' nonNegativeInteger DataPropertyExpression [ DataRange ] ')'

=exists clj

(=exists nat r)

(=exists nat r c)

ObjectExactCardinality := 'ObjectExactCardinality' '(' nonNegativeInteger ObjectPropertyExpression [ ClassExpression ] ')'

>=dataExists clj

(>=dataExists nat dr)

(>=dataExists nat dr dataRange)

DataMinCardinality := 'DataMinCardinality' '(' nonNegativeInteger DataPropertyExpression [ DataRange ] ')'

>=exists clj

(>=exists nat r)

(>=exists nat r c)

ObjectMinCardinality := 'ObjectMinCardinality' '(' nonNegativeInteger ObjectPropertyExpression [ ClassExpression ] ')'

all clj

(all r c)

ObjectAllValuesFrom := 'ObjectAllValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'

and clj

(and class1 class2)

(and class1 class2 & classes)

ObjectIntersectionOf := 'ObjectIntersectionOf' '(' ClassExpression ClassExpression { ClassExpression } ')'

class clj

(class iri)

(class prefix name)

(class prefix name namespace)

ClassExpression := Class | ObjectIntersectionOf | ObjectUnionOf | ObjectComplementOf | ObjectOneOf | ObjectSomeValuesFrom | ObjectAllValuesFrom | ObjectHasValue | ObjectHasSelf | ObjectMinCardinality | ObjectMaxCardinality | ObjectExactCardinality | DataSomeValuesFrom | DataAllValuesFrom | DataHasValue | DataMinCardinality | DataMaxCardinality | DataExactCardinality

dataAll clj

(dataAll dataRoles dataRange)

DataAllValuesFrom := 'DataAllValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } DataRange ')'

dataExists clj

(dataExists dataRoles dataRange)

DataSomeValuesFrom := 'DataSomeValuesFrom' '(' DataPropertyExpression { DataPropertyExpression } DataRange ')'

dataRole clj

(dataRole iri)

(dataRole prefix name)

(dataRole prefix name namespace)

DataPropertyExpression := DataProperty

exists clj

(exists r c)

ObjectSomeValuesFrom := 'ObjectSomeValuesFrom' '(' ObjectPropertyExpression ClassExpression ')'

inverseRole clj

(inverseRole iri)

(inverseRole prefix name)

(inverseRole prefix name namespace)

ObjectPropertyExpression := ObjectProperty | InverseObjectProperty

nominal clj

(nominal individual)

(nominal individual & individuals)

ObjectOneOf := 'ObjectOneOf' '(' Individual { Individual }')'

not clj

(not c)

ObjectComplementOf := 'ObjectComplementOf' '(' ClassExpression ')'

or clj

(or class1 class2)

(or class1 class2 & classes)

ObjectUnionOf := 'ObjectUnionOf' '(' ClassExpression ClassExpression { ClassExpression } ')'

partialDataRole clj

(partialDataRole dr literal)

DataHasValue := 'DataHasValue' '(' DataPropertyExpression Literal ')'

partialRole clj

(partialRole r i)

ObjectHasValue := 'ObjectHasValue' '(' ObjectPropertyExpression Individual ')'

role clj

(role iri)

(role prefix name)

(role prefix name namespace)

ObjectPropertyExpression := ObjectProperty | InverseObjectProperty

Self clj

(Self iri)

(Self prefix name)

(Self prefix name namespace)

ObjectHasSelf := 'ObjectHasSelf' '(' ObjectPropertyExpression ')'