BundleResolverHelper

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

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

   

   Definition Classes

   AnyRef → Any

4. val LOG: Boolean

   

   Definition Classes

   TerminologyBoxResolverHelper

5. val LOG1: Boolean

   

   Definition Classes

   TerminologyBoxResolverHelper

6. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

7. def chainToString(chain: (OWLObjectProperty, OWLObjectProperty, OWLObjectProperty)): String

   

   Definition Classes

   TerminologyBoxResolverHelper

8. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

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

   

   Definition Classes

   AnyRef

10. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

11. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

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

    

    Definition Classes

    AnyRef → Any

13. val getOntologyIRI: IRI

    

    Definition Classes

    TerminologyBoxResolverHelper

14. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

15. val importClosure: Set[TerminologyBox]

    

    Definition Classes

    TerminologyBoxResolverHelper

16. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

18. final def notify(): Unit

    

    Definition Classes

    AnyRef

19. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

20. val om: OntologyMapping

    

    Definition Classes

    BundleResolverHelper → TerminologyBoxResolverHelper

21. val omfStore: OWLAPIOMFGraphStore

    

    Definition Classes

    BundleResolverHelper → TerminologyBoxResolverHelper

22. val ont: OWLOntology

    

    Definition Classes

    BundleResolverHelper → TerminologyBoxResolverHelper

23. val ontOps: OWLOntologyOps

    

    Definition Classes

    BundleResolverHelper → TerminologyBoxResolverHelper

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

    

    Definition Classes

    TerminologyBoxResolverHelper

25. val provenance: String

    

    Definition Classes

    TerminologyBoxResolverHelper

26. final def reorderAtoms(v1: SWRLIArgument, cs: Set[SWRLClassAtom], ps: Set[SWRLObjectPropertyAtom], v2: SWRLIArgument, as: Seq[SWRLAtom]): Option[Seq[SWRLAtom]]

    

    Attributes

    protected

    Definition Classes

    TerminologyBoxResolverHelper

    Annotations

    @tailrec()

27. def resolveAspectKindCIRIs(entitySubClasses: NodeSet[OWLClass], tCs: Set[OWLClass]): Map[IRI, OWLClass]

    

    Definition Classes

    TerminologyBoxResolverHelper

28. def resolveBodyAtom(atom: SWRLAtom, rule: Option[ChainRule], previousSegment: Option[RuleBodySegment], s: IncrementalResolverState)(implicit store: OWLAPIOMFGraphStore): \/[Set[Throwable], RuleBodySegment]

    

    Definition Classes

    TerminologyBoxResolverHelper

29. def resolveConceptCIRIs(entitySubClasses: NodeSet[OWLClass], tCs: Set[OWLClass]): Map[IRI, OWLClass]

    

    Definition Classes

    TerminologyBoxResolverHelper

30. def resolveConceptRelationshipCIRIs(conceptRelationshipKindSubClasses: NodeSet[OWLClass], tCs: Set[OWLClass]): Map[IRI, OWLClass]

    

    Definition Classes

    TerminologyBoxResolverHelper

31. def resolveDataPropertyDPIRIs(subDPs: NodeSet[OWLDataProperty], tDPs: Set[OWLDataProperty])(implicit reasoner: OWLReasoner): Set[DOPInfo]

    

    Definition Classes

    TerminologyBoxResolverHelper

32. def resolveDomainRangeForObjectProperties(subOPs: NodeSet[OWLObjectPropertyExpression], tOPs: Set[OWLObjectProperty], ignore: Set[OWLObjectProperty] = Set.empty)(implicit reasoner: OWLReasoner): Set[ROPInfo]

    

    Definition Classes

    TerminologyBoxResolverHelper

33. final def resolveEntityDefinitionsForRelationshipsRestrictionsAndSpecializations(current: \/[Set[Throwable], IncrementalResolverState]): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

    Annotations

    @tailrec()

34. def resolveImplicationRule(current: \/[Set[Throwable], IncrementalResolverState], r: SWRLRule): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

35. def resolveReifiedStructuredDataPropertyCIRIs(reifiedStructuredDataPropertySubClasses: NodeSet[OWLClass], tCs: Set[OWLClass]): Map[IRI, OWLClass]

    

    Definition Classes

    TerminologyBoxResolverHelper

36. def resolveRule(hs: List[SWRLAtom], bs: Seq[SWRLAtom], vs: Seq[SWRLVariable]): Option[(SWRLAtom, Seq[SWRLAtom])]

    

    Attributes

    protected

    Definition Classes

    TerminologyBoxResolverHelper

37. def resolveStructuredDatatypeCIRIs(structuredDatatypeSubClasses: NodeSet[OWLClass], tCs: Set[OWLClass]): Map[IRI, OWLClass]

    

    Definition Classes

    TerminologyBoxResolverHelper

38. def resolveThingCIRIs(thingSubClasses: NodeSet[OWLClass], tCs: Set[OWLClass]): Map[IRI, OWLClass]

    

    Definition Classes

    TerminologyBoxResolverHelper

39. def ropInfoToString(ropInfo: ROPInfo): String

    

    Definition Classes

    TerminologyBoxResolverHelper

40. implicit val store: OWLAPIOMFGraphStore

    

    Definition Classes

    TerminologyBoxResolverHelper

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

    

    Definition Classes

    AnyRef

42. val tboxG: MutableBundle

    

    Definition Classes

    BundleResolverHelper → TerminologyBoxResolverHelper

43. def toString(): String

    

    Definition Classes

    AnyRef → Any

44. def updateAspectSubClassAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableAspectSpecialization): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

45. def updateCardinalityRestrictedAspects(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableCardinalityRestriction[AspectKind]): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

46. def updateCardinalityRestrictedConcepts(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableCardinalityRestriction[ConceptKind]): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

47. def updateCardinalityRestrictedReifiedRelationships(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableCardinalityRestriction[ConceptualRelationship]): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

48. def updateConceptSubClassAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableConceptSpecialization): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

49. def updateDataRelationshipsFromEntity2Scalars(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableDataRelationshipsFromEntity2Scalar): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

50. def updateEntityScalarDataPropertyExistentialRestrictionAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

51. def updateEntityScalarDataPropertyParticularRestrictionAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableEntityScalarDataPropertyParticularRestrictionAxiom): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

52. def updateEntityScalarDataPropertyUniversalRestrictionAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableEntityScalarDataPropertyDataRangeRestrictionAxiom): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

53. def updateEntityScalarSubDataPropertyAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableEntityScaladSubDataPropertyAxiom): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

54. def updateExistentialEntityRestrictionAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableEntityRestriction): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

55. def updateReifiedRelationshipRestrictionSubClassAxioms(c: OWLClass, rrr: ReifiedRelationshipRestriction)(current: \/[Set[Throwable], IncrementalResolverState], specialization: (ConceptualRelationship, Set[OWLSubClassOfAxiom])): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

56. def updateReifiedRelationshipRestrictionSubClassAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableReifiedRelationshipRestrictionSpecialization): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

57. def updateReifiedRelationshipSubClassAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableConceptualRelationshipSpecialization): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

58. def updateReifiedRelationships(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableROPTuple)(implicit store: OWLAPIOMFGraphStore): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

59. def updateUniversalEntityRestrictionAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableEntityRestriction): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

60. def updateUnreifiedRelationshipSpecializationAxioms(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableUnreifiedRelationshipSpecialization): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

61. def updateUnreifiedRelationships(current: \/[Set[Throwable], IncrementalResolverState], t: ResolvableUOPTuple)(implicit store: OWLAPIOMFGraphStore): \/[Set[Throwable], IncrementalResolverState]

    

    Definition Classes

    TerminologyBoxResolverHelper

62. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )