terminologyAxioms

Type Members

1. case class BundledTerminologyAxiom(uuid: BundledTerminologyAxiomUUID, terminologyBundle: BundleUUID, targetModuleIRI: IRI) extends TerminologyAxiom with TerminologyBundleAxiom with Product with Serializable

   
   terminologyBundle

   source Bundle

   targetModuleIRI

   target bundled TerminologyBox

2. case class ConceptDesignationTerminologyAxiom(uuid: ConceptDesignationTerminologyAxiomUUID, graph: TerminologyBoxUUID, designatedConcept: ConceptKind, targetModuleIRI: IRI) extends TerminologyAxiom with TerminologyBoxAxiom with Product with Serializable

   
   graph

   source designation TerminologyBox

   designatedConcept

   target designated Concept

   targetModuleIRI

   target designated TerminologyBox

3. abstract class TerminologyAxiom extends ModuleEdge

   

4. trait TerminologyBoxAxiom extends TerminologyAxiom

   

5. trait TerminologyBundleAxiom extends TerminologyAxiom

   

6. case class TerminologyExtensionAxiom(uuid: TerminologyExtensionAxiomUUID, extendingTerminology: TerminologyBoxUUID, targetModuleIRI: IRI) extends TerminologyAxiom with TerminologyBoxAxiom with Product with Serializable

   
   extendingTerminology

   source extending TerminologyBox

   targetModuleIRI

   target extended TerminologyBox

7. case class TerminologyNestingAxiom(uuid: TerminologyNestingAxiomUUID, nestedTerminology: TerminologyBoxUUID, targetModuleIRI: IRI, nestingContext: ConceptKind) extends TerminologyAxiom with TerminologyBoxAxiom with Product with Serializable

   
   nestedTerminology

   source nested TerminologyBox

   targetModuleIRI

   target nesting TerminologyBox

   nestingContext

   target nesting context Concept