Object/Class

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

TerminologyBoxResolverHelper

Related Docs: class TerminologyBoxResolverHelper | package owlapi

Permalink

object TerminologyBoxResolverHelper

Linear Supertypes
AnyRef, Any
Content Hierarchy
Resolvable_CRRR_CRRR_SpecializationResolvable_CRRR_RRR_SpecializationResolvable_CRRR_RR_SpecializationResolvable_RRR_CRRR_SpecializationResolvable_RRR_RRR_SpecializationResolvable_RRR_RR_SpecializationResolvable_RR_CRRR_SpecializationResolvable_RR_RRR_SpecializationResolvable_RR_RR_SpecializationResolvableConceptualRelationshipSpecialization
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TerminologyBoxResolverHelper
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Chain = (OWLObjectProperty, OWLObjectProperty, OWLObjectProperty)

    Permalink

  2. type Chains = Set[Chain]

    Permalink

  3. type DOPInfo = (OWLDataProperty, OWLClass, OWLDatatype)

    Permalink

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

    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

  5. type ROPInfo = (IRI, OWLObjectProperty, OWLClass, OWLClass, Option[OWLObjectProperty])

    Permalink

  6. case class ResolvableAspectSpecialization(c: OWLClass, ax: OWLSubClassOfAxiom, sub: Entity, sup: AspectKind) extends Product with Serializable

    Permalink

  7. case class ResolvableCardinalityRestriction[D <: Entity](sub: OWLClass, ax: OWLSubClassOfAxiom, domain: D, restrictionKind: CardinalityRestrictionKind, restrictedRelationship: RestrictableRelationship, restrictedRange: Option[Entity], restrictedCardinality: PositiveIntegerLiteral) extends Product with Serializable

    Permalink

  8. case class ResolvableConceptSpecialization(c: OWLClass, ax: OWLSubClassOfAxiom, sub: ConceptKind, sup: ConceptKind) extends Product with Serializable

    Permalink

  9. sealed trait ResolvableConceptualRelationshipSpecialization extends AnyRef

    Permalink

  10. case class ResolvableDataRelationshipsFromEntity2Scalar(domain: Entity, rel: OWLDataProperty, isIdentityCriteria: Boolean, range: DataRange, tuple: DOPInfo) extends Product with Serializable

    Permalink

  11. case class ResolvableEntityRestriction(ax: OWLSubClassOfAxiom, restrictedDomain: Entity, restrictedRelationship: RestrictableRelationship, restrictedRange: Entity) extends Product with Serializable

    Permalink

  12. case class ResolvableEntityScaladSubDataPropertyAxiom(sub: EntityScalarDataProperty, sup: EntityScalarDataProperty, tuple: (OWLDataProperty, OWLDataProperty)) extends Product with Serializable

    Permalink

  13. case class ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom(ax: OWLSubClassOfAxiom, e: Entity, dp: EntityScalarDataProperty, dr: DataRange) extends Product with Serializable

    Permalink

  14. case class ResolvableEntityScalarDataPropertyParticularRestrictionAxiom(ax: OWLSubClassOfAxiom, e: Entity, dp: EntityScalarDataProperty, literalValue: LiteralValue, valueType: Option[DataRange]) extends Product with Serializable

    Permalink

  15. case class ResolvableROPTuple(rc: OWLClass, rop: ROPInfo, r_sourceDef: Entity, sourceRop: ROPInfo, r_targetDef: Entity, targetRop: ROPInfo, chain: Chain, characteristics: Iterable[RelationshipCharacteristics]) extends Product with Serializable

    Permalink

  16. case class ResolvableReifiedRelationshipRestrictionSpecialization(iri: IRI, c: OWLClass, source: Entity, target: Entity, specializations: Iterable[(ConceptualRelationship, Set[OWLSubClassOfAxiom])]) extends Product with Serializable

    Permalink

  17. case class ResolvableUOPTuple(domain: Entity, range: Entity, tuple: (OWLClass, OWLObjectProperty, OWLClass), characteristics: Iterable[RelationshipCharacteristics]) extends Product with Serializable

    Permalink

  18. case class ResolvableUnreifiedRelationshipSpecialization(sub: UnreifiedRelationship, sup: UnreifiedRelationship, tuple: (OWLObjectProperty, OWLObjectProperty)) extends Product with Serializable

    Permalink

  19. case class Resolvable_CRRR_CRRR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: CardinalityRestrictedReifiedRelationship, sup: CardinalityRestrictedReifiedRelationship) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  20. case class Resolvable_CRRR_RRR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: CardinalityRestrictedReifiedRelationship, sup: ReifiedRelationshipRestriction) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  21. case class Resolvable_CRRR_RR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: CardinalityRestrictedReifiedRelationship, sup: ReifiedRelationship) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  22. case class Resolvable_RRR_CRRR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: ReifiedRelationshipRestriction, sup: CardinalityRestrictedReifiedRelationship) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  23. case class Resolvable_RRR_RRR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: ReifiedRelationshipRestriction, sup: ReifiedRelationshipRestriction) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  24. case class Resolvable_RRR_RR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: ReifiedRelationshipRestriction, sup: ReifiedRelationship) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  25. case class Resolvable_RR_CRRR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: ReifiedRelationship, sup: CardinalityRestrictedReifiedRelationship) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  26. case class Resolvable_RR_RRR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: ReifiedRelationship, sup: ReifiedRelationshipRestriction) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

  27. case class Resolvable_RR_RR_Specialization(c: OWLClass, axs: Set[OWLSubClassOfAxiom], oxs: Set[(OWLObjectProperty, OWLObjectProperty)], sub: ReifiedRelationship, sup: ReifiedRelationship) extends ResolvableConceptualRelationshipSpecialization with Product with Serializable

    Permalink

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. object Resolvable_CRRR_CRRR_Specialization extends Serializable

    Permalink

  5. object Resolvable_CRRR_RRR_Specialization extends Serializable

    Permalink

  6. object Resolvable_CRRR_RR_Specialization extends Serializable

    Permalink

  7. object Resolvable_RRR_CRRR_Specialization extends Serializable

    Permalink

  8. object Resolvable_RRR_RRR_Specialization extends Serializable

    Permalink

  9. object Resolvable_RRR_RR_Specialization extends Serializable

    Permalink

  10. object Resolvable_RR_CRRR_Specialization extends Serializable

    Permalink

  11. object Resolvable_RR_RRR_Specialization extends Serializable

    Permalink

  12. object Resolvable_RR_RR_Specialization extends Serializable

    Permalink

  13. def asAspectKind(e: Entity): Option[AspectKind]

    Permalink

  14. def asConceptKind(e: Entity): Option[ConceptKind]

    Permalink

  15. def asConceptualRelationship(e: Entity): Option[ConceptualRelationship]

    Permalink

  16. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  17. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    AnyRef

  19. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  20. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  22. def hasRelationshipCharacteristic(rc: RelationshipCharacteristics, required: Map[OWLObjectProperty, Boolean], optional: Option[(OWLObjectProperty, Boolean)] = None): Option[RelationshipCharacteristics]

    Permalink

  23. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  24. def isChainWarning(chain: Chain)(implicit ops: OWLAPIOMFOps): Boolean

    Permalink

  25. def isDOPWarning(dop: DOPInfo)(implicit ops: OWLAPIOMFOps): Boolean

    Permalink

  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  27. def isROPWarning(rop: ROPInfo)(implicit ops: OWLAPIOMFOps): Boolean

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. def owlDataPropertyOfPE(de: Option[OWLDataPropertyExpression]): Option[OWLDataProperty]

    Permalink

  32. def owlObjectPropertyOfPE(oe: Option[OWLObjectPropertyExpression]): Option[OWLObjectProperty]

    Permalink

  33. def owlclassOfCE(ce: Option[OWLClassExpression]): Option[OWLClass]

    Permalink

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

    Permalink
    Definition Classes
    AnyRef

  35. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  36. final def wait(): Unit

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

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

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

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

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

Inherited from AnyRef

Inherited from Any

Ungrouped