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

Class AbstractDomainRangeAxiom

java.lang.Object
org.geneontology.obographs.core.model.axiom.AbstractDomainRangeAxiom
All Implemented Interfaces:
Comparable<AbstractDomainRangeAxiom>, Axiom
Direct Known Subclasses:
DomainRangeAxiom
@Immutable public abstract class AbstractDomainRangeAxiom extends Object implements Axiom, Comparable<AbstractDomainRangeAxiom>
This combined ObjectPropertyDomain, ObjectPropertyRange, and some AllValuesFrom expressions into a single convenience structure
Author:
cjm

  • Constructor Details

    • AbstractDomainRangeAxiom

      public AbstractDomainRangeAxiom()

  • Method Details

    • getPredicateId

      public abstract String getPredicateId()
      Returns:
      the predicateId

    • getDomainClassIds

      public abstract Set<String> getDomainClassIds()
      For multiple domains, this is treated as intersection
      Returns:
      the domainClassIds

    • getRangeClassIds

      public abstract Set<String> getRangeClassIds()
      For multiple ranges, this is treated as intersection
      Returns:
      the rangeClassIds

    • getAllValuesFromEdges

      public abstract Set<Edge> getAllValuesFromEdges()
      Set of edges representing `X SubClassOf P only Y` axioms.

      Note that these are not in the main graph.edges object, as the edge graph is intended to be an existential graph. Most applications that do not perform a reasoning function have no use for universal axioms.

      Returns:
      the allValuesFromEdges

    • compareTo

      public int compareTo(AbstractDomainRangeAxiom o)
      Specified by:
      compareTo in interface Comparable<AbstractDomainRangeAxiom>