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

Functions that represent OWL assertions

!=individuals clj

(!=individuals individuals)

(!=individuals annotations individuals)

DifferentIndividuals := 'DifferentIndividuals' '(' axiomAnnotations Individual Individual { Individual } ')'

=individuals clj

(=individuals individuals)

(=individuals annotations individuals)

SameIndividual := 'SameIndividual' '(' axiomAnnotations Individual Individual { Individual } ')'

classFact clj

(classFact class individual)

(classFact annotations class individual)

ClassAssertion := 'ClassAssertion' '(' axiomAnnotations ClassExpression Individual ')'

dataRoleFact clj

(dataRoleFact dataRole fromIndividual toLiteral)

(dataRoleFact annotations dataRole fromIndividual toLiteral)

DataPropertyAssertion := 'DataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')'

notDataRoleFact clj

(notDataRoleFact dataRole fromIndividual toLiteral)

(notDataRoleFact annotations dataRole fromIndividual toLiteral)

NegativeDataPropertyAssertion := 'NegativeDataPropertyAssertion' '(' axiomAnnotations DataPropertyExpression sourceIndividual targetValue ')'

notRoleFact clj

(notRoleFact role fromIndividual toIndividual)

(notRoleFact annotations role fromIndividual toIndividual)

NegativeObjectPropertyAssertion := 'NegativeObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')'

roleFact clj

(roleFact role fromIndividual toIndividual)

(roleFact annotations role fromIndividual toIndividual)

ObjectPropertyAssertion := 'ObjectPropertyAssertion' '(' axiomAnnotations ObjectPropertyExpression sourceIndividual targetIndividual ')'