Class

gov.nasa.jpl.omf.scala.binding.owlapi.TerminologyBoxResolverHelper

IncrementalResolverState

Related Doc: package TerminologyBoxResolverHelper

Permalink

case class IncrementalResolverState(entityDefinitions: SortedMap[IRI, Entity], restrictableRelationships: Map[OWLObjectProperty, RestrictableRelationship], dataRanges: Map[OWLDataRange, DataRange], dataRelationshipsFromEntityToScalar: Map[OWLDataProperty, EntityScalarDataProperty], RCs: Map[IRI, OWLClass], ROPs: Set[ROPInfo], sourceROPs: Set[ROPInfo], targetROPs: Set[ROPInfo], chains: Chains, unreifiedObjectPropertyOPs: Set[(OWLClass, OWLObjectProperty, OWLClass)], cardinalityRestrictedAspectCIRIs: Map[IRI, OWLClass], cardinalityRestrictedConceptCIRIs: Map[IRI, OWLClass], cardinalityRestrictedReifiedRelationshipCIRIs: Map[IRI, OWLClass], subClassAxioms: Map[OWLClass, Set[OWLSubClassOfAxiom]], subObjectPropertyAxioms: SortedSet[(OWLObjectProperty, OWLObjectProperty)], subDataPropertyAxioms: Set[(OWLDataProperty, OWLDataProperty)], dataPropertyDPIRIs: Set[DOPInfo], reifiedRelationships: Map[OWLClass, ReifiedRelationship] = Map.empty, reifiedRelationshipSources: Map[OWLObjectProperty, ReifiedRelationship] = Map.empty, reifiedRelationshipTargets: Map[OWLObjectProperty, ReifiedRelationship] = Map.empty, forwardProperties: Map[OWLObjectProperty, ForwardProperty] = Map.empty, inverseProperties: Map[OWLObjectProperty, InverseProperty] = Map.empty, unreifiedRelationships: Map[OWLObjectProperty, UnreifiedRelationship] = Map.empty, cardinalityRestrictedAspects: Map[OWLClass, CardinalityRestrictedAspect] = Map.empty, cardinalityRestrictedConcepts: Map[OWLClass, CardinalityRestrictedConcept] = Map.empty, cardinalityRestrictedReifiedRelationships: Map[OWLClass, CardinalityRestrictedReifiedRelationship] = Map.empty, reifiedRelationshipRestrictions: Map[OWLClass, ReifiedRelationshipRestriction] = Map.empty, aspectSpecializations: Map[OWLSubClassOfAxiom, AspectSpecializationAxiom] = Map.empty, conceptSpecializations: Map[OWLSubClassOfAxiom, ConceptSpecializationAxiom] = Map.empty, reifiedRelationshipSpecializations: Map[OWLSubClassOfAxiom, ReifiedRelationshipSpecializationAxiom] = Map.empty, existentialRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityExistentialRestrictionAxiom] = Map.empty, universalRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityUniversalRestrictionAxiom] = Map.empty, entityScalarDataPropertyParticularRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyParticularRestrictionAxiom] = Map.empty, entityScalarDataPropertyUniversalRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyUniversalRestrictionAxiom] = Map.empty, entityScalarDataPropertyExistentialRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyExistentialRestrictionAxiom] = Map.empty, rootCharacterizedEntityRelationships: Map[ConceptualRelationship, Set[_ <: CharacterizedEntityRelationship]] = Map.empty, subObjectProperties: Map[(OWLObjectProperty, OWLObjectProperty), SubObjectPropertyOfAxiom] = Map.empty, subEntityScalarDataProperties: Map[(OWLDataProperty, OWLDataProperty), SubDataPropertyOfAxiom] = Map.empty) extends Product with Serializable

entityDefinitions

Input & Result

restrictableRelationships

Input & Result

dataRanges

Input & Result

dataRelationshipsFromEntityToScalar

Input & Result

RCs

Empty on successful resolution

ROPs

Empty on successful resolution

sourceROPs

Empty on successful resolution

targetROPs

Empty on successful resolution

chains

Empty on successful resolution

unreifiedObjectPropertyOPs

Empty on successful resolution

cardinalityRestrictedAspectCIRIs

Empty on successful resolution

cardinalityRestrictedConceptCIRIs

Empty on successful resolution

cardinalityRestrictedReifiedRelationshipCIRIs

Empty on successful resolution

subClassAxioms

Empty on successful resolution

subObjectPropertyAxioms

Empty on successful resolution

subDataPropertyAxioms

Empty on successful resolution

dataPropertyDPIRIs

Empty on successful resolution

reifiedRelationships

Result

reifiedRelationshipSources

Result

reifiedRelationshipTargets

Result

forwardProperties

Result

inverseProperties

Result

unreifiedRelationships

Result

cardinalityRestrictedAspects

Result

cardinalityRestrictedConcepts

Result

cardinalityRestrictedReifiedRelationships

Result

reifiedRelationshipRestrictions

Result

aspectSpecializations

Result

conceptSpecializations

Result

reifiedRelationshipSpecializations

Result

existentialRestrictionAxioms

Result

universalRestrictionAxioms

Result

entityScalarDataPropertyParticularRestrictionAxioms

Result

entityScalarDataPropertyUniversalRestrictionAxioms

Result

entityScalarDataPropertyExistentialRestrictionAxioms

Result

rootCharacterizedEntityRelationships

Result

subObjectProperties

Result

subEntityScalarDataProperties

Result

Linear Supertypes
Serializable, Serializable, Product, Equals, AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IncrementalResolverState
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new IncrementalResolverState(entityDefinitions: SortedMap[IRI, Entity], restrictableRelationships: Map[OWLObjectProperty, RestrictableRelationship], dataRanges: Map[OWLDataRange, DataRange], dataRelationshipsFromEntityToScalar: Map[OWLDataProperty, EntityScalarDataProperty], RCs: Map[IRI, OWLClass], ROPs: Set[ROPInfo], sourceROPs: Set[ROPInfo], targetROPs: Set[ROPInfo], chains: Chains, unreifiedObjectPropertyOPs: Set[(OWLClass, OWLObjectProperty, OWLClass)], cardinalityRestrictedAspectCIRIs: Map[IRI, OWLClass], cardinalityRestrictedConceptCIRIs: Map[IRI, OWLClass], cardinalityRestrictedReifiedRelationshipCIRIs: Map[IRI, OWLClass], subClassAxioms: Map[OWLClass, Set[OWLSubClassOfAxiom]], subObjectPropertyAxioms: SortedSet[(OWLObjectProperty, OWLObjectProperty)], subDataPropertyAxioms: Set[(OWLDataProperty, OWLDataProperty)], dataPropertyDPIRIs: Set[DOPInfo], reifiedRelationships: Map[OWLClass, ReifiedRelationship] = Map.empty, reifiedRelationshipSources: Map[OWLObjectProperty, ReifiedRelationship] = Map.empty, reifiedRelationshipTargets: Map[OWLObjectProperty, ReifiedRelationship] = Map.empty, forwardProperties: Map[OWLObjectProperty, ForwardProperty] = Map.empty, inverseProperties: Map[OWLObjectProperty, InverseProperty] = Map.empty, unreifiedRelationships: Map[OWLObjectProperty, UnreifiedRelationship] = Map.empty, cardinalityRestrictedAspects: Map[OWLClass, CardinalityRestrictedAspect] = Map.empty, cardinalityRestrictedConcepts: Map[OWLClass, CardinalityRestrictedConcept] = Map.empty, cardinalityRestrictedReifiedRelationships: Map[OWLClass, CardinalityRestrictedReifiedRelationship] = Map.empty, reifiedRelationshipRestrictions: Map[OWLClass, ReifiedRelationshipRestriction] = Map.empty, aspectSpecializations: Map[OWLSubClassOfAxiom, AspectSpecializationAxiom] = Map.empty, conceptSpecializations: Map[OWLSubClassOfAxiom, ConceptSpecializationAxiom] = Map.empty, reifiedRelationshipSpecializations: Map[OWLSubClassOfAxiom, ReifiedRelationshipSpecializationAxiom] = Map.empty, existentialRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityExistentialRestrictionAxiom] = Map.empty, universalRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityUniversalRestrictionAxiom] = Map.empty, entityScalarDataPropertyParticularRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyParticularRestrictionAxiom] = Map.empty, entityScalarDataPropertyUniversalRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyUniversalRestrictionAxiom] = Map.empty, entityScalarDataPropertyExistentialRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyExistentialRestrictionAxiom] = Map.empty, rootCharacterizedEntityRelationships: Map[ConceptualRelationship, Set[_ <: CharacterizedEntityRelationship]] = Map.empty, subObjectProperties: Map[(OWLObjectProperty, OWLObjectProperty), SubObjectPropertyOfAxiom] = Map.empty, subEntityScalarDataProperties: Map[(OWLDataProperty, OWLDataProperty), SubDataPropertyOfAxiom] = Map.empty)

    Permalink

    entityDefinitions

    Input & Result

    restrictableRelationships

    Input & Result

    dataRanges

    Input & Result

    dataRelationshipsFromEntityToScalar

    Input & Result

    RCs

    Empty on successful resolution

    ROPs

    Empty on successful resolution

    sourceROPs

    Empty on successful resolution

    targetROPs

    Empty on successful resolution

    chains

    Empty on successful resolution

    unreifiedObjectPropertyOPs

    Empty on successful resolution

    cardinalityRestrictedAspectCIRIs

    Empty on successful resolution

    cardinalityRestrictedConceptCIRIs

    Empty on successful resolution

    cardinalityRestrictedReifiedRelationshipCIRIs

    Empty on successful resolution

    subClassAxioms

    Empty on successful resolution

    subObjectPropertyAxioms

    Empty on successful resolution

    subDataPropertyAxioms

    Empty on successful resolution

    dataPropertyDPIRIs

    Empty on successful resolution

    reifiedRelationships

    Result

    reifiedRelationshipSources

    Result

    reifiedRelationshipTargets

    Result

    forwardProperties

    Result

    inverseProperties

    Result

    unreifiedRelationships

    Result

    cardinalityRestrictedAspects

    Result

    cardinalityRestrictedConcepts

    Result

    cardinalityRestrictedReifiedRelationships

    Result

    reifiedRelationshipRestrictions

    Result

    aspectSpecializations

    Result

    conceptSpecializations

    Result

    reifiedRelationshipSpecializations

    Result

    existentialRestrictionAxioms

    Result

    universalRestrictionAxioms

    Result

    entityScalarDataPropertyParticularRestrictionAxioms

    Result

    entityScalarDataPropertyUniversalRestrictionAxioms

    Result

    entityScalarDataPropertyExistentialRestrictionAxioms

    Result

    rootCharacterizedEntityRelationships

    Result

    subObjectProperties

    Result

    subEntityScalarDataProperties

    Result

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. val RCs: Map[IRI, OWLClass]

    Permalink

    Empty on successful resolution

  5. val ROPs: Set[ROPInfo]

    Permalink

    Empty on successful resolution

  6. def allEntities: Map[OWLClass, Entity]

    Permalink

  7. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  8. val aspectSpecializations: Map[OWLSubClassOfAxiom, AspectSpecializationAxiom]

    Permalink

    Result

  9. val cardinalityRestrictedAspectCIRIs: Map[IRI, OWLClass]

    Permalink

    Empty on successful resolution

  10. val cardinalityRestrictedAspects: Map[OWLClass, CardinalityRestrictedAspect]

    Permalink

    Result

  11. val cardinalityRestrictedConceptCIRIs: Map[IRI, OWLClass]

    Permalink

    Empty on successful resolution

  12. val cardinalityRestrictedConcepts: Map[OWLClass, CardinalityRestrictedConcept]

    Permalink

    Result

  13. val cardinalityRestrictedReifiedRelationshipCIRIs: Map[IRI, OWLClass]

    Permalink

    Empty on successful resolution

  14. val cardinalityRestrictedReifiedRelationships: Map[OWLClass, CardinalityRestrictedReifiedRelationship]

    Permalink

    Result

  15. val chains: Chains

    Permalink

    Empty on successful resolution

  16. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  17. val conceptSpecializations: Map[OWLSubClassOfAxiom, ConceptSpecializationAxiom]

    Permalink

    Result

  18. val dataPropertyDPIRIs: Set[DOPInfo]

    Permalink

    Empty on successful resolution

  19. val dataRanges: Map[OWLDataRange, DataRange]

    Permalink

    Input & Result

  20. val dataRelationshipsFromEntityToScalar: Map[OWLDataProperty, EntityScalarDataProperty]

    Permalink

    Input & Result

  21. val entityDefinitions: SortedMap[IRI, Entity]

    Permalink

    Input & Result

  22. val entityScalarDataPropertyExistentialRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyExistentialRestrictionAxiom]

    Permalink

    Result

  23. val entityScalarDataPropertyParticularRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyParticularRestrictionAxiom]

    Permalink

    Result

  24. val entityScalarDataPropertyUniversalRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityScalarDataPropertyUniversalRestrictionAxiom]

    Permalink

    Result

  25. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  26. val existentialRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityExistentialRestrictionAxiom]

    Permalink

    Result

  27. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  28. val forwardProperties: Map[OWLObjectProperty, ForwardProperty]

    Permalink

    Result

  29. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  30. val inverseProperties: Map[OWLObjectProperty, InverseProperty]

    Permalink

    Result

  31. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  32. def isResolved: Boolean

    Permalink

  33. def lookup(c: OWLClass): Option[Entity]

    Permalink

  34. def lookupConceptualRelationship(c: OWLClass): Option[ConceptualRelationship]

    Permalink

  35. def lookupConceptualRelationshipBy(op: OWLObjectProperty, f: (ConceptualRelationship) ⇒ OWLObjectProperty): Option[ConceptualRelationship]

    Permalink

  36. def lookupEntityScalarDataPropertyExistentialRestriction(ax: OWLSubClassOfAxiom): Option[ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom]

    Permalink

  37. def lookupEntityScalarDataPropertyParticularRestriction(ax: OWLSubClassOfAxiom): Option[ResolvableEntityScalarDataPropertyParticularRestrictionAxiom]

    Permalink

  38. def lookupEntityScalarDataPropertyUniversalRestriction(ax: OWLSubClassOfAxiom): Option[ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom]

    Permalink

  39. def lookupExistentialEntityRestriction(ax: OWLSubClassOfAxiom): Option[ResolvableEntityRestriction]

    Permalink

  40. def lookupObjectCardinalityRestriction[D <: Entity](sub: OWLClass, ax: OWLSubClassOfAxiom, restrictionKind: CardinalityRestrictionKind, ocr: OWLObjectCardinalityRestriction, domainLookup: (Entity) ⇒ Option[D])(implicit store: OWLAPIOMFGraphStore): Option[ResolvableCardinalityRestriction[D]]

    Permalink

  41. def lookupReifiedRelationshipRestrictionSpecializationAxioms(o_rrr: OWLClass, axs: Set[OWLSubClassOfAxiom])(implicit store: OWLAPIOMFGraphStore): Iterable[((Entity, Entity), ConceptualRelationship, Set[OWLSubClassOfAxiom])]

    Permalink

  42. def lookupRestrictableRelationship(op: OWLObjectProperty): Option[RestrictableRelationship]

    Permalink

  43. def lookupRestrictionBy(current: Map[OWLClass, Set[OWLSubClassOfAxiom]], axs: Set[OWLSubClassOfAxiom], f: (OWLObjectProperty) ⇒ Boolean): Map[OWLClass, Set[OWLSubClassOfAxiom]]

    Permalink

  44. def lookupRestrictionBy(axs: Set[OWLSubClassOfAxiom], f: (OWLObjectProperty) ⇒ Boolean, r: (OWLClass) ⇒ Boolean): Option[OWLSubClassOfAxiom]

    Permalink

  45. def lookupSupConceptualRelationship(axs: Set[OWLSubClassOfAxiom]): Iterable[(OWLSubClassOfAxiom, ConceptualRelationship)]

    Permalink

  46. def lookupSupConceptualRelationshipTriples(o_sub: OWLClass, axs: Set[OWLSubClassOfAxiom]): Option[Vector[(ConceptualRelationship, OWLSubClassOfAxiom, ConceptualRelationship)]]

    Permalink

  47. def lookupUniversalEntityRestriction(ax: OWLSubClassOfAxiom): Option[ResolvableEntityRestriction]

    Permalink

  48. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  49. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  50. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  51. def partitionResolvableConceptualRelationshipSubClassAxioms(ont: OWLOntology)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, Vector[ResolvableConceptualRelationshipSpecialization]]

    Permalink

    returns

    A triple: Resolved, Unresolved, Remaining

  52. val reifiedRelationshipRestrictions: Map[OWLClass, ReifiedRelationshipRestriction]

    Permalink

    Result

  53. val reifiedRelationshipSources: Map[OWLObjectProperty, ReifiedRelationship]

    Permalink

    Result

  54. val reifiedRelationshipSpecializations: Map[OWLSubClassOfAxiom, ReifiedRelationshipSpecializationAxiom]

    Permalink

    Result

  55. val reifiedRelationshipTargets: Map[OWLObjectProperty, ReifiedRelationship]

    Permalink

    Result

  56. val reifiedRelationships: Map[OWLClass, ReifiedRelationship]

    Permalink

    Result

  57. def removeSubClassAxioms(c: OWLClass, axs: Set[OWLSubClassOfAxiom]): IncrementalResolverState

    Permalink

  58. def resolvableAspectSubClassAxioms: Iterable[ResolvableAspectSpecialization]

    Permalink

  59. def resolvableCardinalityRestrictedAspects(ont: OWLOntology)(implicit store: OWLAPIOMFGraphStore): Iterable[ResolvableCardinalityRestriction[AspectKind]]

    Permalink

  60. def resolvableCardinalityRestrictedConcepts(ont: OWLOntology)(implicit store: OWLAPIOMFGraphStore): Iterable[ResolvableCardinalityRestriction[ConceptKind]]

    Permalink

  61. def resolvableCardinalityRestrictedReifiedRelationships(ont: OWLOntology)(implicit store: OWLAPIOMFGraphStore): Iterable[ResolvableCardinalityRestriction[ConceptualRelationship]]

    Permalink

  62. def resolvableConceptSubClassAxioms: Iterable[ResolvableConceptSpecialization]

    Permalink

  63. def resolvableConceptualRelationshipSubClassAxiom(ont: OWLOntology, cr_sub: ConceptualRelationship, cr_sup: ConceptualRelationship, ax: OWLSubClassOfAxiom, axs: Set[OWLSubClassOfAxiom])(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  64. def resolvableConceptualRelationshipSubClassAxiom1(ax: OWLSubClassOfAxiom, rr_sub: ReifiedRelationship, rr_sup: ReifiedRelationship): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  65. def resolvableConceptualRelationshipSubClassAxiom2(ax: OWLSubClassOfAxiom, rr_sub: ReifiedRelationship, rr_sup: ReifiedRelationshipRestriction)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  66. def resolvableConceptualRelationshipSubClassAxiom3(ax: OWLSubClassOfAxiom, rr_sub: ReifiedRelationship, rr_sup: CardinalityRestrictedReifiedRelationship)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  67. def resolvableConceptualRelationshipSubClassAxiom4(axs: Set[OWLSubClassOfAxiom], ax: OWLSubClassOfAxiom, rr_sub: ReifiedRelationshipRestriction, rr_sup: ReifiedRelationship)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  68. def resolvableConceptualRelationshipSubClassAxiom5(axs: Set[OWLSubClassOfAxiom], ax: OWLSubClassOfAxiom, rr_sub: ReifiedRelationshipRestriction, rr_sup: ReifiedRelationshipRestriction)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  69. def resolvableConceptualRelationshipSubClassAxiom6(axs: Set[OWLSubClassOfAxiom], ax: OWLSubClassOfAxiom, rr_sub: ReifiedRelationshipRestriction, rr_sup: CardinalityRestrictedReifiedRelationship)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  70. def resolvableConceptualRelationshipSubClassAxiom7(axs: Set[OWLSubClassOfAxiom], ax: OWLSubClassOfAxiom, rr_sub: CardinalityRestrictedReifiedRelationship, rr_sup: ReifiedRelationship)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  71. def resolvableConceptualRelationshipSubClassAxiom8(axs: Set[OWLSubClassOfAxiom], ax: OWLSubClassOfAxiom, rr_sub: CardinalityRestrictedReifiedRelationship, rr_sup: ReifiedRelationshipRestriction)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  72. def resolvableConceptualRelationshipSubClassAxiom9(axs: Set[OWLSubClassOfAxiom], ax: OWLSubClassOfAxiom, rr_sub: CardinalityRestrictedReifiedRelationship, rr_sup: CardinalityRestrictedReifiedRelationship)(implicit store: OWLAPIOMFGraphStore): ValidationNel[String, ResolvableConceptualRelationshipSpecialization]

    Permalink

  73. def resolvableConceptualRelationshipSubClassAxioms(ont: OWLOntology)(implicit store: OWLAPIOMFGraphStore): Vector[ResolvableConceptualRelationshipSpecialization]

    Permalink

  74. def resolvableDataRelationshipsFromEntity2Scalars(ont: OWLOntology): Iterable[ResolvableDataRelationshipsFromEntity2Scalar]

    Permalink

  75. def resolvableEntityScalarDataPropertyExistentialRestrictionAxioms: Iterable[ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom]

    Permalink

  76. def resolvableEntityScalarDataPropertyParticularRestrictionAxioms: Iterable[ResolvableEntityScalarDataPropertyParticularRestrictionAxiom]

    Permalink

  77. def resolvableEntityScalarDataPropertyUniversalRestrictionAxioms: Iterable[ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom]

    Permalink

  78. def resolvableEntityScalarSubDataPropertyAxioms: Iterable[ResolvableEntityScaladSubDataPropertyAxiom]

    Permalink

  79. def resolvableExistentialEntityRestrictionAxioms: Iterable[ResolvableEntityRestriction]

    Permalink

  80. def resolvableROPs(ont: OWLOntology): Iterable[ResolvableROPTuple]

    Permalink

  81. def resolvableReifiedRelationshipRestrictionSubClassAxioms(implicit store: OWLAPIOMFGraphStore): Iterable[ResolvableReifiedRelationshipRestrictionSpecialization]

    Permalink

  82. def resolvableUOPs(ont: OWLOntology): Iterable[ResolvableUOPTuple]

    Permalink

  83. def resolvableUniversalEntityRestrictionAxioms: Iterable[ResolvableEntityRestriction]

    Permalink

  84. def resolvableUnreifiedRelationshipSpecializationAxioms: Iterable[ResolvableUnreifiedRelationshipSpecialization]

    Permalink

  85. val restrictableRelationships: Map[OWLObjectProperty, RestrictableRelationship]

    Permalink

    Input & Result

  86. val rootCharacterizedEntityRelationships: Map[ConceptualRelationship, Set[_ <: CharacterizedEntityRelationship]]

    Permalink

    Result

  87. val sourceROPs: Set[ROPInfo]

    Permalink

    Empty on successful resolution

  88. def splitWarningsAndErrors()(implicit ops: OWLAPIOMFOps): (IncrementalResolverState, IncrementalResolverState)

    Permalink

  89. val subClassAxioms: Map[OWLClass, Set[OWLSubClassOfAxiom]]

    Permalink

    Empty on successful resolution

  90. val subDataPropertyAxioms: Set[(OWLDataProperty, OWLDataProperty)]

    Permalink

    Empty on successful resolution

  91. val subEntityScalarDataProperties: Map[(OWLDataProperty, OWLDataProperty), SubDataPropertyOfAxiom]

    Permalink

    Result

  92. val subObjectProperties: Map[(OWLObjectProperty, OWLObjectProperty), SubObjectPropertyOfAxiom]

    Permalink

    Result

  93. val subObjectPropertyAxioms: SortedSet[(OWLObjectProperty, OWLObjectProperty)]

    Permalink

    Empty on successful resolution

  94. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  95. val targetROPs: Set[ROPInfo]

    Permalink

    Empty on successful resolution

  96. def toString(): String

    Permalink
    Definition Classes
    IncrementalResolverState → AnyRef → Any

  97. val universalRestrictionAxioms: Map[OWLSubClassOfAxiom, EntityUniversalRestrictionAxiom]

    Permalink

    Result

  98. val unreifiedObjectPropertyOPs: Set[(OWLClass, OWLObjectProperty, OWLClass)]

    Permalink

    Empty on successful resolution

  99. val unreifiedRelationships: Map[OWLObjectProperty, UnreifiedRelationship]

    Permalink

    Result

  100. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  101. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  102. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped