descriptions

Type Members

1. case class ConceptInstance(iri: IRI, uuid: ConceptInstanceUUID, name: LocalName, ni: OWLNamedIndividual, conceptType: ConceptKind) extends ConceptualEntitySingletonInstance with Product with Serializable

   

2. abstract class ConceptualEntitySingletonInstance extends TerminologyInstanceAssertion with Resource

   

3. trait DescriptionBox extends Module

   

4. case class DescriptionBoxExtendsClosedWorldDefinitions(uuid: DescriptionBoxExtendsClosedWorldDefinitionsUUID, sourceModule: DescriptionBoxUUID, targetModuleIRI: IRI) extends DescriptionBoxRelationship with Product with Serializable

   
   sourceModule

   source extending DescriptionBox

   targetModuleIRI

   target closed-world definitions TerminologyBox

5. case class DescriptionBoxRefinement(uuid: DescriptionBoxRefinementUUID, sourceModule: DescriptionBoxUUID, targetModuleIRI: IRI) extends DescriptionBoxRelationship with Product with Serializable

   
   sourceModule

   source refining DescriptionBox

   targetModuleIRI

   targetrefined DescriptionBox

6. abstract class DescriptionBoxRelationship extends ModuleEdge

   

7. case class ImmutableDescriptionBox(sig: ImmutableDescriptionBoxSignature[OWLAPIOMF], ont: OWLOntology, backbone: OMFBackbone)(implicit ops: OWLAPIOMFOps) extends DescriptionBox with ImmutableModule with Product with Serializable

   

8. case class InstanceRelationshipEnumerationRestriction(uuid: InstanceRelationshipEnumerationRestrictionUUID, restrictedRelationship: RestrictableRelationship, domain: ConceptualEntitySingletonInstance, references: Vector[ConceptualEntitySingletonInstance]) extends TerminologyInstanceAssertion with Product with Serializable

   

9. case class InstanceRelationshipExistentialRangeRestriction(uuid: InstanceRelationshipExistentialRangeRestrictionUUID, restrictedRelationship: RestrictableRelationship, domain: ConceptualEntitySingletonInstance, range: Entity) extends TerminologyInstanceAssertion with Product with Serializable

   

10. case class InstanceRelationshipUniversalRangeRestriction(uuid: InstanceRelationshipUniversalRangeRestrictionUUID, restrictedRelationship: RestrictableRelationship, domain: ConceptualEntitySingletonInstance, range: Entity) extends TerminologyInstanceAssertion with Product with Serializable

    

11. case class InstanceRelationshipValueRestriction(uuid: InstanceRelationshipValueRestrictionUUID, restrictedRelationship: RestrictableRelationship, domain: ConceptualEntitySingletonInstance, range: ConceptualEntitySingletonInstance) extends TerminologyInstanceAssertion with Product with Serializable

    

12. type Mutable2ImmutableDescriptionMap = Map[MutableDescriptionBox, ImmutableDescriptionBox]

    

13. case class MutableDescriptionBox(sig: MutableDescriptionBoxSignature[OWLAPIOMF], ont: OWLOntology, backbone: OMFBackbone)(implicit ops: OWLAPIOMFOps) extends DescriptionBox with MutableModule with Product with Serializable

    

14. case class ReifiedRelationshipInstance(iri: IRI, uuid: ReifiedRelationshipInstanceUUID, name: LocalName, ni: OWLNamedIndividual, relationshipType: ConceptualRelationship) extends ConceptualEntitySingletonInstance with Product with Serializable

    

15. case class ReifiedRelationshipInstanceDomain(uuid: ReifiedRelationshipInstanceDomainUUID, relationshipInstance: ReifiedRelationshipInstance, domain: ConceptualEntitySingletonInstance) extends TerminologyInstanceAssertion with Product with Serializable

    

16. case class ReifiedRelationshipInstanceRange(uuid: ReifiedRelationshipInstanceRangeUUID, relationshipInstance: ReifiedRelationshipInstance, range: ConceptualEntitySingletonInstance) extends TerminologyInstanceAssertion with Product with Serializable

    

17. case class ScalarDataPropertyValue(uuid: ScalarDataPropertyValueUUID, context: SingletonInstanceStructuredDataPropertyContext, dataRelationship: ScalarDataProperty, value: LiteralValue, valueType: Option[DataRange]) extends LogicalElement with Product with Serializable

    

18. case class SingletonInstanceScalarDataPropertyValue(uuid: SingletonInstanceScalarDataPropertyValueUUID, ei: ConceptualEntitySingletonInstance, dataRelationship: EntityScalarDataProperty, value: LiteralValue, valueType: Option[DataRange]) extends TerminologyInstanceAssertion with Product with Serializable

    

19. abstract class SingletonInstanceStructuredDataPropertyContext extends LogicalElement

    

20. case class SingletonInstanceStructuredDataPropertyValue(uuid: SingletonInstanceStructuredDataPropertyValueUUID, ni: OWLNamedIndividual, ei: ConceptualEntitySingletonInstance, structuredDataProperty: EntityStructuredDataProperty) extends SingletonInstanceStructuredDataPropertyContext with ModuleElement with Product with Serializable

    

21. case class StructuredDataPropertyTuple(uuid: StructuredDataPropertyTupleUUID, ni: OWLNamedIndividual, context: SingletonInstanceStructuredDataPropertyContext, structuredDataProperty: StructuredDataProperty) extends SingletonInstanceStructuredDataPropertyContext with Product with Serializable

    

22. trait TerminologyInstanceAssertion extends ModuleElement

    

23. case class UnreifiedRelationshipInstanceTuple(uuid: UnreifiedRelationshipInstanceTupleUUID, unreifiedRelationship: UnreifiedRelationship, domain: ConceptualEntitySingletonInstance, range: ConceptualEntitySingletonInstance) extends TerminologyInstanceAssertion with Product with Serializable