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 Summary
Constructors Constructor Description AbstractDomainRangeAxiom()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description intcompareTo(AbstractDomainRangeAxiom o)abstract Set<Edge>getAllValuesFromEdges()Set of edges representing `X SubClassOf P only Y` axioms.abstract Set<String>getDomainClassIds()For multiple domains, this is treated as intersectionabstract StringgetPredicateId()abstract Set<String>getRangeClassIds()For multiple ranges, this is treated as intersection
-
-
-
Method Detail
-
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:
compareToin interfaceComparable<AbstractDomainRangeAxiom>
-
-