Package org.geneontology.obographs.core.model.axiom
Advanced Obo Graph model
Represents OWL axioms that do not fit into the Basic Obo Graph model
- Author:
- cjm
-
Interface Summary Interface Description Axiom Expression -
Class Summary 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 ...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.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.