Package org.geneontology.obographs.core.model.axiom

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

Related Packages

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.meta	Objects that can be associated with a Meta holder

Class	Description
AbstractDomainRangeAxiom	This combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structure
AbstractEquivalentNodesSet	A set of nodes that all stand in a mutual equivalence or identity relationship to one another
AbstractExistentialRestrictionExpression	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 structure
DomainRangeAxiom.Builder	Builds instances of type DomainRangeAxiom.
EquivalentNodesSet	A set of nodes that all stand in a mutual equivalence or identity relationship to one another
EquivalentNodesSet.Builder	Builds instances of type EquivalentNodesSet.
ExistentialRestrictionExpression	Corresponds to an axiom of the form C = X1 and ...
ExistentialRestrictionExpression.Builder	Builds instances of type ExistentialRestrictionExpression.
Expression
LogicalDefinitionAxiom	Corresponds to an axiom of the form C = X1 and ...
LogicalDefinitionAxiom.Builder	Builds instances of type LogicalDefinitionAxiom.
PropertyChainAxiom	P <- P1 ...
PropertyChainAxiom.Builder	Builds instances of type PropertyChainAxiom.