gov
.
nasa
.
jpl
.
imce
.
oml
.
resolver
.
api
OMLResolvedFactory
Related Doc:
package api
trait
OMLResolvedFactory
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Type Hierarchy
OMLResolvedFactory
AnyRef
Ordering
Alphabetic
By Inheritance
Inherited
OMLResolvedFactory
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Abstract Value Members
abstract
def
createAnnotationProperty
(
extent:
Extent
,
uuid:
AnnotationPropertyUUID
,
module:
Module
,
iri:
IRI
,
abbrevIRI:
AbbrevIRI
)
: (
Extent
,
AnnotationProperty
)
abstract
def
createAnnotationPropertyValue
(
extent:
Extent
,
uuid:
AnnotationPropertyValueUUID
,
subject:
LogicalElement
,
property:
AnnotationProperty
,
value:
StringDataType
)
: (
Extent
,
AnnotationPropertyValue
)
abstract
def
createAnonymousConceptUnionAxiom
(
extent:
Extent
,
uuid:
AnonymousConceptUnionAxiomUUID
,
disjointTaxonomyParent:
ConceptTreeDisjunction
,
name:
LocalName
)
: (
Extent
,
AnonymousConceptUnionAxiom
)
abstract
def
createAspect
(
extent:
Extent
,
uuid:
AspectUUID
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Aspect
)
abstract
def
createAspectSpecializationAxiom
(
extent:
Extent
,
uuid:
AspectSpecializationAxiomUUID
,
tbox:
TerminologyBox
,
superAspect:
AspectKind
,
subEntity:
Entity
)
: (
Extent
,
AspectSpecializationAxiom
)
abstract
def
createBinaryScalarRestriction
(
extent:
Extent
,
uuid:
BinaryScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
)
: (
Extent
,
BinaryScalarRestriction
)
abstract
def
createBundle
(
extent:
Extent
,
uuid:
BundleUUID
,
kind:
TerminologyKind
,
iri:
IRI
)
: (
Extent
,
Bundle
)
abstract
def
createBundledTerminologyAxiom
(
extent:
Extent
,
uuid:
BundledTerminologyAxiomUUID
,
bundle:
Bundle
,
bundledTerminology:
IRI
)
: (
Extent
,
BundledTerminologyAxiom
)
abstract
def
createCardinalityRestrictedAspect
(
extent:
Extent
,
uuid:
CardinalityRestrictedAspectUUID
,
tbox:
TerminologyBox
,
restrictedRange:
Option
[
Entity
]
,
name:
LocalName
,
restrictedCardinality:
PositiveIntegerLiteral
,
restrictedRelationship:
RestrictableRelationship
,
restrictionKind:
CardinalityRestrictionKind
)
: (
Extent
,
CardinalityRestrictedAspect
)
abstract
def
createCardinalityRestrictedConcept
(
extent:
Extent
,
uuid:
CardinalityRestrictedConceptUUID
,
tbox:
TerminologyBox
,
restrictedRange:
Option
[
Entity
]
,
name:
LocalName
,
restrictedCardinality:
PositiveIntegerLiteral
,
restrictedRelationship:
RestrictableRelationship
,
restrictionKind:
CardinalityRestrictionKind
)
: (
Extent
,
CardinalityRestrictedConcept
)
abstract
def
createCardinalityRestrictedReifiedRelationship
(
extent:
Extent
,
uuid:
CardinalityRestrictedReifiedRelationshipUUID
,
tbox:
TerminologyBox
,
restrictedRange:
Option
[
Entity
]
,
name:
LocalName
,
restrictedCardinality:
PositiveIntegerLiteral
,
restrictedRelationship:
RestrictableRelationship
,
restrictionKind:
CardinalityRestrictionKind
)
: (
Extent
,
CardinalityRestrictedReifiedRelationship
)
abstract
def
createChainRule
(
extent:
Extent
,
uuid:
ChainRuleUUID
,
tbox:
TerminologyBox
,
name:
LocalName
,
head:
RestrictableRelationship
)
: (
Extent
,
ChainRule
)
abstract
def
createConcept
(
extent:
Extent
,
uuid:
ConceptUUID
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Concept
)
abstract
def
createConceptDesignationTerminologyAxiom
(
extent:
Extent
,
uuid:
ConceptDesignationTerminologyAxiomUUID
,
tbox:
TerminologyBox
,
designatedConcept:
ConceptKind
,
designatedTerminology:
IRI
)
: (
Extent
,
ConceptDesignationTerminologyAxiom
)
abstract
def
createConceptInstance
(
extent:
Extent
,
uuid:
ConceptInstanceUUID
,
descriptionBox:
DescriptionBox
,
singletonConceptClassifier:
ConceptKind
,
name:
LocalName
)
: (
Extent
,
ConceptInstance
)
abstract
def
createConceptSpecializationAxiom
(
extent:
Extent
,
uuid:
ConceptSpecializationAxiomUUID
,
tbox:
TerminologyBox
,
superConcept:
ConceptKind
,
subConcept:
ConceptKind
)
: (
Extent
,
ConceptSpecializationAxiom
)
abstract
def
createDescriptionBox
(
extent:
Extent
,
uuid:
DescriptionBoxUUID
,
kind:
DescriptionKind
,
iri:
IRI
)
: (
Extent
,
DescriptionBox
)
abstract
def
createDescriptionBoxExtendsClosedWorldDefinitions
(
extent:
Extent
,
uuid:
DescriptionBoxExtendsClosedWorldDefinitionsUUID
,
descriptionBox:
DescriptionBox
,
closedWorldDefinitions:
IRI
)
: (
Extent
,
DescriptionBoxExtendsClosedWorldDefinitions
)
abstract
def
createDescriptionBoxRefinement
(
extent:
Extent
,
uuid:
DescriptionBoxRefinementUUID
,
refiningDescriptionBox:
DescriptionBox
,
refinedDescriptionBox:
IRI
)
: (
Extent
,
DescriptionBoxRefinement
)
abstract
def
createEntityExistentialRestrictionAxiom
(
extent:
Extent
,
uuid:
EntityExistentialRestrictionAxiomUUID
,
tbox:
TerminologyBox
,
restrictedDomain:
Entity
,
restrictedRange:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
EntityExistentialRestrictionAxiom
)
abstract
def
createEntityScalarDataProperty
(
extent:
Extent
,
uuid:
EntityScalarDataPropertyUUID
,
tbox:
TerminologyBox
,
domain:
Entity
,
range:
DataRange
,
isIdentityCriteria:
Boolean
,
name:
LocalName
)
: (
Extent
,
EntityScalarDataProperty
)
abstract
def
createEntityScalarDataPropertyExistentialRestrictionAxiom
(
extent:
Extent
,
uuid:
EntityScalarDataPropertyExistentialRestrictionAxiomUUID
,
tbox:
TerminologyBox
,
restrictedEntity:
Entity
,
scalarProperty:
EntityScalarDataProperty
,
scalarRestriction:
DataRange
)
: (
Extent
,
EntityScalarDataPropertyExistentialRestrictionAxiom
)
abstract
def
createEntityScalarDataPropertyParticularRestrictionAxiom
(
extent:
Extent
,
uuid:
EntityScalarDataPropertyParticularRestrictionAxiomUUID
,
tbox:
TerminologyBox
,
restrictedEntity:
Entity
,
scalarProperty:
EntityScalarDataProperty
,
literalValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
EntityScalarDataPropertyParticularRestrictionAxiom
)
abstract
def
createEntityScalarDataPropertyUniversalRestrictionAxiom
(
extent:
Extent
,
uuid:
EntityScalarDataPropertyUniversalRestrictionAxiomUUID
,
tbox:
TerminologyBox
,
restrictedEntity:
Entity
,
scalarProperty:
EntityScalarDataProperty
,
scalarRestriction:
DataRange
)
: (
Extent
,
EntityScalarDataPropertyUniversalRestrictionAxiom
)
abstract
def
createEntityStructuredDataProperty
(
extent:
Extent
,
uuid:
EntityStructuredDataPropertyUUID
,
tbox:
TerminologyBox
,
domain:
Entity
,
range:
Structure
,
isIdentityCriteria:
Boolean
,
name:
LocalName
)
: (
Extent
,
EntityStructuredDataProperty
)
abstract
def
createEntityStructuredDataPropertyParticularRestrictionAxiom
(
extent:
Extent
,
uuid:
EntityStructuredDataPropertyParticularRestrictionAxiomUUID
,
tbox:
TerminologyBox
,
structuredDataProperty:
DataRelationshipToStructure
,
restrictedEntity:
Entity
)
: (
Extent
,
EntityStructuredDataPropertyParticularRestrictionAxiom
)
abstract
def
createEntityUniversalRestrictionAxiom
(
extent:
Extent
,
uuid:
EntityUniversalRestrictionAxiomUUID
,
tbox:
TerminologyBox
,
restrictedDomain:
Entity
,
restrictedRange:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
EntityUniversalRestrictionAxiom
)
abstract
def
createExtent
:
Extent
abstract
def
createForwardProperty
(
extent:
Extent
,
uuid:
ForwardPropertyUUID
,
name:
LocalName
,
reifiedRelationship:
ReifiedRelationship
)
: (
Extent
,
ForwardProperty
)
abstract
def
createIRIScalarRestriction
(
extent:
Extent
,
uuid:
IRIScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
,
pattern:
Option
[
LiteralPattern
]
)
: (
Extent
,
IRIScalarRestriction
)
abstract
def
createInstanceRelationshipEnumerationRestriction
(
extent:
Extent
,
uuid:
InstanceRelationshipEnumerationRestrictionUUID
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipEnumerationRestriction
)
abstract
def
createInstanceRelationshipExistentialRangeRestriction
(
extent:
Extent
,
uuid:
InstanceRelationshipExistentialRangeRestrictionUUID
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
range:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipExistentialRangeRestriction
)
abstract
def
createInstanceRelationshipOneOfRestriction
(
extent:
Extent
,
uuid:
InstanceRelationshipOneOfRestrictionUUID
,
range:
ConceptualEntitySingletonInstance
,
enumeration:
InstanceRelationshipEnumerationRestriction
)
: (
Extent
,
InstanceRelationshipOneOfRestriction
)
abstract
def
createInstanceRelationshipUniversalRangeRestriction
(
extent:
Extent
,
uuid:
InstanceRelationshipUniversalRangeRestrictionUUID
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
range:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipUniversalRangeRestriction
)
abstract
def
createInstanceRelationshipValueRestriction
(
extent:
Extent
,
uuid:
InstanceRelationshipValueRestrictionUUID
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
range:
ConceptualEntitySingletonInstance
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipValueRestriction
)
abstract
def
createInverseProperty
(
extent:
Extent
,
uuid:
InversePropertyUUID
,
name:
LocalName
,
reifiedRelationship:
ReifiedRelationship
)
: (
Extent
,
InverseProperty
)
abstract
def
createNumericScalarRestriction
(
extent:
Extent
,
uuid:
NumericScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
minExclusive:
Option
[
LiteralNumber
]
,
minInclusive:
Option
[
LiteralNumber
]
,
maxExclusive:
Option
[
LiteralNumber
]
,
maxInclusive:
Option
[
LiteralNumber
]
,
name:
LocalName
)
: (
Extent
,
NumericScalarRestriction
)
abstract
def
createPlainLiteralScalarRestriction
(
extent:
Extent
,
uuid:
PlainLiteralScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
,
langRange:
Option
[
LanguageTagDataType
]
,
pattern:
Option
[
LiteralPattern
]
)
: (
Extent
,
PlainLiteralScalarRestriction
)
abstract
def
createReifiedRelationship
(
extent:
Extent
,
uuid:
ReifiedRelationshipUUID
,
tbox:
TerminologyBox
,
source:
Entity
,
target:
Entity
,
isAsymmetric:
Boolean
,
isEssential:
Boolean
,
isFunctional:
Boolean
,
isInverseEssential:
Boolean
,
isInverseFunctional:
Boolean
,
isIrreflexive:
Boolean
,
isReflexive:
Boolean
,
isSymmetric:
Boolean
,
isTransitive:
Boolean
,
name:
LocalName
)
: (
Extent
,
ReifiedRelationship
)
abstract
def
createReifiedRelationshipInstance
(
extent:
Extent
,
uuid:
ReifiedRelationshipInstanceUUID
,
descriptionBox:
DescriptionBox
,
singletonConceptualRelationshipClassifier:
ConceptualRelationship
,
name:
LocalName
)
: (
Extent
,
ReifiedRelationshipInstance
)
abstract
def
createReifiedRelationshipInstanceDomain
(
extent:
Extent
,
uuid:
ReifiedRelationshipInstanceDomainUUID
,
descriptionBox:
DescriptionBox
,
reifiedRelationshipInstance:
ReifiedRelationshipInstance
,
domain:
ConceptualEntitySingletonInstance
)
: (
Extent
,
ReifiedRelationshipInstanceDomain
)
abstract
def
createReifiedRelationshipInstanceRange
(
extent:
Extent
,
uuid:
ReifiedRelationshipInstanceRangeUUID
,
descriptionBox:
DescriptionBox
,
reifiedRelationshipInstance:
ReifiedRelationshipInstance
,
range:
ConceptualEntitySingletonInstance
)
: (
Extent
,
ReifiedRelationshipInstanceRange
)
abstract
def
createReifiedRelationshipRestriction
(
extent:
Extent
,
uuid:
ReifiedRelationshipRestrictionUUID
,
tbox:
TerminologyBox
,
source:
Entity
,
target:
Entity
,
name:
LocalName
)
: (
Extent
,
ReifiedRelationshipRestriction
)
abstract
def
createReifiedRelationshipSpecializationAxiom
(
extent:
Extent
,
uuid:
ReifiedRelationshipSpecializationAxiomUUID
,
tbox:
TerminologyBox
,
superRelationship:
ConceptualRelationship
,
subRelationship:
ConceptualRelationship
)
: (
Extent
,
ReifiedRelationshipSpecializationAxiom
)
abstract
def
createRestrictionScalarDataPropertyValue
(
extent:
Extent
,
uuid:
RestrictionScalarDataPropertyValueUUID
,
structuredDataPropertyContext:
RestrictionStructuredDataPropertyContext
,
scalarDataProperty:
DataRelationshipToScalar
,
scalarPropertyValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
RestrictionScalarDataPropertyValue
)
abstract
def
createRestrictionStructuredDataPropertyTuple
(
extent:
Extent
,
uuid:
RestrictionStructuredDataPropertyTupleUUID
,
structuredDataPropertyContext:
RestrictionStructuredDataPropertyContext
,
structuredDataProperty:
DataRelationshipToStructure
)
: (
Extent
,
RestrictionStructuredDataPropertyTuple
)
abstract
def
createRootConceptTaxonomyAxiom
(
extent:
Extent
,
uuid:
RootConceptTaxonomyAxiomUUID
,
bundle:
Bundle
,
root:
ConceptKind
)
: (
Extent
,
RootConceptTaxonomyAxiom
)
abstract
def
createRuleBodySegment
(
extent:
Extent
,
uuid:
RuleBodySegmentUUID
,
previousSegment:
Option
[
RuleBodySegment
]
,
rule:
Option
[
ChainRule
]
)
: (
Extent
,
RuleBodySegment
)
abstract
def
createScalar
(
extent:
Extent
,
uuid:
ScalarUUID
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Scalar
)
abstract
def
createScalarDataProperty
(
extent:
Extent
,
uuid:
ScalarDataPropertyUUID
,
tbox:
TerminologyBox
,
domain:
Structure
,
range:
DataRange
,
name:
LocalName
)
: (
Extent
,
ScalarDataProperty
)
abstract
def
createScalarDataPropertyValue
(
extent:
Extent
,
uuid:
ScalarDataPropertyValueUUID
,
structuredDataPropertyContext:
SingletonInstanceStructuredDataPropertyContext
,
scalarDataProperty:
DataRelationshipToScalar
,
scalarPropertyValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
ScalarDataPropertyValue
)
abstract
def
createScalarOneOfLiteralAxiom
(
extent:
Extent
,
uuid:
ScalarOneOfLiteralAxiomUUID
,
tbox:
TerminologyBox
,
axiom:
ScalarOneOfRestriction
,
value:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
ScalarOneOfLiteralAxiom
)
abstract
def
createScalarOneOfRestriction
(
extent:
Extent
,
uuid:
ScalarOneOfRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
name:
LocalName
)
: (
Extent
,
ScalarOneOfRestriction
)
abstract
def
createSegmentPredicate
(
extent:
Extent
,
uuid:
SegmentPredicateUUID
,
bodySegment:
RuleBodySegment
,
predicate:
Option
[
Predicate
]
,
reifiedRelationshipSource:
Option
[
ReifiedRelationship
]
,
reifiedRelationshipInverseSource:
Option
[
ReifiedRelationship
]
,
reifiedRelationshipTarget:
Option
[
ReifiedRelationship
]
,
reifiedRelationshipInverseTarget:
Option
[
ReifiedRelationship
]
,
unreifiedRelationshipInverse:
Option
[
UnreifiedRelationship
]
)
: (
Extent
,
SegmentPredicate
)
abstract
def
createSingletonInstanceScalarDataPropertyValue
(
extent:
Extent
,
uuid:
SingletonInstanceScalarDataPropertyValueUUID
,
descriptionBox:
DescriptionBox
,
singletonInstance:
ConceptualEntitySingletonInstance
,
scalarDataProperty:
EntityScalarDataProperty
,
scalarPropertyValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
SingletonInstanceScalarDataPropertyValue
)
abstract
def
createSingletonInstanceStructuredDataPropertyValue
(
extent:
Extent
,
uuid:
SingletonInstanceStructuredDataPropertyValueUUID
,
descriptionBox:
DescriptionBox
,
singletonInstance:
ConceptualEntitySingletonInstance
,
structuredDataProperty:
DataRelationshipToStructure
)
: (
Extent
,
SingletonInstanceStructuredDataPropertyValue
)
abstract
def
createSpecificDisjointConceptAxiom
(
extent:
Extent
,
uuid:
SpecificDisjointConceptAxiomUUID
,
disjointTaxonomyParent:
ConceptTreeDisjunction
,
disjointLeaf:
ConceptKind
)
: (
Extent
,
SpecificDisjointConceptAxiom
)
abstract
def
createStringScalarRestriction
(
extent:
Extent
,
uuid:
StringScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
,
pattern:
Option
[
LiteralPattern
]
)
: (
Extent
,
StringScalarRestriction
)
abstract
def
createStructure
(
extent:
Extent
,
uuid:
StructureUUID
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Structure
)
abstract
def
createStructuredDataProperty
(
extent:
Extent
,
uuid:
StructuredDataPropertyUUID
,
tbox:
TerminologyBox
,
domain:
Structure
,
range:
Structure
,
name:
LocalName
)
: (
Extent
,
StructuredDataProperty
)
abstract
def
createStructuredDataPropertyTuple
(
extent:
Extent
,
uuid:
StructuredDataPropertyTupleUUID
,
structuredDataPropertyContext:
SingletonInstanceStructuredDataPropertyContext
,
structuredDataProperty:
DataRelationshipToStructure
)
: (
Extent
,
StructuredDataPropertyTuple
)
abstract
def
createSubDataPropertyOfAxiom
(
extent:
Extent
,
uuid:
SubDataPropertyOfAxiomUUID
,
tbox:
TerminologyBox
,
subProperty:
EntityScalarDataProperty
,
superProperty:
EntityScalarDataProperty
)
: (
Extent
,
SubDataPropertyOfAxiom
)
abstract
def
createSubObjectPropertyOfAxiom
(
extent:
Extent
,
uuid:
SubObjectPropertyOfAxiomUUID
,
tbox:
TerminologyBox
,
subProperty:
UnreifiedRelationship
,
superProperty:
UnreifiedRelationship
)
: (
Extent
,
SubObjectPropertyOfAxiom
)
abstract
def
createSynonymScalarRestriction
(
extent:
Extent
,
uuid:
SynonymScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
name:
LocalName
)
: (
Extent
,
SynonymScalarRestriction
)
abstract
def
createTerminologyExtensionAxiom
(
extent:
Extent
,
uuid:
TerminologyExtensionAxiomUUID
,
tbox:
TerminologyBox
,
extendedTerminology:
IRI
)
: (
Extent
,
TerminologyExtensionAxiom
)
abstract
def
createTerminologyGraph
(
extent:
Extent
,
uuid:
TerminologyGraphUUID
,
kind:
TerminologyKind
,
iri:
IRI
)
: (
Extent
,
TerminologyGraph
)
abstract
def
createTerminologyNestingAxiom
(
extent:
Extent
,
uuid:
TerminologyNestingAxiomUUID
,
tbox:
TerminologyBox
,
nestingContext:
ConceptKind
,
nestingTerminology:
IRI
)
: (
Extent
,
TerminologyNestingAxiom
)
abstract
def
createTimeScalarRestriction
(
extent:
Extent
,
uuid:
TimeScalarRestrictionUUID
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
minExclusive:
Option
[
LiteralDateTime
]
,
minInclusive:
Option
[
LiteralDateTime
]
,
maxExclusive:
Option
[
LiteralDateTime
]
,
maxInclusive:
Option
[
LiteralDateTime
]
,
name:
LocalName
)
: (
Extent
,
TimeScalarRestriction
)
abstract
def
createUnreifiedRelationship
(
extent:
Extent
,
uuid:
UnreifiedRelationshipUUID
,
tbox:
TerminologyBox
,
source:
Entity
,
target:
Entity
,
isAsymmetric:
Boolean
,
isEssential:
Boolean
,
isFunctional:
Boolean
,
isInverseEssential:
Boolean
,
isInverseFunctional:
Boolean
,
isIrreflexive:
Boolean
,
isReflexive:
Boolean
,
isSymmetric:
Boolean
,
isTransitive:
Boolean
,
name:
LocalName
)
: (
Extent
,
UnreifiedRelationship
)
abstract
def
createUnreifiedRelationshipInstanceTuple
(
extent:
Extent
,
uuid:
UnreifiedRelationshipInstanceTupleUUID
,
descriptionBox:
DescriptionBox
,
unreifiedRelationship:
UnreifiedRelationship
,
domain:
ConceptualEntitySingletonInstance
,
range:
ConceptualEntitySingletonInstance
)
: (
Extent
,
UnreifiedRelationshipInstanceTuple
)
abstract
val
oug
:
OMLUUIDGenerator
Concrete Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
createAnnotationProperty
(
extent:
Extent
,
module:
Module
,
iri:
IRI
,
abbrevIRI:
AbbrevIRI
)
: (
Extent
,
AnnotationProperty
)
def
createAnnotationPropertyValue
(
extent:
Extent
,
subject:
LogicalElement
,
property:
AnnotationProperty
,
value:
StringDataType
)
: (
Extent
,
AnnotationPropertyValue
)
def
createAnonymousConceptUnionAxiom
(
extent:
Extent
,
disjointTaxonomyParent:
ConceptTreeDisjunction
,
name:
LocalName
)
: (
Extent
,
AnonymousConceptUnionAxiom
)
def
createAspect
(
extent:
Extent
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Aspect
)
def
createAspectSpecializationAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
superAspect:
AspectKind
,
subEntity:
Entity
)
: (
Extent
,
AspectSpecializationAxiom
)
def
createBinaryScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
)
: (
Extent
,
BinaryScalarRestriction
)
def
createBundle
(
extent:
Extent
,
kind:
TerminologyKind
,
iri:
IRI
)
: (
Extent
,
Bundle
)
def
createBundledTerminologyAxiom
(
extent:
Extent
,
bundle:
Bundle
,
bundledTerminology:
IRI
)
: (
Extent
,
BundledTerminologyAxiom
)
def
createCardinalityRestrictedAspect
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
Option
[
Entity
]
,
name:
LocalName
,
restrictedCardinality:
PositiveIntegerLiteral
,
restrictedRelationship:
RestrictableRelationship
,
restrictionKind:
CardinalityRestrictionKind
)
: (
Extent
,
CardinalityRestrictedAspect
)
def
createCardinalityRestrictedConcept
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
Option
[
Entity
]
,
name:
LocalName
,
restrictedCardinality:
PositiveIntegerLiteral
,
restrictedRelationship:
RestrictableRelationship
,
restrictionKind:
CardinalityRestrictionKind
)
: (
Extent
,
CardinalityRestrictedConcept
)
def
createCardinalityRestrictedReifiedRelationship
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
Option
[
Entity
]
,
name:
LocalName
,
restrictedCardinality:
PositiveIntegerLiteral
,
restrictedRelationship:
RestrictableRelationship
,
restrictionKind:
CardinalityRestrictionKind
)
: (
Extent
,
CardinalityRestrictedReifiedRelationship
)
def
createChainRule
(
extent:
Extent
,
tbox:
TerminologyBox
,
name:
LocalName
,
head:
RestrictableRelationship
)
: (
Extent
,
ChainRule
)
def
createConcept
(
extent:
Extent
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Concept
)
def
createConceptDesignationTerminologyAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
designatedConcept:
ConceptKind
,
designatedTerminology:
IRI
)
: (
Extent
,
ConceptDesignationTerminologyAxiom
)
def
createConceptInstance
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
singletonConceptClassifier:
ConceptKind
,
name:
LocalName
)
: (
Extent
,
ConceptInstance
)
def
createConceptSpecializationAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
superConcept:
ConceptKind
,
subConcept:
ConceptKind
)
: (
Extent
,
ConceptSpecializationAxiom
)
def
createDescriptionBox
(
extent:
Extent
,
kind:
DescriptionKind
,
iri:
IRI
)
: (
Extent
,
DescriptionBox
)
def
createDescriptionBoxExtendsClosedWorldDefinitions
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
closedWorldDefinitions:
IRI
)
: (
Extent
,
DescriptionBoxExtendsClosedWorldDefinitions
)
def
createDescriptionBoxRefinement
(
extent:
Extent
,
refiningDescriptionBox:
DescriptionBox
,
refinedDescriptionBox:
IRI
)
: (
Extent
,
DescriptionBoxRefinement
)
def
createEntityExistentialRestrictionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedDomain:
Entity
,
restrictedRange:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
EntityExistentialRestrictionAxiom
)
def
createEntityScalarDataProperty
(
extent:
Extent
,
tbox:
TerminologyBox
,
domain:
Entity
,
range:
DataRange
,
isIdentityCriteria:
Boolean
,
name:
LocalName
)
: (
Extent
,
EntityScalarDataProperty
)
def
createEntityScalarDataPropertyExistentialRestrictionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedEntity:
Entity
,
scalarProperty:
EntityScalarDataProperty
,
scalarRestriction:
DataRange
)
: (
Extent
,
EntityScalarDataPropertyExistentialRestrictionAxiom
)
def
createEntityScalarDataPropertyParticularRestrictionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedEntity:
Entity
,
scalarProperty:
EntityScalarDataProperty
,
literalValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
EntityScalarDataPropertyParticularRestrictionAxiom
)
def
createEntityScalarDataPropertyUniversalRestrictionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedEntity:
Entity
,
scalarProperty:
EntityScalarDataProperty
,
scalarRestriction:
DataRange
)
: (
Extent
,
EntityScalarDataPropertyUniversalRestrictionAxiom
)
def
createEntityStructuredDataProperty
(
extent:
Extent
,
tbox:
TerminologyBox
,
domain:
Entity
,
range:
Structure
,
isIdentityCriteria:
Boolean
,
name:
LocalName
)
: (
Extent
,
EntityStructuredDataProperty
)
def
createEntityStructuredDataPropertyParticularRestrictionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
structuredDataProperty:
DataRelationshipToStructure
,
restrictedEntity:
Entity
)
: (
Extent
,
EntityStructuredDataPropertyParticularRestrictionAxiom
)
def
createEntityUniversalRestrictionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedDomain:
Entity
,
restrictedRange:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
EntityUniversalRestrictionAxiom
)
def
createForwardProperty
(
extent:
Extent
,
name:
LocalName
,
reifiedRelationship:
ReifiedRelationship
)
: (
Extent
,
ForwardProperty
)
def
createIRIScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
,
pattern:
Option
[
LiteralPattern
]
)
: (
Extent
,
IRIScalarRestriction
)
def
createInstanceRelationshipEnumerationRestriction
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipEnumerationRestriction
)
def
createInstanceRelationshipExistentialRangeRestriction
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
range:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipExistentialRangeRestriction
)
def
createInstanceRelationshipOneOfRestriction
(
extent:
Extent
,
range:
ConceptualEntitySingletonInstance
,
enumeration:
InstanceRelationshipEnumerationRestriction
)
: (
Extent
,
InstanceRelationshipOneOfRestriction
)
def
createInstanceRelationshipUniversalRangeRestriction
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
range:
Entity
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipUniversalRangeRestriction
)
def
createInstanceRelationshipValueRestriction
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
domain:
ConceptualEntitySingletonInstance
,
range:
ConceptualEntitySingletonInstance
,
restrictedRelationship:
RestrictableRelationship
)
: (
Extent
,
InstanceRelationshipValueRestriction
)
def
createInverseProperty
(
extent:
Extent
,
name:
LocalName
,
reifiedRelationship:
ReifiedRelationship
)
: (
Extent
,
InverseProperty
)
def
createNumericScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
minExclusive:
Option
[
LiteralNumber
]
,
minInclusive:
Option
[
LiteralNumber
]
,
maxExclusive:
Option
[
LiteralNumber
]
,
maxInclusive:
Option
[
LiteralNumber
]
,
name:
LocalName
)
: (
Extent
,
NumericScalarRestriction
)
def
createPlainLiteralScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
,
langRange:
Option
[
LanguageTagDataType
]
,
pattern:
Option
[
LiteralPattern
]
)
: (
Extent
,
PlainLiteralScalarRestriction
)
def
createReifiedRelationship
(
extent:
Extent
,
tbox:
TerminologyBox
,
source:
Entity
,
target:
Entity
,
isAsymmetric:
Boolean
,
isEssential:
Boolean
,
isFunctional:
Boolean
,
isInverseEssential:
Boolean
,
isInverseFunctional:
Boolean
,
isIrreflexive:
Boolean
,
isReflexive:
Boolean
,
isSymmetric:
Boolean
,
isTransitive:
Boolean
,
name:
LocalName
)
: (
Extent
,
ReifiedRelationship
)
def
createReifiedRelationshipInstance
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
singletonConceptualRelationshipClassifier:
ConceptualRelationship
,
name:
LocalName
)
: (
Extent
,
ReifiedRelationshipInstance
)
def
createReifiedRelationshipInstanceDomain
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
reifiedRelationshipInstance:
ReifiedRelationshipInstance
,
domain:
ConceptualEntitySingletonInstance
)
: (
Extent
,
ReifiedRelationshipInstanceDomain
)
def
createReifiedRelationshipInstanceRange
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
reifiedRelationshipInstance:
ReifiedRelationshipInstance
,
range:
ConceptualEntitySingletonInstance
)
: (
Extent
,
ReifiedRelationshipInstanceRange
)
def
createReifiedRelationshipRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
source:
Entity
,
target:
Entity
,
name:
LocalName
)
: (
Extent
,
ReifiedRelationshipRestriction
)
def
createReifiedRelationshipSpecializationAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
superRelationship:
ConceptualRelationship
,
subRelationship:
ConceptualRelationship
)
: (
Extent
,
ReifiedRelationshipSpecializationAxiom
)
def
createRestrictionScalarDataPropertyValue
(
extent:
Extent
,
structuredDataPropertyContext:
RestrictionStructuredDataPropertyContext
,
scalarDataProperty:
DataRelationshipToScalar
,
scalarPropertyValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
RestrictionScalarDataPropertyValue
)
def
createRestrictionStructuredDataPropertyTuple
(
extent:
Extent
,
structuredDataPropertyContext:
RestrictionStructuredDataPropertyContext
,
structuredDataProperty:
DataRelationshipToStructure
)
: (
Extent
,
RestrictionStructuredDataPropertyTuple
)
def
createRootConceptTaxonomyAxiom
(
extent:
Extent
,
bundle:
Bundle
,
root:
ConceptKind
)
: (
Extent
,
RootConceptTaxonomyAxiom
)
def
createRuleBodySegment
(
extent:
Extent
,
previousSegment:
Option
[
RuleBodySegment
]
,
rule:
Option
[
ChainRule
]
)
: (
Extent
,
RuleBodySegment
)
def
createScalar
(
extent:
Extent
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Scalar
)
def
createScalarDataProperty
(
extent:
Extent
,
tbox:
TerminologyBox
,
domain:
Structure
,
range:
DataRange
,
name:
LocalName
)
: (
Extent
,
ScalarDataProperty
)
def
createScalarDataPropertyValue
(
extent:
Extent
,
structuredDataPropertyContext:
SingletonInstanceStructuredDataPropertyContext
,
scalarDataProperty:
DataRelationshipToScalar
,
scalarPropertyValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
ScalarDataPropertyValue
)
def
createScalarOneOfLiteralAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
axiom:
ScalarOneOfRestriction
,
value:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
ScalarOneOfLiteralAxiom
)
def
createScalarOneOfRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
name:
LocalName
)
: (
Extent
,
ScalarOneOfRestriction
)
def
createSegmentPredicate
(
extent:
Extent
,
bodySegment:
RuleBodySegment
,
predicate:
Option
[
Predicate
]
,
reifiedRelationshipSource:
Option
[
ReifiedRelationship
]
,
reifiedRelationshipInverseSource:
Option
[
ReifiedRelationship
]
,
reifiedRelationshipTarget:
Option
[
ReifiedRelationship
]
,
reifiedRelationshipInverseTarget:
Option
[
ReifiedRelationship
]
,
unreifiedRelationshipInverse:
Option
[
UnreifiedRelationship
]
)
: (
Extent
,
SegmentPredicate
)
def
createSingletonInstanceScalarDataPropertyValue
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
singletonInstance:
ConceptualEntitySingletonInstance
,
scalarDataProperty:
EntityScalarDataProperty
,
scalarPropertyValue:
LiteralValue
,
valueType:
Option
[
DataRange
]
)
: (
Extent
,
SingletonInstanceScalarDataPropertyValue
)
def
createSingletonInstanceStructuredDataPropertyValue
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
singletonInstance:
ConceptualEntitySingletonInstance
,
structuredDataProperty:
DataRelationshipToStructure
)
: (
Extent
,
SingletonInstanceStructuredDataPropertyValue
)
def
createSpecificDisjointConceptAxiom
(
extent:
Extent
,
disjointTaxonomyParent:
ConceptTreeDisjunction
,
disjointLeaf:
ConceptKind
)
: (
Extent
,
SpecificDisjointConceptAxiom
)
def
createStringScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
length:
Option
[
PositiveIntegerLiteral
]
,
minLength:
Option
[
PositiveIntegerLiteral
]
,
maxLength:
Option
[
PositiveIntegerLiteral
]
,
name:
LocalName
,
pattern:
Option
[
LiteralPattern
]
)
: (
Extent
,
StringScalarRestriction
)
def
createStructure
(
extent:
Extent
,
tbox:
TerminologyBox
,
name:
LocalName
)
: (
Extent
,
Structure
)
def
createStructuredDataProperty
(
extent:
Extent
,
tbox:
TerminologyBox
,
domain:
Structure
,
range:
Structure
,
name:
LocalName
)
: (
Extent
,
StructuredDataProperty
)
def
createStructuredDataPropertyTuple
(
extent:
Extent
,
structuredDataPropertyContext:
SingletonInstanceStructuredDataPropertyContext
,
structuredDataProperty:
DataRelationshipToStructure
)
: (
Extent
,
StructuredDataPropertyTuple
)
def
createSubDataPropertyOfAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
subProperty:
EntityScalarDataProperty
,
superProperty:
EntityScalarDataProperty
)
: (
Extent
,
SubDataPropertyOfAxiom
)
def
createSubObjectPropertyOfAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
subProperty:
UnreifiedRelationship
,
superProperty:
UnreifiedRelationship
)
: (
Extent
,
SubObjectPropertyOfAxiom
)
def
createSynonymScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
name:
LocalName
)
: (
Extent
,
SynonymScalarRestriction
)
def
createTerminologyExtensionAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
extendedTerminology:
IRI
)
: (
Extent
,
TerminologyExtensionAxiom
)
def
createTerminologyGraph
(
extent:
Extent
,
kind:
TerminologyKind
,
iri:
IRI
)
: (
Extent
,
TerminologyGraph
)
def
createTerminologyNestingAxiom
(
extent:
Extent
,
tbox:
TerminologyBox
,
nestingContext:
ConceptKind
,
nestingTerminology:
IRI
)
: (
Extent
,
TerminologyNestingAxiom
)
def
createTimeScalarRestriction
(
extent:
Extent
,
tbox:
TerminologyBox
,
restrictedRange:
DataRange
,
minExclusive:
Option
[
LiteralDateTime
]
,
minInclusive:
Option
[
LiteralDateTime
]
,
maxExclusive:
Option
[
LiteralDateTime
]
,
maxInclusive:
Option
[
LiteralDateTime
]
,
name:
LocalName
)
: (
Extent
,
TimeScalarRestriction
)
def
createUnreifiedRelationship
(
extent:
Extent
,
tbox:
TerminologyBox
,
source:
Entity
,
target:
Entity
,
isAsymmetric:
Boolean
,
isEssential:
Boolean
,
isFunctional:
Boolean
,
isInverseEssential:
Boolean
,
isInverseFunctional:
Boolean
,
isIrreflexive:
Boolean
,
isReflexive:
Boolean
,
isSymmetric:
Boolean
,
isTransitive:
Boolean
,
name:
LocalName
)
: (
Extent
,
UnreifiedRelationship
)
def
createUnreifiedRelationshipInstanceTuple
(
extent:
Extent
,
descriptionBox:
DescriptionBox
,
unreifiedRelationship:
UnreifiedRelationship
,
domain:
ConceptualEntitySingletonInstance
,
range:
ConceptualEntitySingletonInstance
)
: (
Extent
,
UnreifiedRelationshipInstanceTuple
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
Inherited from
AnyRef
Inherited from
Any
Ungrouped