Uncertain Temporal Variables

IRI:
http://dacura.cs.tcd.ie/ontology/utv#
Date:
22/12/2015
Current version:
0.04.000
Authors:
Gavin Mendel-Gleason
Kevin Feeney
Rob Brennan
Contributors:
Bojan Bozic
Odhran Gavin
Other visualisation:
Ontology source

This ontology is distributed under a Creative Commons Attribution License - http://creativecommons.org/licenses/by/3.0

Abstract

This ontology is used to describe generic data patterns for describing uncertain temporal variables of historical entities. It is used within the Seshat Global Databank.

Table of Content

  1. Introduction
  2. Classes
  3. Object Properties
  4. Data Properties
  5. Annotation Properties
  6. Namespace Declarations

Introduction

This ontology is used to describe generic data patterns for describing uncertain temporal variables of historical entities.

Classes

Bag of Data Valuesc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#BagOfDataValues

One of a number of possible data values.

has super-classes
error1c

Bag of Valuesc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#BagOfValues

One of a number of possible object values.

has super-classes
error3c
is in domain of
Data Values Fromdp, Values Fromop

data rangec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#DataRange

Contains a range of data values.

is equivalent to
range max data value restriction and range min data value restriction
is in domain of
max Data Valuedp, min Data Valuedp

Data Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#DataValue

A data variable value. It can be a definite value, a range or a bag of values.

Definite Data Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#DefiniteDataValue

A variable that holds a definite data value object

has super-classes
error2c

Definite Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#DefiniteValue

A variable that holds a definite value object

has super-classes
error4c

Entityc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Entity

This is the super-class of all primary entities - the units of data collection. Entities have variables associated with them.

is in domain of
Has Variableop

Inferredc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Inferred

The value of the variable has been investigated but is inferred due to the limits of the investigators knowledge (Subjective Epistemic Vagueness )

has super-classes
inferred restriction
is in domain of
inferreddp

Inferred Data Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#InferredDataValue

A data variable value which was inferred

is equivalent to
Definite Data Valuec and Inferredc

Inferred Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#InferredValue

An object variable value which was inferred

is equivalent to
Definite Valuec and Inferredc

Instantc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Instant

A temporal value that is true at a specific point in time.

Instant Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#InstantValue

A temporal scoping value that is true at a certain or uncertain specific point in time.

is in domain of
In Datetimeop

Intervalc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Interval

A temporal value that is true for an interval of time.

has super-classes
Has Beginningop exactly 1
has endop exactly 1
is in domain of
Has Beginningop, has endop

Interval Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#IntervalValue

A collective class for both certain and uncertain intervals.

rangec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Range

Contains a range of object values.

is equivalent to
range max value restriction and range min value restriction
is in domain of
maxValueop, minValueop

Temporal Scoped Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#TemporalScopedDataVariable

An uncertain data variable that also has temporal scoping restrictions.

is equivalent to
Temporal Scopingc and uncertain data variablec
has super-classes
Variablec

Temporal Scoped Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#TemporalScopedVariable

An uncertain object variable that also has temporal scoping restrictions.

is equivalent to
Temporal Scopingc and uncertain variablec
has super-classes
Variablec

Temporal Scopingc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#TemporalScoping

Temporal constraints that can be defined for the span of a variable's validity.

Uncertain Begin Intervalc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainBeginInterval

A time interval that supports uncertainty for the beginning of the interval.

has super-classes
has endop exactly 1
Has Beginningop min 2

Uncertain Both Intervalc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainBothInterval

A time interval that supports uncertainty for the beginning and end of the interval.

has super-classes
has endop min 2
Has Beginningop min 2

uncertain data variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainDataVariable

A data variable which is either definite (with our wwithout inference), has some uncertainty or is unknown.

has super-classes
Variablec

Uncertain End Intervalc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainEndInterval

A time interval that supports uncertainty for the end of the interval.

has super-classes
Has Beginningop exactly 1
has endop min 2

Uncertain Instantc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainInstant

A temporal value that is true at a specific point in time but there are muliple possible values for the specific point in time.

Uncertain Intervalc back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainInterval

A time interval that supports uncertainty at one or both ends of the interval.

Uncertain Temporal Any URI Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalAnyURIDataVariable

This is the base class for all utv:AnyURI variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Any UR I Bag of Data Values Restriction and Any UR I Data Value Restriction and Any UR I Max Data Value Restriction and Any UR I Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Boolean Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalBooleanDataVariable

This is the base class for all utv:Boolean variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Boolean Bag of Data Values Restriction and Boolean Data Value Restriction and Boolean Max Data Value Restriction and Boolean Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalDataVariable

An uncertain data variable that also has temporal scoping restrictions. This is one of the main base classes for all variables.

is equivalent to
Temporal Scoped Data Variablec or uncertain data variablec
has super-classes
Variablec
has sub-classes
Uncertain Temporal Any URI Data Variablec, Uncertain Temporal Boolean Data Variablec, Uncertain Temporal Date Time Data Variablec, Uncertain Temporal Duration Data Variablec, Uncertain Temporal Float Data Variablec, Uncertain Temporal Integer Data Variablec, Uncertain Temporal Non Negative Integer Data Variablec, Uncertain Temporal String Data Variablec, Uncertain Temporal Unsigned Long Data Variablec

Uncertain Temporal Date Time Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalDateTimeDataVariable

This is the base class for all utv:DateTime variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Date Time Bag of Data Values Restriction and Date Time Data Value Restriction and Date Time Max Data Value Restriction and Date Time Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Duration Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalDurationDataVariable

This is the base class for all utv:Duration variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Duration Bag of Data Values Restriction and Duration Data Value Restriction and Duration Max Data Value Restriction and Duration Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Float Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalFloatDataVariable

This is the base class for all utv:Float variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Float Bag of Data Values Restriction and Float Data Value Restriction and Float Max Data Value Restriction and Float Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Integer Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalIntegerDataVariable

This is the base class for all utv:Integer variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Integer Bag of Data Values Restriction and Integer Data Value Restriction and Integer Max Data Value Restriction and Integer Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Non Negative Integer Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalNonNegativeIntegerDataVariable

This is the base class for all utv:NonNegativeInteger variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Non Negative Integer Bag of Data Values Restriction and Non Negative Integer Data Value Restriction and Non Negative Integer Max Data Value Restriction and Non Negative Integer Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal String Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalStringDataVariable

This is the base class for all utv:String variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
String Bag of Data Values Restriction and String Data Value Restriction and String Max Data Value Restriction and String Min Data Value Restriction and Uncertain Temporal Data Variablec
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Unsigned Long Data Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalUnsignedLongDataVariable

This is the base class for all utv:UnsignedLong variables. It supports temporal scoping, uncertainty and unknown or inferred values.

is equivalent to
Uncertain Temporal Data Variablec and Unsigned Long Bag of Data Values Restriction and Unsigned Long Data Value Restriction and Unsigned Long Max Data Value Restriction and Unsigned Long Min Data Value Restriction
has super-classes
Uncertain Temporal Data Variablec

Uncertain Temporal Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainTemporalVariable

An uncertain object variable that also has temporal scoping restrictions. This is one of the main base classes for all variables.

is equivalent to
Temporal Scoped Variablec or uncertain variablec
has super-classes
Variablec

uncertain variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UncertainVariable

An object variable which is either definite (with our wwithout inference), has some uncertainty or is unknown.

has super-classes
Variablec

Unit of Measurec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UnitOfMeasure

Definitions of the units used by variables. Units are defined in Seshat

is in range of
Unit of Measureop

Unknown Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#UnknownValue

The value of the variable has been investigated but is unknown due to the limits of the investigators knowledge (Subjective Epistemic Incompleteness)

has super-classes
unknown value restriction
is in domain of
unknown valuedp

Valuec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Value

An object variable value. It can be a definite value, a range or a bag of values.

Variablec back to ToC or Class ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#Variable

A variable that is defined in the Dacura system and recorded for an Entity type. This is the base of all data collected for Entities to faciliate the addition of temporal scoping, uncertainty, annotations and PROV records about each individual variable value. It allows us to attach such meta-data and constraints to the edge connecting the entity and the value.

has sub-classes
Temporal Scoped Data Variablec, Temporal Scoped Variablec, Uncertain Temporal Data Variablec, Uncertain Temporal Variablec, uncertain data variablec, uncertain variablec
is in domain of
Annotation Mandatorydp, Unit of Measureop, definite data valuedp, definite valueop
is in range of
Has Variableop

Object Properties

definite valueop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#definiteValue

The specified object value of a variable.

has domain
Variablec
has range
thingc

Has Beginningop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#hasBeginning

Used to specify the start time of an interval.

has domain
Intervalc
has range
date time descriptionc

has endop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#hasEnd

Used to specify the end time of an interval.

has domain
Intervalc
has range
date time descriptionc

Has Variableop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#hasVariable

The basic property relation for dacura datasets. Used to relate a entity and the value of a variable with qualified information, e.g. uncertainty, temporal bounds, about the value. All variable properties inherit from this property.

has domain
Entityc
has range
Variablec

In Datetimeop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#inDateTime

Used to specify the point in time of an instant. An UncertainInstant may have multiple instances of this property.

has domain
Instant Valuec
has range
date time descriptionc

maxValueop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#maxValue

The maximum value of a range of objects

has domain
rangec
has range
thingc

minValueop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#minValue

The maximum value of a range of objects

has domain
rangec
has range
thingc

Unit of Measureop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#unitOfMeasure

Associates the variable with a definitions of the units used.

has domain
Variablec
has range
Unit of Measurec

Values Fromop back to ToC or Object Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#valuesFrom

The property which points to values of a bag

has domain
Bag of Valuesc
has range
thingc

Data Properties

Annotation Mandatorydp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#annotationMandatory

If true then this variable must have an explanitory annotation associated with it.

has domain
Variablec
has range
boolean

Data Values Fromdp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#dataValuesFrom

The property which points to values of a bag of datatypes

has domain
Bag of Valuesc
has range
literal

definite data valuedp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#definiteDataValue

The specified value of a variable for a datatype.

has domain
Variablec
has range
literal

inferreddp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#inferred

has domain
Inferredc
has range
boolean

max Data Valuedp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#maxDataValue

The maximum data value of a range

has domain
data rangec
has range
literal

min Data Valuedp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#minDataValue

The maximum value of a data range

has domain
data rangec
has range
literal

unknown valuedp back to ToC or Data Property ToC

IRI: http://dacura.cs.tcd.ie/ontology/utv#unknownValue

has domain
Unknown Valuec
has range
boolean

Annotation Properties

cardinalityap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#cardinality

has valueap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2002/07/owl#hasValue

Namespace Declarations back to ToC

default namespace
http://dacura.cs.tcd.ie/ontology/utv#
dc
http://purl.org/dc/elements/1.1/
error
http://org.semanticweb.owlapi/error#
owl
http://www.w3.org/2002/07/owl#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
time
http://www.w3.org/2006/time#
xsd
http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.