Class AbstractLogicalDefinitionAxiom
- java.lang.Object
-
- org.geneontology.obographs.core.model.axiom.AbstractLogicalDefinitionAxiom
-
- All Implemented Interfaces:
Comparable<AbstractLogicalDefinitionAxiom>,Axiom
- Direct Known Subclasses:
LogicalDefinitionAxiom
@Immutable public abstract class AbstractLogicalDefinitionAxiom extends Object implements Axiom, Comparable<AbstractLogicalDefinitionAxiom>
Corresponds to an axiom of the form C = X1 and ... and Xn, Where X_i is either a named class or OWL Restriction- Author:
- cjm
-
-
Constructor Summary
Constructors Constructor Description AbstractLogicalDefinitionAxiom()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description intcompareTo(AbstractLogicalDefinitionAxiom o)abstract StringgetDefinedClassId()abstract List<String>getGenusIds()abstract List<ExistentialRestrictionExpression>getRestrictions()
-
-
-
Method Detail
-
getDefinedClassId
public abstract String getDefinedClassId()
- Returns:
- the representativeNodeId
-
getRestrictions
public abstract List<ExistentialRestrictionExpression> getRestrictions()
- Returns:
- the restrictions
-
compareTo
public int compareTo(AbstractLogicalDefinitionAxiom o)
- Specified by:
compareToin interfaceComparable<AbstractLogicalDefinitionAxiom>
-
-