Uses of Package
org.geneontology.obographs.core.model.axiom
-
Packages that use org.geneontology.obographs.core.model.axiom Package Description org.geneontology.obographs.core.model ## 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.org.geneontology.obographs.core.model.axiom 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.model Class Description DomainRangeAxiom This combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structureEquivalentNodesSet A set of nodes that all stand in a mutual equivalence or identity relationship to one another Corresponds to Node in the OWLAPILogicalDefinitionAxiom Corresponds to an axiom of the form C = X1 and ...PropertyChainAxiom P <- P1 ... -
Classes in org.geneontology.obographs.core.model.axiom used by org.geneontology.obographs.core.model.axiom Class Description AbstractDomainRangeAxiom This combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structureAbstractEquivalentNodesSet A set of nodes that all stand in a mutual equivalence or identity relationship to one another Corresponds to Node in the OWLAPIAbstractExistentialRestrictionExpression Corresponds to an axiom of the form C = X1 and ...AbstractLogicalDefinitionAxiom Corresponds to an axiom of the form C = X1 and ...AbstractPropertyChainAxiom P <- P1 ...Axiom DomainRangeAxiom This combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structureDomainRangeAxiom.Builder Builds instances of typeDomainRangeAxiom.EquivalentNodesSet A set of nodes that all stand in a mutual equivalence or identity relationship to one another Corresponds to Node in the OWLAPIEquivalentNodesSet.Builder Builds instances of typeEquivalentNodesSet.ExistentialRestrictionExpression Corresponds to an axiom of the form C = X1 and ...ExistentialRestrictionExpression.Builder Builds instances of typeExistentialRestrictionExpression.Expression LogicalDefinitionAxiom Corresponds to an axiom of the form C = X1 and ...LogicalDefinitionAxiom.Builder Builds instances of typeLogicalDefinitionAxiom.PropertyChainAxiom P <- P1 ...PropertyChainAxiom.Builder Builds instances of typePropertyChainAxiom.