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
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