Skip to content

Smarthome Timeinterval Pattern

Source: ODP portal  ·  Published by: ecareathome-ontology.mpi.aass.oru.se  ·  Category: behavioral  ·  Domain: iot

The ontology pattern Time represents temporal entities in the form of Instant, Interval and Temporal Distance (for example the relative temporal relations between an event and its preconditions.) in the context of smart environments.

What it answers

  • What is the time interval between two specific timestamps in the form of dates?
  • What is the temporal distance between two specific time steps?

The pattern

The graph is the axioms the pattern asserts; nothing here is inferred. Drag to rearrange, scroll to zoom, and use the graph's own search box to find a term inside it.

Opens at level of detail 3: classes, individuals, properties and restrictions, without the literals. Raise it with the LOD control in the graph's own toolbar to see annotation values and anything a reasoner adds.

Download the pattern

Should you use this one?
Size 9 classes, 1 properties, 52 axioms
Brings in 1 imported ontology, so adopting it adopts that too
Reasoning HermiT finds this pattern consistent, with no unsatisfiable class, and its worked example consistent with the pattern.

A situation it was written for. We can quantitavely represent temporal distances through an observation process for different purposes . These purposes include definition of an event in terms of its preconditions whose occurance timestamp is within a specific temporal distance with that of the event.

Check it yourself: the published pattern  ·  an archived copy  ·  the ontology itself.

If a link does not open

ontologydesignpatterns.org, which publishes most of this library, does not currently answer over HTTPS, and its wiki redirects submission pages to its front page. The archived copy is there for exactly that reason. The ontology files themselves are still served over plain HTTP.

Terms it declares

The 83 classes and properties this pattern models, as the recommender scores them. Annotation properties and built-ins are excluded, because an annotation property is not modelling.

  • http://www.w3.org/2006/time#DateTimeDescription
  • http://www.w3.org/2006/time#DateTimeInterval
  • http://www.w3.org/2006/time#DayOfWeek
  • http://www.w3.org/2006/time#Duration
  • http://www.w3.org/2006/time#DurationDescription
  • http://www.w3.org/2006/time#GeneralDateTimeDescription
  • http://www.w3.org/2006/time#GeneralDurationDescription
  • http://www.w3.org/2006/time#Instant
  • http://www.w3.org/2006/time#Interval
  • http://www.w3.org/2006/time#January
  • http://www.w3.org/2006/time#MonthOfYear
  • http://www.w3.org/2006/time#ProperInterval
  • http://www.w3.org/2006/time#TRS
  • http://www.w3.org/2006/time#TemporalDuration
  • http://www.w3.org/2006/time#TemporalEntity
  • http://www.w3.org/2006/time#TemporalPosition
  • http://www.w3.org/2006/time#TemporalUnit
  • http://www.w3.org/2006/time#TimePosition
  • http://www.w3.org/2006/time#TimeZone
  • http://www.w3.org/2006/time#Year
  • http://www.w3.org/2006/time#after
  • http://www.w3.org/2006/time#before
  • http://www.w3.org/2006/time#day
  • http://www.w3.org/2006/time#dayOfWeek
  • http://www.w3.org/2006/time#dayOfYear
  • http://www.w3.org/2006/time#days
  • http://www.w3.org/2006/time#hasBeginning
  • http://www.w3.org/2006/time#hasDateTimeDescription
  • http://www.w3.org/2006/time#hasDuration
  • http://www.w3.org/2006/time#hasDurationDescription
  • http://www.w3.org/2006/time#hasEnd
  • http://www.w3.org/2006/time#hasTRS
  • http://www.w3.org/2006/time#hasTemporalDuration
  • http://www.w3.org/2006/time#hasTime
  • http://www.w3.org/2006/time#hasXSDDuration
  • http://www.w3.org/2006/time#hour
  • http://www.w3.org/2006/time#hours
  • http://www.w3.org/2006/time#inDateTime
  • http://www.w3.org/2006/time#inTemporalPosition
  • http://www.w3.org/2006/time#inTimePosition
  • http://www.w3.org/2006/time#inXSDDate
  • http://www.w3.org/2006/time#inXSDDateTime
  • http://www.w3.org/2006/time#inXSDDateTimeStamp
  • http://www.w3.org/2006/time#inXSDgYear
  • http://www.w3.org/2006/time#inXSDgYearMonth
  • http://www.w3.org/2006/time#inside
  • http://www.w3.org/2006/time#intervalAfter
  • http://www.w3.org/2006/time#intervalBefore
  • http://www.w3.org/2006/time#intervalContains
  • http://www.w3.org/2006/time#intervalDisjoint
  • http://www.w3.org/2006/time#intervalDuring
  • http://www.w3.org/2006/time#intervalEquals
  • http://www.w3.org/2006/time#intervalFinishedBy
  • http://www.w3.org/2006/time#intervalFinishes
  • http://www.w3.org/2006/time#intervalIn
  • http://www.w3.org/2006/time#intervalMeets
  • http://www.w3.org/2006/time#intervalMetBy
  • http://www.w3.org/2006/time#intervalOverlappedBy
  • http://www.w3.org/2006/time#intervalOverlaps
  • http://www.w3.org/2006/time#intervalStartedBy
  • http://www.w3.org/2006/time#intervalStarts
  • http://www.w3.org/2006/time#minute
  • http://www.w3.org/2006/time#minutes
  • http://www.w3.org/2006/time#month
  • http://www.w3.org/2006/time#monthOfYear
  • http://www.w3.org/2006/time#months
  • http://www.w3.org/2006/time#nominalPosition
  • http://www.w3.org/2006/time#numericDuration
  • http://www.w3.org/2006/time#numericPosition
  • http://www.w3.org/2006/time#second
  • http://www.w3.org/2006/time#seconds
  • http://www.w3.org/2006/time#timeZone
  • http://www.w3.org/2006/time#unitType
  • http://www.w3.org/2006/time#week
  • http://www.w3.org/2006/time#weeks
  • http://www.w3.org/2006/time#xsdDateTime
  • http://www.w3.org/2006/time#year
  • http://www.w3.org/2006/time#years
  • https://w3id.org/smartenvironment/patterns/time.owl#Instant
  • https://w3id.org/smartenvironment/patterns/time.owl#Interval
  • https://w3id.org/smartenvironment/patterns/time.owl#TemporalDistance
  • https://w3id.org/smartenvironment/patterns/time.owl#TemporalEntity
  • https://w3id.org/smartenvironment/patterns/time.owl#TimeDuration

An example of it in use

The pattern says what may be asserted; this says it. The graph below is a small set of individuals that instantiate the classes above and are connected by its properties, so the shape the pattern describes is visible as data rather than as a schema.

Download the example

Import this pattern into your own ontology from inside Protégé: OntoBoard → Reuse → Pattern library…, which hands it to Import terms… and writes the term list, the module, the import and the catalog entry the way ODK expects. See Working with ODK.

Something wrong with this pattern, its example or this page? Report a problem with this pattern - the form opens with the pattern filled in, and a title and a sentence are all it needs.