Extent2Tables

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. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

5. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6. def convert(e: Extent): OMLSpecificationTables

   

7. def convertAnnotationProperties(e: Extent)(acc: Seq[AnnotationProperty], x: (Module, Set[AnnotationProperty])): Seq[AnnotationProperty]

   

8. def convertAnnotationPropertyValue(apv: AnnotationPropertyValue): AnnotationPropertyValue

   

9. def convertAnonymousConceptUnionAxioms(acc: Seq[AnonymousConceptUnionAxiom], x: (TerminologyBox, Set[TerminologyBundleStatement]))(implicit ext: Extent): Seq[AnonymousConceptUnionAxiom]

   

10. def convertAspectSpecializationAxioms(acc: Seq[AspectSpecializationAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[AspectSpecializationAxiom]

    

11. def convertAspects(acc: Seq[Aspect], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[Aspect]

    

12. def convertBinaryScalarRestrictions(acc: Seq[BinaryScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[BinaryScalarRestriction]

    

13. def convertBundle(acc: Seq[Bundle], x: Bundle): Seq[Bundle]

    

14. def convertBundledTerminologyAxioms(acc: Seq[BundledTerminologyAxiom], x: (Bundle, Set[TerminologyBundleAxiom])): Seq[BundledTerminologyAxiom]

    

15. def convertCardinalityRestrictedAspects(acc: Seq[CardinalityRestrictedAspect], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[CardinalityRestrictedAspect]

    

16. def convertCardinalityRestrictedConcepts(acc: Seq[CardinalityRestrictedConcept], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[CardinalityRestrictedConcept]

    

17. def convertCardinalityRestrictedReifiedRelationships(acc: Seq[CardinalityRestrictedReifiedRelationship], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[CardinalityRestrictedReifiedRelationship]

    

18. def convertChainRules(acc: Seq[ChainRule], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ChainRule]

    

19. def convertConceptDesignationTerminologyAxioms(acc: Seq[ConceptDesignationTerminologyAxiom], x: (TerminologyBox, Set[TerminologyBoxAxiom])): Seq[ConceptDesignationTerminologyAxiom]

    

20. def convertConceptInstances(acc: Seq[ConceptInstance], x: (ConceptInstance, DescriptionBox)): Seq[ConceptInstance]

    

21. def convertConceptSpecializationAxioms(acc: Seq[ConceptSpecializationAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ConceptSpecializationAxiom]

    

22. def convertConcepts(acc: Seq[Concept], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[Concept]

    

23. def convertDescriptionBox(acc: Seq[DescriptionBox], x: DescriptionBox): Seq[DescriptionBox]

    

24. def convertDescriptionBoxExtendsClosedWorldDefinitions(acc: Seq[DescriptionBoxExtendsClosedWorldDefinitions], x: (DescriptionBoxExtendsClosedWorldDefinitions, DescriptionBox)): Seq[DescriptionBoxExtendsClosedWorldDefinitions]

    

25. def convertDescriptionBoxRefinements(acc: Seq[DescriptionBoxRefinement], x: (DescriptionBoxRefinement, DescriptionBox)): Seq[DescriptionBoxRefinement]

    

26. def convertEntityExistentialRestrictionAxioms(acc: Seq[EntityExistentialRestrictionAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityExistentialRestrictionAxiom]

    

27. def convertEntityScalarDataProperties(acc: Seq[EntityScalarDataProperty], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityScalarDataProperty]

    

28. def convertEntityScalarDataPropertyExistentialRestrictionAxioms(acc: Seq[EntityScalarDataPropertyExistentialRestrictionAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityScalarDataPropertyExistentialRestrictionAxiom]

    

29. def convertEntityScalarDataPropertyParticularRestrictionAxioms(acc: Seq[EntityScalarDataPropertyParticularRestrictionAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityScalarDataPropertyParticularRestrictionAxiom]

    

30. def convertEntityScalarDataPropertyUniversalRestrictionAxioms(acc: Seq[EntityScalarDataPropertyUniversalRestrictionAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityScalarDataPropertyUniversalRestrictionAxiom]

    

31. def convertEntityStructuredDataProperties(acc: Seq[EntityStructuredDataProperty], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityStructuredDataProperty]

    

32. def convertEntityStructuredDataPropertyParticularRestrictionAxioms(acc: Seq[EntityStructuredDataPropertyParticularRestrictionAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityStructuredDataPropertyParticularRestrictionAxiom]

    

33. def convertEntityUniversalRestrictionAxioms(acc: Seq[EntityUniversalRestrictionAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[EntityUniversalRestrictionAxiom]

    

34. def convertForwardProperties(acc: Seq[ForwardProperty], x: (ReifiedRelationship, ForwardProperty)): Seq[ForwardProperty]

    

35. def convertIRIScalarRestrictions(acc: Seq[IRIScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[IRIScalarRestriction]

    

36. def convertInstanceRelationshipEnumerationRestrictions(acc: Seq[InstanceRelationshipEnumerationRestriction], x: (InstanceRelationshipEnumerationRestriction, DescriptionBox)): Seq[InstanceRelationshipEnumerationRestriction]

    

37. def convertInstanceRelationshipExistentialRangeRestrictions(acc: Seq[InstanceRelationshipExistentialRangeRestriction], x: (InstanceRelationshipExistentialRangeRestriction, DescriptionBox)): Seq[InstanceRelationshipExistentialRangeRestriction]

    

38. def convertInstanceRelationshipOneOfRestrictions(e: Extent)(acc: Seq[InstanceRelationshipOneOfRestriction], x: (InstanceRelationshipEnumerationRestriction, DescriptionBox)): Seq[InstanceRelationshipOneOfRestriction]

    

39. def convertInstanceRelationshipUniversalRangeRestrictions(acc: Seq[InstanceRelationshipUniversalRangeRestriction], x: (InstanceRelationshipUniversalRangeRestriction, DescriptionBox)): Seq[InstanceRelationshipUniversalRangeRestriction]

    

40. def convertInstanceRelationshipValueRestrictions(acc: Seq[InstanceRelationshipValueRestriction], x: (InstanceRelationshipValueRestriction, DescriptionBox)): Seq[InstanceRelationshipValueRestriction]

    

41. def convertInverseProperties(acc: Seq[InverseProperty], x: (ReifiedRelationship, InverseProperty)): Seq[InverseProperty]

    

42. def convertNumericScalarRestrictions(acc: Seq[NumericScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[NumericScalarRestriction]

    

43. def convertPlainLiteralScalarRestrictions(acc: Seq[PlainLiteralScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[PlainLiteralScalarRestriction]

    

44. def convertReifiedRelationshipInstanceDomains(acc: Seq[ReifiedRelationshipInstanceDomain], x: (ReifiedRelationshipInstanceDomain, DescriptionBox)): Seq[ReifiedRelationshipInstanceDomain]

    

45. def convertReifiedRelationshipInstanceRanges(acc: Seq[ReifiedRelationshipInstanceRange], x: (ReifiedRelationshipInstanceRange, DescriptionBox)): Seq[ReifiedRelationshipInstanceRange]

    

46. def convertReifiedRelationshipInstances(acc: Seq[ReifiedRelationshipInstance], x: (ReifiedRelationshipInstance, DescriptionBox)): Seq[ReifiedRelationshipInstance]

    

47. def convertReifiedRelationshipRestrictions(acc: Seq[ReifiedRelationshipRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ReifiedRelationshipRestriction]

    

48. def convertReifiedRelationshipSpecializationAxioms(acc: Seq[ReifiedRelationshipSpecializationAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ReifiedRelationshipSpecializationAxiom]

    

49. def convertReifiedRelationships(acc: Seq[ReifiedRelationship], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ReifiedRelationship]

    

50. def convertRestrictionScalarDataPropertyValues(e: Extent)(acc: Seq[RestrictionScalarDataPropertyValue], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[RestrictionScalarDataPropertyValue]

    

51. def convertRestrictionStructuredDataPropertyTuples(e: Extent)(acc: Seq[RestrictionStructuredDataPropertyTuple], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[RestrictionStructuredDataPropertyTuple]

    

52. def convertRootConceptTaxonomyAxioms(acc: Seq[RootConceptTaxonomyAxiom], x: (Bundle, Set[TerminologyBundleStatement])): Seq[RootConceptTaxonomyAxiom]

    

53. def convertRuleBodySegments(e: Extent)(acc: Seq[RuleBodySegment], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[RuleBodySegment]

    

54. def convertScalarDataProperties(acc: Seq[ScalarDataProperty], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ScalarDataProperty]

    

55. def convertScalarDataPropertyValues(acc: Seq[ScalarDataPropertyValue], x: (SingletonInstanceStructuredDataPropertyContext, Set[ScalarDataPropertyValue])): Seq[ScalarDataPropertyValue]

    

56. def convertScalarOneOfLiteralAxioms(acc: Seq[ScalarOneOfLiteralAxiom], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ScalarOneOfLiteralAxiom]

    

57. def convertScalarOneOfRestrictions(acc: Seq[ScalarOneOfRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[ScalarOneOfRestriction]

    

58. def convertScalars(acc: Seq[Scalar], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[Scalar]

    

59. def convertSegmentPredicates(e: Extent)(acc: Seq[SegmentPredicate], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[SegmentPredicate]

    

60. def convertSingletonScalarDataPropertyValues(acc: Seq[SingletonInstanceScalarDataPropertyValue], x: (DescriptionBox, Set[SingletonInstanceScalarDataPropertyValue])): Seq[SingletonInstanceScalarDataPropertyValue]

    

61. def convertSingletonStructuredDataPropertyValues(acc: Seq[SingletonInstanceStructuredDataPropertyValue], x: (DescriptionBox, Set[SingletonInstanceStructuredDataPropertyValue])): Seq[SingletonInstanceStructuredDataPropertyValue]

    

62. def convertSpecificDisjointConceptAxioms(acc: Seq[SpecificDisjointConceptAxiom], x: (Bundle, Set[TerminologyBundleStatement]))(implicit ext: Extent): Seq[SpecificDisjointConceptAxiom]

    

63. def convertStringScalarRestrictions(acc: Seq[StringScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[StringScalarRestriction]

    

64. def convertStructuredDataProperties(acc: Seq[StructuredDataProperty], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[StructuredDataProperty]

    

65. def convertStructuredDataPropertyTuples(acc: Seq[StructuredDataPropertyTuple], x: (SingletonInstanceStructuredDataPropertyContext, Set[StructuredDataPropertyTuple])): Seq[StructuredDataPropertyTuple]

    

66. def convertStructures(acc: Seq[Structure], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[Structure]

    

67. def convertSynonymScalarRestrictions(acc: Seq[SynonymScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[SynonymScalarRestriction]

    

68. def convertTerminologyExtensionAxioms(acc: Seq[TerminologyExtensionAxiom], x: (TerminologyBox, Set[TerminologyBoxAxiom])): Seq[TerminologyExtensionAxiom]

    

69. def convertTerminologyGraph(acc: Seq[TerminologyGraph], x: TerminologyGraph): Seq[TerminologyGraph]

    

70. def convertTerminologyNestingAxioms(acc: Seq[TerminologyNestingAxiom], x: (TerminologyBox, Set[TerminologyBoxAxiom])): Seq[TerminologyNestingAxiom]

    

71. def convertTimeScalarRestrictions(acc: Seq[TimeScalarRestriction], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[TimeScalarRestriction]

    

72. def convertUnreifiedRelationshipInstanceTuples(acc: Seq[UnreifiedRelationshipInstanceTuple], x: (UnreifiedRelationshipInstanceTuple, DescriptionBox)): Seq[UnreifiedRelationshipInstanceTuple]

    

73. def convertUnreifiedRelationships(acc: Seq[UnreifiedRelationship], x: (TerminologyBox, Set[TerminologyBoxStatement])): Seq[UnreifiedRelationship]

    

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

    

    Definition Classes

    AnyRef

75. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

76. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

78. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

79. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

81. final def notify(): Unit

    

    Definition Classes

    AnyRef

82. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

84. def toString(): String

    

    Definition Classes

    AnyRef → Any

85. implicit def toUUIDString[Tag](uuid: @@[UUID, Tag]): @@[String, Tag]

    

    Convenience conversion of UUID @@ Tag to String @@ Tag for a given Tag.

    Convenience conversion of UUID @@ Tag to String @@ Tag for a given Tag.

    Tag

    Tag type

    uuid

    Tagged UUID

    returns

    The String @@ Tag representation of uuid.

86. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )