Uses of Package
org.geneontology.obographs.core.model.axiom
Packages that use org.geneontology.obographs.core.model.axiom
Package
Description
## Basic Obo Graph Model
Corresponds to the subset of OWL consisting of SubClassOf axioms between named classes
and either named classes or simple existential restrictions.
Advanced Obo Graph model
Represents OWL axioms that do not fit into the Basic Obo Graph model
-
Classes in org.geneontology.obographs.core.model.axiom used by org.geneontology.obographs.core.modelClassDescriptionThis combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structureA set of nodes that all stand in a mutual equivalence or identity relationship to one anotherCorresponds to an axiom of the form C = X1 and ...P <- P1 ...
-
Classes in org.geneontology.obographs.core.model.axiom used by org.geneontology.obographs.core.model.axiomClassDescriptionThis combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structureA set of nodes that all stand in a mutual equivalence or identity relationship to one anotherCorresponds to an axiom of the form C = X1 and ...Corresponds to an axiom of the form C = X1 and ...P <- P1 ...This combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structureBuilds instances of type
DomainRangeAxiom.A set of nodes that all stand in a mutual equivalence or identity relationship to one anotherBuilds instances of typeEquivalentNodesSet.Corresponds to an axiom of the form C = X1 and ...Builds instances of typeExistentialRestrictionExpression.Corresponds to an axiom of the form C = X1 and ...Builds instances of typeLogicalDefinitionAxiom.P <- P1 ...Builds instances of typePropertyChainAxiom.