IRI:: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl

Current version:: 1.0 - Revised, and added annotations for ODP publishing 0.1 - Created by Aldo Gangemi
Current version:: 1.1 added rdfs:isDefinedBy for all named entities

Imported Ontologies:: http://www.ontologydesignpatterns.org/cp/owl/situation.owl (visualise it with LODE); http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl (visualise it with LODE); http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl (visualise it with LODE)

Other visualisation:: Ontology source; Machester Ontology Browser

Abstract

Classes

Time indexed situation

Time indexed situation^c back to ToC or Class ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#TimeIndexedSituation

is defined by: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl

A Situation that is explicitly indexed at some time for at least one entity.

has super-classes

situation:Situation^c
at time^op min 1
for entity^op min 1

is in domain of

at time^op, for entity^op

is in range of

has time indexed setting^op, is time index for^op

at time^op back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#atTime

is defined by: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl

has super-properties

situation:isSettingFor^op

has domain

Time indexed situation^c

has range

timeinterval:TimeInterval^c

for entity^op back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#forEntity

is defined by: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl

has super-properties

situation:isSettingFor^op

has domain

Time indexed situation^c

has range

owl:Thing^c

has time indexed setting^op back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#hasTimeIndexedSetting

is defined by: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl

has super-properties

situation:hasSetting^op

has domain

owl:Thing^c

has range

Time indexed situation^c

is inverse of

for entity^op

is time index for^op back to ToC or Object Property ToC

IRI: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#isTimeIndexFor

is defined by: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl

has super-properties

situation:hasSetting^op

has domain

timeinterval:TimeInterval^c

has range

Time indexed situation^c

is inverse of

at time^op

Annotation Properties

cpannotationschema:coversRequirements
cpannotationschema:hasAuthor
cpannotationschema:hasComponent
cpannotationschema:hasConsequences
cpannotationschema:hasIntent
cpannotationschema:hasUnitTest
cpannotationschema:isSpecializationOf
cpannotationschema:relatedCPs
cpannotationschema:scenarios
owl:versionInfo
rdfs:comment
rdfs:isDefinedBy
rdfs:label

cpannotationschema:coversRequirements^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#coversRequirements

cpannotationschema:hasAuthor^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasAuthor

cpannotationschema:hasComponent^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasComponent

cpannotationschema:hasConsequences^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasConsequences

cpannotationschema:hasIntent^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasIntent

cpannotationschema:hasUnitTest^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#hasUnitTest

cpannotationschema:isSpecializationOf^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#isSpecializationOf

cpannotationschema:relatedCPs^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#relatedCPs

cpannotationschema:scenarios^ap back to ToC or Annotation Property ToC

IRI: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#scenarios

owl:versionInfo^ap back to ToC or Annotation Property ToC

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

rdfs:comment^ap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#comment

rdfs:isDefinedBy^ap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#isDefinedBy

rdfs:label^ap back to ToC or Annotation Property ToC

IRI: http://www.w3.org/2000/01/rdf-schema#label

Namespace Declarations back to ToC

default namespace: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#
cpannotationschema: http://www.ontologydesignpatterns.org/schemas/cpannotationschema.owl#
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#
situation: http://www.ontologydesignpatterns.org/cp/owl/situation.owl#
timeindexedsituation: http://www.ontologydesignpatterns.org/cp/owl/timeindexedsituation.owl#
timeinterval: http://www.ontologydesignpatterns.org/cp/owl/timeinterval.owl#
xsd: http://www.w3.org/2001/XMLSchema#

This HTML document was obtained by processing the OWL ontology source code throughLODE, Live OWL Documentation Environment, developed bySilvio Peroni.

Abstract

Table of Content

Classes

Time indexed situationc back to ToC or Class ToC

Object Properties

at timeop back to ToC or Object Property ToC

for entityop back to ToC or Object Property ToC

has time indexed settingop back to ToC or Object Property ToC

is time index forop back to ToC or Object Property ToC

Annotation Properties

cpannotationschema:coversRequirementsap back to ToC or Annotation Property ToC

cpannotationschema:hasAuthorap back to ToC or Annotation Property ToC

cpannotationschema:hasComponentap back to ToC or Annotation Property ToC

cpannotationschema:hasConsequencesap back to ToC or Annotation Property ToC

cpannotationschema:hasIntentap back to ToC or Annotation Property ToC

cpannotationschema:hasUnitTestap back to ToC or Annotation Property ToC

cpannotationschema:isSpecializationOfap back to ToC or Annotation Property ToC

cpannotationschema:relatedCPsap back to ToC or Annotation Property ToC

cpannotationschema:scenariosap back to ToC or Annotation Property ToC

owl:versionInfoap back to ToC or Annotation Property ToC

rdfs:commentap back to ToC or Annotation Property ToC

rdfs:isDefinedByap back to ToC or Annotation Property ToC

rdfs:labelap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC

Time indexed situation^c back to ToC or Class ToC

at time^op back to ToC or Object Property ToC

for entity^op back to ToC or Object Property ToC

has time indexed setting^op back to ToC or Object Property ToC

is time index for^op back to ToC or Object Property ToC

cpannotationschema:coversRequirements^ap back to ToC or Annotation Property ToC

cpannotationschema:hasAuthor^ap back to ToC or Annotation Property ToC

cpannotationschema:hasComponent^ap back to ToC or Annotation Property ToC

cpannotationschema:hasConsequences^ap back to ToC or Annotation Property ToC

cpannotationschema:hasIntent^ap back to ToC or Annotation Property ToC

cpannotationschema:hasUnitTest^ap back to ToC or Annotation Property ToC

cpannotationschema:isSpecializationOf^ap back to ToC or Annotation Property ToC

cpannotationschema:relatedCPs^ap back to ToC or Annotation Property ToC

cpannotationschema:scenarios^ap back to ToC or Annotation Property ToC

owl:versionInfo^ap back to ToC or Annotation Property ToC

rdfs:comment^ap back to ToC or Annotation Property ToC

rdfs:isDefinedBy^ap back to ToC or Annotation Property ToC

rdfs:label^ap back to ToC or Annotation Property ToC