Class AbstractDomainRangeAxiom

    • Constructor Detail

      • AbstractDomainRangeAxiom

        public AbstractDomainRangeAxiom()
    • 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