numeric union
type: Datatype
equivalent class: Datatype
  union of: float
  union of: decimal
  union of: integer
  union of: double
subclass of: Resource
description: A datatype that is the union of numeric xsd data types. "numericUnion" is equivalent to the xsd specification that uses an xsd:union of memberTypes="xsd:decimal xsd:double xsd:float xsd:integer".

Datatype Ontology
version info: Created with TopBraid Composer
revision: 1.1
uses non imported resource: description
has graph role: SchemaGraph
date created: 2011-05-29
uses non imported resource: author
last updated: 2014-06-28
owner: TopQuadrant
with attribution to: TopQuadrantAttribution
uses non imported resource: title
author: Ralph Hodgson
namespace: http://www.linkedmodel.org/schema/dtype
uses non imported resource: contributor
uses non imported resource: subject
description: The ontology "dtype" provides a specification of simple data types such as enumerations and codelists. These are needed in support of the conversion of XML Schemas and UML Models to OWL. The purpose of "dtype" is to provide a foundation for expressing rich data types. These data types are typically needed when dealing with OWL representations of data structures derived from XML Schema.
subject: Datatype schema
namespace prefix: dtype
has license type: CC-SHAREALIKE 3PT0-US
name: DTYPE

DTYPE Enumeration
type: Class
subclass of: Restriction
  on property: default value
  max cardinality: 1
subclass of: Restriction
  on property: value
  all values from: DTYPE Enumerated value
subclass of: Restriction
  on property: default value
  all values from: DTYPE Enumerated value
subclass of: Thing
comment: A type that serves as a container for the enumerated values of an enumeration. This enables the enumeration itself to be referenceable. One need for this is in determing the default value of an enumeration , another need is in the management of sub-enumerations and composite enumerations.

default value
type: Property
comment: The property "dtype:defaultValue" is a general property for specifying a value in situations where none is specified, or can be determined. In some cases of use, this property could have a scalar value and in other cases may need to refer to a first class concept that holds a "value object". For this reason, the type of this property is set as "rdf:Property" and the property is rangeless.

value
type: Property
comment: The property "dtype:value" is a general property that in some cases could have scalar values and in other cases may refer to a first class concept that is a "value object". For this reason, the type of this property is set as "rdf:Property" and the property is rangeless.

DTYPE Enumerated value
type: Class
subclass of: Thing
description: The base class for datatypes that have values that are restriced to a set of literals or tokens. The members of the restriction may themselve be restriced by facets that apply to scalar data types.
subclass of: Restriction
  on property: value
  cardinality: 1
subclass of: Restriction
  on property: url
  min cardinality: 0
subclass of: Restriction
  on property: order
  max cardinality: 1
subclass of: Restriction
  on property: name
  max cardinality: 1
subclass of: Restriction
  on property: description
  max cardinality: 1
subclass of: Restriction
  on property: code
  max cardinality: 1
subclass of: Restriction
  on property: position
  max cardinality: 1

order
type: DatatypeProperty
range: nonNegativeInteger
comment: The property "dtype:order" provides a means to specify a precedence. One use of order is in specifying ordered enumerations such as "voag:ConfidentialityLevel". A similar property, but with an important type difference, is "vaem:orderIndex". This is for use on property occurrences in class axioms where it can be placed on a restriction to specify how that property may be transformed into other representations where ordering has some importance, for example, in XML Schema sequences. Whereas "vaem:order" is a datatype property, "vaem:orderIndex" is an annotation property.

code
type: DatatypeProperty
range: anySimpleType
comment: A property for expressing an encoded value. The range has been set to "xsd:anySimpleType" to allow for a variety of scalar datatypes.

position
type: DatatypeProperty
range: nonNegativeInteger

Simple Code List
type: Class
disjoint with: Derived Code List
disjoint with: Composite Code List
subclass of: Restriction
  on property: has member
  all values from: DTYPE Enumerated value
subclass of: Codelist
comment: A simple codelist is one made up only of enumerated values.

Derived Code List
type: Class
disjoint with: Simple Code List
subclass of: Codelist
disjoint with: Composite Code List
subclass of: Restriction
  on property: has member
  all values from: Value Reference
comment: A derived codelist is a sublist of another codelist. The members that it has must be members of the source list.
subclass of: Restriction
  on property: derived from
  all values from: Codelist
subclass of: Restriction
  on property: derived from
  max cardinality: 1

Composite Code List
type: Class
disjoint with: Simple Code List
disjoint with: Derived Code List
subclass of: Restriction
  on property: composite of
  all values from: Codelist
subclass of: Codelist
comment: A composite codelist is a codelist made up of other codelists. It does not introduce any new codes.

has member
type: ObjectProperty
comment: A property for specifying how member elements make up a data structure.

Codelist
type: Class
subclass of: DTYPE Enumeration
comment: A codelist is a controlled vocabulary of terms that are used to represent permissible values of a variable in information systems. The representaiton of codes in "dtype" has been influenced by CCTS and UBL.

Value Reference
type: Class
subclass of: Restriction
  on property: position
  max cardinality: 1
subclass of: Restriction
  on property: refers to
  cardinality: 1
subclass of: Restriction
  on property: refers to
  all values from: DTYPE Enumerated value
subclass of: Thing
comment: A value reference is a pointer to an Enumerated Value. The original position of the value can be overridden by the position attribute.

derived from
type: ObjectProperty
comment: A property for specifying a derivation relationship.

refers to
type: ObjectProperty
comment: An indirection pointer for relating a slot in am occurrence data structure, such as "dtype:ValueReference" with another resource.

composite of
type: ObjectProperty
comment: Aproperty for constructing composite data structures

datatype
type: ObjectProperty

is invalid
type: DatatypeProperty
range: boolean
comment: A boolean flag to state that a value is invalid with respect to its type.

order index
type: AnnotationProperty
range: nonNegativeInteger
comment: The property "dtype:orderIndex" is an annotation property to specify a position that some value or structure will have. One use is to specify the place that a resource has in a sequence. One use is on property occurrences in class axioms. Here "vaem:orderIndex" is placed on a restriction to specify how that property may be transformed into a representation where ordering has some importance, for example, in XML Schema sequences.

literal
type: DatatypeProperty
range: string
comment: A general purpose property for holding string literals.