api

Type Members

trait AnnotationProperty extends IntrinsicIdentityKind with NonLogicalElement
trait AnnotationPropertyValue extends ValueCrossReferenceTuple with NonLogicalElement
trait AnonymousConceptUnionAxiom extends DisjointUnionOfConceptsAxiom with ConceptTreeDisjunction
trait Aspect extends AspectKind
trait AspectKind extends Entity with UnaryTermKind
trait AspectSpecializationAxiom extends SpecializationAxiom
trait BinaryScalarRestriction extends RestrictedDataRange
trait Bundle extends TerminologyBox
trait BundledTerminologyAxiom extends TerminologyBundleAxiom
trait CardinalityRestrictedAspect extends AspectKind
trait CardinalityRestrictedConcept extends ConceptKind
trait CardinalityRestrictedReifiedRelationship extends ConceptualRelationship
trait ChainRule extends Rule
trait CharacterizedEntityRelationship extends EntityRelationship
trait Concept extends ConceptKind
trait ConceptDesignationTerminologyAxiom extends TerminologyBoxAxiom
trait ConceptInstance extends ConceptualEntitySingletonInstance
trait ConceptKind extends ConceptualEntity with UnaryTermKind
trait ConceptSpecializationAxiom extends SpecializationAxiom
trait ConceptTreeDisjunction extends ElementCrossReferenceTuple
trait ConceptualEntity extends Entity
trait ConceptualEntitySingletonInstance extends TerminologyInstanceAssertion with Resource
trait ConceptualRelationship extends ConceptualEntity with EntityRelationship
trait CrossReferencabilityKind extends AnyRef
trait CrossReferencableKind extends CrossReferencabilityKind
trait DataRange extends Datatype
trait DataRelationship extends Term with DirectedBinaryRelationshipKind
trait DataRelationshipDomain extends DataRelationship
trait DataRelationshipFromEntity extends DataRelationshipDomain
trait DataRelationshipFromStructure extends DataRelationshipDomain
trait DataRelationshipRange extends DataRelationship
trait DataRelationshipToScalar extends DataRelationshipRange
trait DataRelationshipToStructure extends DataRelationshipRange
trait Datatype extends Term
trait DescriptionBox extends Module
trait DescriptionBoxExtendsClosedWorldDefinitions extends DescriptionBoxRelationship
trait DescriptionBoxRefinement extends DescriptionBoxRelationship
trait DescriptionBoxRelationship extends ModuleEdge
trait DirectedBinaryRelationshipKind extends Term
trait DisjointUnionOfConceptsAxiom extends ElementCrossReferenceTuple
trait ElementCrossReferenceTuple extends ExtrinsicIdentityKind with CrossReferencableKind with LogicalElement
trait Entity extends Term with Predicate
trait EntityExistentialRestrictionAxiom extends EntityRestrictionAxiom
trait EntityRelationship extends Term with DirectedBinaryRelationshipKind
trait EntityRestrictionAxiom extends TermAxiom with ElementCrossReferenceTuple
trait EntityScalarDataProperty extends DataRelationship with DataRelationshipFromEntity with DataRelationshipToScalar
trait EntityScalarDataPropertyExistentialRestrictionAxiom extends EntityScalarDataPropertyRestrictionAxiom with ElementCrossReferenceTuple
trait EntityScalarDataPropertyParticularRestrictionAxiom extends EntityScalarDataPropertyRestrictionAxiom with ValueCrossReferenceTuple
trait EntityScalarDataPropertyRestrictionAxiom extends TermAxiom with ExtrinsicIdentityKind
trait EntityScalarDataPropertyUniversalRestrictionAxiom extends EntityScalarDataPropertyRestrictionAxiom with ElementCrossReferenceTuple
trait EntityStructuredDataProperty extends DataRelationship with DataRelationshipFromEntity with DataRelationshipToStructure
trait EntityStructuredDataPropertyParticularRestrictionAxiom extends EntityStructuredDataPropertyRestrictionAxiom with RestrictionStructuredDataPropertyContext
trait EntityStructuredDataPropertyRestrictionAxiom extends TermAxiom with ElementCrossReferenceTuple
trait EntityUniversalRestrictionAxiom extends EntityRestrictionAxiom
case class Extent(terminologyGraphs: Map[ModuleUUID, TerminologyGraph] = ..., bundles: Map[ModuleUUID, Bundle] = ..., descriptionBoxes: Map[ModuleUUID, DescriptionBox] = ..., annotations: Map[LogicalElement, Set[AnnotationPropertyValue]] = ..., annotationProperties: Map[Module, Set[AnnotationProperty]] = ..., boxAxioms: Map[TerminologyBox, Set[TerminologyBoxAxiom]] = ..., boxStatements: Map[TerminologyBox, Set[TerminologyBoxStatement]] = ..., forwardProperty: Map[ReifiedRelationship, ForwardProperty] = ..., inverseProperty: Map[ReifiedRelationship, InverseProperty] = ..., firstSegment: Map[ChainRule, RuleBodySegment] = ..., predicate: Map[RuleBodySegment, SegmentPredicate] = ..., nextSegment: Map[RuleBodySegment, RuleBodySegment] = ..., structuredDataPropertyRestrictions: Map[RestrictionStructuredDataPropertyContext, Set[RestrictionStructuredDataPropertyTuple]] = ..., scalarDataPropertyRestrictions: Map[RestrictionStructuredDataPropertyContext, Set[RestrictionScalarDataPropertyValue]] = ..., bundleAxioms: Map[Bundle, Set[TerminologyBundleAxiom]] = ..., bundleStatements: Map[Bundle, Set[TerminologyBundleStatement]] = ..., disjunctions: Map[ConceptTreeDisjunction, Set[DisjointUnionOfConceptsAxiom]] = ..., descriptionBoxRefinements: Map[DescriptionBox, Set[DescriptionBoxRefinement]] = ..., closedWorldDefinitions: Map[DescriptionBox, Set[DescriptionBoxExtendsClosedWorldDefinitions]] = ..., conceptInstances: Map[DescriptionBox, Set[ConceptInstance]] = ..., reifiedRelationshipInstances: Map[DescriptionBox, Set[ReifiedRelationshipInstance]] = ..., instanceRelationshipEnumerationRestrictions: Map[DescriptionBox, Set[InstanceRelationshipEnumerationRestriction]] = ..., instanceRelationshipValueRestrictions: Map[DescriptionBox, Set[InstanceRelationshipValueRestriction]] = ..., instanceRelationshipExistentialRangeRestrictions: Map[DescriptionBox, Set[InstanceRelationshipExistentialRangeRestriction]] = ..., instanceRelationshipUniversalRangeRestrictions: Map[DescriptionBox, Set[InstanceRelationshipUniversalRangeRestriction]] = ..., reifiedRelationshipInstanceDomains: Map[DescriptionBox, Set[ReifiedRelationshipInstanceDomain]] = ..., reifiedRelationshipInstanceRanges: Map[DescriptionBox, Set[ReifiedRelationshipInstanceRange]] = ..., unreifiedRelationshipInstanceTuples: Map[DescriptionBox, Set[UnreifiedRelationshipInstanceTuple]] = ..., singletonScalarDataPropertyValues: Map[DescriptionBox, Set[SingletonInstanceScalarDataPropertyValue]] = ..., singletonStructuredDataPropertyValues: Map[DescriptionBox, Set[SingletonInstanceStructuredDataPropertyValue]] = ..., structuredPropertyTuples: Map[SingletonInstanceStructuredDataPropertyContext, Set[StructuredDataPropertyTuple]] = ..., scalarDataPropertyValues: Map[SingletonInstanceStructuredDataPropertyContext, Set[ScalarDataPropertyValue]] = ..., references: Map[InstanceRelationshipEnumerationRestriction, Set[InstanceRelationshipOneOfRestriction]] = ..., logicalElementOfAnnotationPropertyValue: Map[AnnotationPropertyValue, LogicalElement] = ..., moduleOfAnnotationProperty: Map[AnnotationProperty, Module] = ..., terminologyBoxOfTerminologyBoxAxiom: Map[TerminologyBoxAxiom, TerminologyBox] = ..., terminologyBoxOfTerminologyBoxStatement: Map[TerminologyBoxStatement, TerminologyBox] = ..., reifiedRelationshipOfForwardProperty: Map[ForwardProperty, ReifiedRelationship] = ..., reifiedRelationshipOfInverseProperty: Map[InverseProperty, ReifiedRelationship] = ..., chainRuleOfRuleBodySegment: Map[RuleBodySegment, ChainRule] = ..., ruleBodySegmentOfSegmentPredicate: Map[SegmentPredicate, RuleBodySegment] = ..., ruleBodySegmentOfRuleBodySegment: Map[RuleBodySegment, RuleBodySegment] = ..., restrictionStructuredDataPropertyContextOfRestrictionStructuredDataPropertyTuple: Map[RestrictionStructuredDataPropertyTuple, RestrictionStructuredDataPropertyContext] = ..., restrictionStructuredDataPropertyContextOfRestrictionScalarDataPropertyValue: Map[RestrictionScalarDataPropertyValue, RestrictionStructuredDataPropertyContext] = ..., bundleOfTerminologyBundleAxiom: Map[TerminologyBundleAxiom, Bundle] = ..., bundleOfTerminologyBundleStatement: Map[TerminologyBundleStatement, Bundle] = ..., conceptTreeDisjunctionOfDisjointUnionOfConceptsAxiom: Map[DisjointUnionOfConceptsAxiom, ConceptTreeDisjunction] = ..., descriptionBoxOfDescriptionBoxRefinement: Map[DescriptionBoxRefinement, DescriptionBox] = ..., descriptionBoxOfDescriptionBoxExtendsClosedWorldDefinitions: Map[DescriptionBoxExtendsClosedWorldDefinitions, DescriptionBox] = ..., descriptionBoxOfConceptInstance: Map[ConceptInstance, DescriptionBox] = ..., descriptionBoxOfReifiedRelationshipInstance: Map[ReifiedRelationshipInstance, DescriptionBox] = ..., descriptionBoxOfInstanceRelationshipEnumerationRestriction: Map[InstanceRelationshipEnumerationRestriction, DescriptionBox] = ..., descriptionBoxOfInstanceRelationshipValueRestriction: Map[InstanceRelationshipValueRestriction, DescriptionBox] = ..., descriptionBoxOfInstanceRelationshipExistentialRangeRestriction: Map[InstanceRelationshipExistentialRangeRestriction, DescriptionBox] = ..., descriptionBoxOfInstanceRelationshipUniversalRangeRestriction: Map[InstanceRelationshipUniversalRangeRestriction, DescriptionBox] = ..., descriptionBoxOfReifiedRelationshipInstanceDomain: Map[ReifiedRelationshipInstanceDomain, DescriptionBox] = ..., descriptionBoxOfReifiedRelationshipInstanceRange: Map[ReifiedRelationshipInstanceRange, DescriptionBox] = ..., descriptionBoxOfUnreifiedRelationshipInstanceTuple: Map[UnreifiedRelationshipInstanceTuple, DescriptionBox] = ..., descriptionBoxOfSingletonInstanceScalarDataPropertyValue: Map[SingletonInstanceScalarDataPropertyValue, DescriptionBox] = ..., descriptionBoxOfSingletonInstanceStructuredDataPropertyValue: Map[SingletonInstanceStructuredDataPropertyValue, DescriptionBox] = ..., singletonInstanceStructuredDataPropertyContextOfStructuredDataPropertyTuple: Map[StructuredDataPropertyTuple, SingletonInstanceStructuredDataPropertyContext] = ..., singletonInstanceStructuredDataPropertyContextOfScalarDataPropertyValue: Map[ScalarDataPropertyValue, SingletonInstanceStructuredDataPropertyContext] = ..., instanceRelationshipEnumerationRestrictionOfInstanceRelationshipOneOfRestriction: Map[InstanceRelationshipOneOfRestriction, InstanceRelationshipEnumerationRestriction] = ..., annotationPropertyByUUID: Map[AnnotationPropertyUUID, AnnotationProperty] = ..., annotationPropertyValueByUUID: Map[AnnotationPropertyValueUUID, AnnotationPropertyValue] = ..., conceptInstanceByUUID: Map[ConceptualEntitySingletonInstanceUUID, ConceptInstance] = ..., descriptionBoxExtendsClosedWorldDefinitionsByUUID: Map[DescriptionBoxRelationshipUUID, DescriptionBoxExtendsClosedWorldDefinitions] = ..., descriptionBoxRefinementByUUID: Map[DescriptionBoxRelationshipUUID, DescriptionBoxRefinement] = ..., disjointUnionOfConceptsAxiomByUUID: Map[ElementCrossReferenceTupleUUID, DisjointUnionOfConceptsAxiom] = ..., forwardPropertyByUUID: Map[RestrictableRelationshipUUID, ForwardProperty] = ..., instanceRelationshipEnumerationRestrictionByUUID: Map[InstanceRelationshipEnumerationRestrictionUUID, InstanceRelationshipEnumerationRestriction] = ..., instanceRelationshipExistentialRangeRestrictionByUUID: Map[InstanceRelationshipExistentialRangeRestrictionUUID, InstanceRelationshipExistentialRangeRestriction] = ..., instanceRelationshipOneOfRestrictionByUUID: Map[ElementCrossReferenceTupleUUID, InstanceRelationshipOneOfRestriction] = ..., instanceRelationshipUniversalRangeRestrictionByUUID: Map[InstanceRelationshipUniversalRangeRestrictionUUID, InstanceRelationshipUniversalRangeRestriction] = ..., instanceRelationshipValueRestrictionByUUID: Map[InstanceRelationshipValueRestrictionUUID, InstanceRelationshipValueRestriction] = ..., inversePropertyByUUID: Map[RestrictableRelationshipUUID, InverseProperty] = ..., reifiedRelationshipInstanceByUUID: Map[ConceptualEntitySingletonInstanceUUID, ReifiedRelationshipInstance] = ..., reifiedRelationshipInstanceDomainByUUID: Map[ReifiedRelationshipInstanceDomainUUID, ReifiedRelationshipInstanceDomain] = ..., reifiedRelationshipInstanceRangeByUUID: Map[ReifiedRelationshipInstanceRangeUUID, ReifiedRelationshipInstanceRange] = ..., restrictionScalarDataPropertyValueByUUID: Map[RestrictionScalarDataPropertyValueUUID, RestrictionScalarDataPropertyValue] = ..., restrictionStructuredDataPropertyTupleByUUID: Map[RestrictionStructuredDataPropertyContextUUID, RestrictionStructuredDataPropertyTuple] = ..., ruleBodySegmentByUUID: Map[ElementCrossReferenceTupleUUID, RuleBodySegment] = ..., scalarDataPropertyValueByUUID: Map[ScalarDataPropertyValueUUID, ScalarDataPropertyValue] = ..., segmentPredicateByUUID: Map[ElementCrossReferenceTupleUUID, SegmentPredicate] = ..., singletonInstanceScalarDataPropertyValueByUUID: Map[SingletonInstanceScalarDataPropertyValueUUID, SingletonInstanceScalarDataPropertyValue] = ..., singletonInstanceStructuredDataPropertyValueByUUID: Map[SingletonInstanceStructuredDataPropertyValueUUID, SingletonInstanceStructuredDataPropertyValue] = ..., structuredDataPropertyTupleByUUID: Map[SingletonInstanceStructuredDataPropertyContextUUID, StructuredDataPropertyTuple] = ..., terminologyBoxAxiomByUUID: Map[TerminologyAxiomUUID, TerminologyBoxAxiom] = ..., terminologyBoxStatementByUUID: Map[ModuleElementUUID, TerminologyBoxStatement] = ..., terminologyBundleAxiomByUUID: Map[TerminologyAxiomUUID, TerminologyBundleAxiom] = ..., terminologyBundleStatementByUUID: Map[ModuleElementUUID, TerminologyBundleStatement] = ..., unreifiedRelationshipInstanceTupleByUUID: Map[UnreifiedRelationshipInstanceTupleUUID, UnreifiedRelationshipInstanceTuple] = ...) extends Product with Serializable
trait ExtrinsicIdentityKind extends IdentityKind
trait ForwardProperty extends RestrictableRelationship
trait IRIScalarRestriction extends RestrictedDataRange
trait IdentityKind extends CrossReferencabilityKind
trait InstanceRelationshipEnumerationRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait InstanceRelationshipExistentialRangeRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait InstanceRelationshipOneOfRestriction extends ElementCrossReferenceTuple
trait InstanceRelationshipUniversalRangeRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait InstanceRelationshipValueRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait IntrinsicIdentityKind extends IdentityKind with CrossReferencableKind
trait InverseProperty extends RestrictableRelationship
trait LogicalElement extends IdentityKind
trait Module extends Resource
trait ModuleEdge extends ElementCrossReferenceTuple
trait ModuleElement extends LogicalElement
trait NonCrossReferencableKind extends CrossReferencabilityKind
trait NonLogicalElement extends IdentityKind
trait NumericScalarRestriction extends RestrictedDataRange
trait OMLResolvedFactory extends AnyRef
trait PlainLiteralScalarRestriction extends RestrictedDataRange
trait Predicate extends Resource
trait ReifiedRelationship extends ConceptualRelationship with CharacterizedEntityRelationship
trait ReifiedRelationshipInstance extends ConceptualEntitySingletonInstance
trait ReifiedRelationshipInstanceDomain extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait ReifiedRelationshipInstanceRange extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait ReifiedRelationshipRestriction extends ConceptualRelationship
trait ReifiedRelationshipSpecializationAxiom extends SpecializationAxiom
trait Resource extends LogicalElement with IntrinsicIdentityKind
trait RestrictableRelationship extends Predicate
trait RestrictedDataRange extends DataRange
trait RestrictionScalarDataPropertyValue extends LogicalElement with ValueCrossReferenceTuple
trait RestrictionStructuredDataPropertyContext extends ModuleElement with ElementCrossReferenceTuple
trait RestrictionStructuredDataPropertyTuple extends RestrictionStructuredDataPropertyContext
trait RootConceptTaxonomyAxiom extends TerminologyBundleStatement with ConceptTreeDisjunction
trait Rule extends Term
trait RuleBodySegment extends ElementCrossReferenceTuple
trait Scalar extends DataRange with UnaryTermKind
trait ScalarDataProperty extends DataRelationship with DataRelationshipFromStructure with DataRelationshipToScalar
trait ScalarDataPropertyValue extends LogicalElement with ValueCrossReferenceTuple
trait ScalarOneOfLiteralAxiom extends TermAxiom with ValueCrossReferenceTuple
trait ScalarOneOfRestriction extends RestrictedDataRange
trait SegmentPredicate extends ElementCrossReferenceTuple
trait SingletonInstanceScalarDataPropertyValue extends ModuleElement with ValueCrossReferenceTuple
trait SingletonInstanceStructuredDataPropertyContext extends ElementCrossReferenceTuple
trait SingletonInstanceStructuredDataPropertyValue extends SingletonInstanceStructuredDataPropertyContext with ModuleElement
trait SpecializationAxiom extends TermAxiom with ElementCrossReferenceTuple
trait SpecificDisjointConceptAxiom extends DisjointUnionOfConceptsAxiom
trait StringScalarRestriction extends RestrictedDataRange
trait Structure extends Datatype with UnaryTermKind
trait StructuredDataProperty extends DataRelationship with DataRelationshipFromStructure with DataRelationshipToStructure
trait StructuredDataPropertyTuple extends SingletonInstanceStructuredDataPropertyContext
trait SubDataPropertyOfAxiom extends TermAxiom with ElementCrossReferenceTuple
trait SubObjectPropertyOfAxiom extends TermAxiom with ElementCrossReferenceTuple
trait SynonymScalarRestriction extends RestrictedDataRange
trait Term extends TerminologyBoxStatement with Resource
trait TermAxiom extends TerminologyBoxStatement
trait TerminologyAxiom extends ModuleEdge
trait TerminologyBox extends Module
trait TerminologyBoxAxiom extends TerminologyAxiom
trait TerminologyBoxStatement extends ModuleElement
trait TerminologyBundleAxiom extends TerminologyAxiom
trait TerminologyBundleStatement extends ModuleElement
trait TerminologyExtensionAxiom extends TerminologyBoxAxiom
trait TerminologyGraph extends TerminologyBox
trait TerminologyInstanceAssertion extends ModuleElement
trait TerminologyNestingAxiom extends TerminologyBoxAxiom
trait TimeScalarRestriction extends RestrictedDataRange
trait UnaryTermKind extends Term
trait UnreifiedRelationship extends CharacterizedEntityRelationship with RestrictableRelationship
trait UnreifiedRelationshipInstanceTuple extends TerminologyInstanceAssertion with ElementCrossReferenceTuple
trait ValueCrossReferenceTuple extends ExtrinsicIdentityKind with NonCrossReferencableKind

Value Members

object AnnotationProperty
object AnonymousConceptUnionAxiom
object Bundle
object BundledTerminologyAxiom
object CardinalityRestrictedReifiedRelationship
object ConceptDesignationTerminologyAxiom
object ConceptInstance
object ConceptTreeDisjunction
object ConceptualEntitySingletonInstance
object ConceptualRelationship
object DescriptionBox
object DescriptionBoxExtendsClosedWorldDefinitions
object DescriptionBoxRefinement
object DescriptionBoxRelationship
object DisjointUnionOfConceptsAxiom
object EntityRestrictionAxiom
object EntityScalarDataPropertyRestrictionAxiom
object EntityStructuredDataPropertyParticularRestrictionAxiom
object ForwardProperty
object InstanceRelationshipEnumerationRestriction
object InstanceRelationshipExistentialRangeRestriction
object InstanceRelationshipOneOfRestriction
object InstanceRelationshipUniversalRangeRestriction
object InstanceRelationshipValueRestriction
object IntrinsicIdentityKind
object InverseProperty
object LogicalElement
object Module
object ModuleEdge
object ModuleElement
object ReifiedRelationship
object ReifiedRelationshipInstance
object ReifiedRelationshipInstanceDomain
object ReifiedRelationshipInstanceRange
object ReifiedRelationshipRestriction
object Resource
object RestrictionScalarDataPropertyValue
object RestrictionStructuredDataPropertyContext
object RestrictionStructuredDataPropertyTuple
object RootConceptTaxonomyAxiom
object RuleBodySegment
object ScalarDataPropertyValue
object ScalarOneOfLiteralAxiom
object SegmentPredicate
object SingletonInstanceScalarDataPropertyValue
object SingletonInstanceStructuredDataPropertyContext
object SingletonInstanceStructuredDataPropertyValue
object SpecializationAxiom
object SpecificDisjointConceptAxiom
object StructuredDataPropertyTuple
object SubDataPropertyOfAxiom
object SubObjectPropertyOfAxiom
object Term
object TerminologyAxiom
object TerminologyBoxStatement
object TerminologyBundleStatement
object TerminologyExtensionAxiom
object TerminologyGraph
object TerminologyNestingAxiom
implicit def UUIDOrdering: Ordering[UUID]
object UnreifiedRelationshipInstanceTuple
implicit def annotationPropertyOrdering: Ordering[AnnotationProperty]
implicit def annotationPropertyValueOrdering: Ordering[AnnotationPropertyValue]
implicit def anonymousConceptUnionAxiomOrdering: Ordering[AnonymousConceptUnionAxiom]
implicit def aspectKindOrdering: Ordering[AspectKind]
implicit def aspectOrdering: Ordering[Aspect]
implicit def aspectSpecializationAxiomOrdering: Ordering[AspectSpecializationAxiom]
implicit def binaryScalarRestrictionOrdering: Ordering[BinaryScalarRestriction]
implicit def bundleOrdering: Ordering[Bundle]
implicit def bundledTerminologyAxiomOrdering: Ordering[BundledTerminologyAxiom]
implicit def cardinalityRestrictedAspectOrdering: Ordering[CardinalityRestrictedAspect]
implicit def cardinalityRestrictedConceptOrdering: Ordering[CardinalityRestrictedConcept]
implicit def cardinalityRestrictedReifiedRelationshipOrdering: Ordering[CardinalityRestrictedReifiedRelationship]
implicit def chainRuleOrdering: Ordering[ChainRule]
implicit def characterizedEntityRelationshipOrdering: Ordering[CharacterizedEntityRelationship]
implicit def conceptDesignationTerminologyAxiomOrdering: Ordering[ConceptDesignationTerminologyAxiom]
implicit def conceptInstanceOrdering: Ordering[ConceptInstance]
implicit def conceptKindOrdering: Ordering[ConceptKind]
implicit def conceptOrdering: Ordering[Concept]
implicit def conceptSpecializationAxiomOrdering: Ordering[ConceptSpecializationAxiom]
implicit def conceptTreeDisjunctionOrdering: Ordering[ConceptTreeDisjunction]
implicit def conceptualEntityOrdering: Ordering[ConceptualEntity]
implicit def conceptualEntitySingletonInstanceOrdering: Ordering[ConceptualEntitySingletonInstance]
implicit def conceptualRelationshipOrdering: Ordering[ConceptualRelationship]
implicit def crossReferencabilityKindOrdering: Ordering[CrossReferencabilityKind]
implicit def crossReferencableKindOrdering: Ordering[CrossReferencableKind]
implicit def dataRangeOrdering: Ordering[DataRange]
implicit def dataRelationshipDomainOrdering: Ordering[DataRelationshipDomain]
implicit def dataRelationshipFromEntityOrdering: Ordering[DataRelationshipFromEntity]
implicit def dataRelationshipFromStructureOrdering: Ordering[DataRelationshipFromStructure]
implicit def dataRelationshipOrdering: Ordering[DataRelationship]
implicit def dataRelationshipRangeOrdering: Ordering[DataRelationshipRange]
implicit def dataRelationshipToScalarOrdering: Ordering[DataRelationshipToScalar]
implicit def dataRelationshipToStructureOrdering: Ordering[DataRelationshipToStructure]
implicit def datatypeOrdering: Ordering[Datatype]
implicit def descriptionBoxExtendsClosedWorldDefinitionsOrdering: Ordering[DescriptionBoxExtendsClosedWorldDefinitions]
implicit def descriptionBoxOrdering: Ordering[DescriptionBox]
implicit def descriptionBoxRefinementOrdering: Ordering[DescriptionBoxRefinement]
implicit def descriptionBoxRelationshipOrdering: Ordering[DescriptionBoxRelationship]
implicit def directedBinaryRelationshipKindOrdering: Ordering[DirectedBinaryRelationshipKind]
implicit def disjointUnionOfConceptsAxiomOrdering: Ordering[DisjointUnionOfConceptsAxiom]
implicit def elementCrossReferenceTupleOrdering: Ordering[ElementCrossReferenceTuple]
implicit def entityExistentialRestrictionAxiomOrdering: Ordering[EntityExistentialRestrictionAxiom]
implicit def entityOrdering: Ordering[Entity]
implicit def entityRelationshipOrdering: Ordering[EntityRelationship]
implicit def entityRestrictionAxiomOrdering: Ordering[EntityRestrictionAxiom]
implicit def entityScalarDataPropertyExistentialRestrictionAxiomOrdering: Ordering[EntityScalarDataPropertyExistentialRestrictionAxiom]
implicit def entityScalarDataPropertyOrdering: Ordering[EntityScalarDataProperty]
implicit def entityScalarDataPropertyParticularRestrictionAxiomOrdering: Ordering[EntityScalarDataPropertyParticularRestrictionAxiom]
implicit def entityScalarDataPropertyRestrictionAxiomOrdering: Ordering[EntityScalarDataPropertyRestrictionAxiom]
implicit def entityScalarDataPropertyUniversalRestrictionAxiomOrdering: Ordering[EntityScalarDataPropertyUniversalRestrictionAxiom]
implicit def entityStructuredDataPropertyOrdering: Ordering[EntityStructuredDataProperty]
implicit def entityStructuredDataPropertyParticularRestrictionAxiomOrdering: Ordering[EntityStructuredDataPropertyParticularRestrictionAxiom]
implicit def entityStructuredDataPropertyRestrictionAxiomOrdering: Ordering[EntityStructuredDataPropertyRestrictionAxiom]
implicit def entityUniversalRestrictionAxiomOrdering: Ordering[EntityUniversalRestrictionAxiom]
implicit def extrinsicIdentityKindOrdering: Ordering[ExtrinsicIdentityKind]
implicit def forwardPropertyOrdering: Ordering[ForwardProperty]
implicit def iRIScalarRestrictionOrdering: Ordering[IRIScalarRestriction]
implicit def identityKindOrdering: Ordering[IdentityKind]
implicit def instanceRelationshipEnumerationRestrictionOrdering: Ordering[InstanceRelationshipEnumerationRestriction]
implicit def instanceRelationshipExistentialRangeRestrictionOrdering: Ordering[InstanceRelationshipExistentialRangeRestriction]
implicit def instanceRelationshipOneOfRestrictionOrdering: Ordering[InstanceRelationshipOneOfRestriction]
implicit def instanceRelationshipUniversalRangeRestrictionOrdering: Ordering[InstanceRelationshipUniversalRangeRestriction]
implicit def instanceRelationshipValueRestrictionOrdering: Ordering[InstanceRelationshipValueRestriction]
implicit def intrinsicIdentityKindOrdering: Ordering[IntrinsicIdentityKind]
implicit def inversePropertyOrdering: Ordering[InverseProperty]
implicit def logicalElementOrdering: Ordering[LogicalElement]
implicit def moduleEdgeOrdering: Ordering[ModuleEdge]
implicit def moduleElementOrdering: Ordering[ModuleElement]
implicit def moduleOrdering: Ordering[Module]
implicit def nonCrossReferencableKindOrdering: Ordering[NonCrossReferencableKind]
implicit def nonLogicalElementOrdering: Ordering[NonLogicalElement]
implicit def numericScalarRestrictionOrdering: Ordering[NumericScalarRestriction]
implicit def plainLiteralScalarRestrictionOrdering: Ordering[PlainLiteralScalarRestriction]
implicit def predicateOrdering: Ordering[Predicate]
implicit def reifiedRelationshipInstanceDomainOrdering: Ordering[ReifiedRelationshipInstanceDomain]
implicit def reifiedRelationshipInstanceOrdering: Ordering[ReifiedRelationshipInstance]
implicit def reifiedRelationshipInstanceRangeOrdering: Ordering[ReifiedRelationshipInstanceRange]
implicit def reifiedRelationshipOrdering: Ordering[ReifiedRelationship]
implicit def reifiedRelationshipRestrictionOrdering: Ordering[ReifiedRelationshipRestriction]
implicit def reifiedRelationshipSpecializationAxiomOrdering: Ordering[ReifiedRelationshipSpecializationAxiom]
implicit def resourceOrdering: Ordering[Resource]
implicit def restrictableRelationshipOrdering: Ordering[RestrictableRelationship]
implicit def restrictedDataRangeOrdering: Ordering[RestrictedDataRange]
implicit def restrictionScalarDataPropertyValueOrdering: Ordering[RestrictionScalarDataPropertyValue]
implicit def restrictionStructuredDataPropertyContextOrdering: Ordering[RestrictionStructuredDataPropertyContext]
implicit def restrictionStructuredDataPropertyTupleOrdering: Ordering[RestrictionStructuredDataPropertyTuple]
implicit def rootConceptTaxonomyAxiomOrdering: Ordering[RootConceptTaxonomyAxiom]
implicit def ruleBodySegmentOrdering: Ordering[RuleBodySegment]
implicit def ruleOrdering: Ordering[Rule]
implicit def scalarDataPropertyOrdering: Ordering[ScalarDataProperty]
implicit def scalarDataPropertyValueOrdering: Ordering[ScalarDataPropertyValue]
implicit def scalarOneOfLiteralAxiomOrdering: Ordering[ScalarOneOfLiteralAxiom]
implicit def scalarOneOfRestrictionOrdering: Ordering[ScalarOneOfRestriction]
implicit def scalarOrdering: Ordering[Scalar]
implicit def segmentPredicateOrdering: Ordering[SegmentPredicate]
implicit def singletonInstanceScalarDataPropertyValueOrdering: Ordering[SingletonInstanceScalarDataPropertyValue]
implicit def singletonInstanceStructuredDataPropertyContextOrdering: Ordering[SingletonInstanceStructuredDataPropertyContext]
implicit def singletonInstanceStructuredDataPropertyValueOrdering: Ordering[SingletonInstanceStructuredDataPropertyValue]
implicit def specializationAxiomOrdering: Ordering[SpecializationAxiom]
implicit def specificDisjointConceptAxiomOrdering: Ordering[SpecificDisjointConceptAxiom]
implicit def stringScalarRestrictionOrdering: Ordering[StringScalarRestriction]
implicit def structureOrdering: Ordering[Structure]
implicit def structuredDataPropertyOrdering: Ordering[StructuredDataProperty]
implicit def structuredDataPropertyTupleOrdering: Ordering[StructuredDataPropertyTuple]
implicit def subDataPropertyOfAxiomOrdering: Ordering[SubDataPropertyOfAxiom]
implicit def subObjectPropertyOfAxiomOrdering: Ordering[SubObjectPropertyOfAxiom]
implicit def synonymScalarRestrictionOrdering: Ordering[SynonymScalarRestriction]
object taggedTypes
implicit def termAxiomOrdering: Ordering[TermAxiom]
implicit def termOrdering: Ordering[Term]
implicit def terminologyAxiomOrdering: Ordering[TerminologyAxiom]
implicit def terminologyBoxAxiomOrdering: Ordering[TerminologyBoxAxiom]
implicit def terminologyBoxOrdering: Ordering[TerminologyBox]
implicit def terminologyBoxStatementOrdering: Ordering[TerminologyBoxStatement]
implicit def terminologyBundleAxiomOrdering: Ordering[TerminologyBundleAxiom]
implicit def terminologyBundleStatementOrdering: Ordering[TerminologyBundleStatement]
implicit def terminologyExtensionAxiomOrdering: Ordering[TerminologyExtensionAxiom]
implicit def terminologyGraphOrdering: Ordering[TerminologyGraph]
implicit def terminologyInstanceAssertionOrdering: Ordering[TerminologyInstanceAssertion]
implicit def terminologyNestingAxiomOrdering: Ordering[TerminologyNestingAxiom]
implicit def timeScalarRestrictionOrdering: Ordering[TimeScalarRestriction]
implicit def unaryTermKindOrdering: Ordering[UnaryTermKind]
implicit def unreifiedRelationshipInstanceTupleOrdering: Ordering[UnreifiedRelationshipInstanceTuple]
implicit def unreifiedRelationshipOrdering: Ordering[UnreifiedRelationship]
implicit def valueCrossReferenceTupleOrdering: Ordering[ValueCrossReferenceTuple]

package api

Type Members

trait AnnotationProperty extends IntrinsicIdentityKind with NonLogicalElement

trait AnnotationPropertyValue extends ValueCrossReferenceTuple with NonLogicalElement

trait AnonymousConceptUnionAxiom extends DisjointUnionOfConceptsAxiom with ConceptTreeDisjunction

trait Aspect extends AspectKind

trait AspectKind extends Entity with UnaryTermKind

trait AspectSpecializationAxiom extends SpecializationAxiom

trait BinaryScalarRestriction extends RestrictedDataRange

trait Bundle extends TerminologyBox

trait BundledTerminologyAxiom extends TerminologyBundleAxiom

trait CardinalityRestrictedAspect extends AspectKind

trait CardinalityRestrictedConcept extends ConceptKind

trait CardinalityRestrictedReifiedRelationship extends ConceptualRelationship

trait ChainRule extends Rule

trait CharacterizedEntityRelationship extends EntityRelationship

trait Concept extends ConceptKind

trait ConceptDesignationTerminologyAxiom extends TerminologyBoxAxiom

trait ConceptInstance extends ConceptualEntitySingletonInstance

trait ConceptKind extends ConceptualEntity with UnaryTermKind

trait ConceptSpecializationAxiom extends SpecializationAxiom

trait ConceptTreeDisjunction extends ElementCrossReferenceTuple

trait ConceptualEntity extends Entity

trait ConceptualEntitySingletonInstance extends TerminologyInstanceAssertion with Resource

trait ConceptualRelationship extends ConceptualEntity with EntityRelationship

trait CrossReferencabilityKind extends AnyRef

trait CrossReferencableKind extends CrossReferencabilityKind

trait DataRange extends Datatype

trait DataRelationship extends Term with DirectedBinaryRelationshipKind

trait DataRelationshipDomain extends DataRelationship

trait DataRelationshipFromEntity extends DataRelationshipDomain

trait DataRelationshipFromStructure extends DataRelationshipDomain

trait DataRelationshipRange extends DataRelationship

trait DataRelationshipToScalar extends DataRelationshipRange

trait DataRelationshipToStructure extends DataRelationshipRange

trait Datatype extends Term

trait DescriptionBox extends Module

trait DescriptionBoxExtendsClosedWorldDefinitions extends DescriptionBoxRelationship

trait DescriptionBoxRefinement extends DescriptionBoxRelationship

trait DescriptionBoxRelationship extends ModuleEdge

trait DirectedBinaryRelationshipKind extends Term

trait DisjointUnionOfConceptsAxiom extends ElementCrossReferenceTuple

trait ElementCrossReferenceTuple extends ExtrinsicIdentityKind with CrossReferencableKind with LogicalElement

trait Entity extends Term with Predicate

trait EntityExistentialRestrictionAxiom extends EntityRestrictionAxiom

trait EntityRelationship extends Term with DirectedBinaryRelationshipKind

trait EntityRestrictionAxiom extends TermAxiom with ElementCrossReferenceTuple

trait EntityScalarDataProperty extends DataRelationship with DataRelationshipFromEntity with DataRelationshipToScalar

trait EntityScalarDataPropertyExistentialRestrictionAxiom extends EntityScalarDataPropertyRestrictionAxiom with ElementCrossReferenceTuple

trait EntityScalarDataPropertyParticularRestrictionAxiom extends EntityScalarDataPropertyRestrictionAxiom with ValueCrossReferenceTuple

trait EntityScalarDataPropertyRestrictionAxiom extends TermAxiom with ExtrinsicIdentityKind

trait EntityScalarDataPropertyUniversalRestrictionAxiom extends EntityScalarDataPropertyRestrictionAxiom with ElementCrossReferenceTuple

trait EntityStructuredDataProperty extends DataRelationship with DataRelationshipFromEntity with DataRelationshipToStructure

trait EntityStructuredDataPropertyParticularRestrictionAxiom extends EntityStructuredDataPropertyRestrictionAxiom with RestrictionStructuredDataPropertyContext

trait EntityStructuredDataPropertyRestrictionAxiom extends TermAxiom with ElementCrossReferenceTuple

trait EntityUniversalRestrictionAxiom extends EntityRestrictionAxiom

trait ExtrinsicIdentityKind extends IdentityKind

trait ForwardProperty extends RestrictableRelationship

trait IRIScalarRestriction extends RestrictedDataRange

trait IdentityKind extends CrossReferencabilityKind

trait InstanceRelationshipEnumerationRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple

trait InstanceRelationshipExistentialRangeRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple

trait InstanceRelationshipOneOfRestriction extends ElementCrossReferenceTuple

trait InstanceRelationshipUniversalRangeRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple

trait InstanceRelationshipValueRestriction extends TerminologyInstanceAssertion with ElementCrossReferenceTuple

trait IntrinsicIdentityKind extends IdentityKind with CrossReferencableKind

trait InverseProperty extends RestrictableRelationship

trait LogicalElement extends IdentityKind

trait Module extends Resource

trait ModuleEdge extends ElementCrossReferenceTuple

trait ModuleElement extends LogicalElement

trait NonCrossReferencableKind extends CrossReferencabilityKind

trait NonLogicalElement extends IdentityKind

trait NumericScalarRestriction extends RestrictedDataRange

trait OMLResolvedFactory extends AnyRef

trait PlainLiteralScalarRestriction extends RestrictedDataRange

trait Predicate extends Resource

trait ReifiedRelationship extends ConceptualRelationship with CharacterizedEntityRelationship

trait ReifiedRelationshipInstance extends ConceptualEntitySingletonInstance