Mercurial > hg > dbtune-site

annotate onto/doc/timeline.n3 @ 19:1e79ce3ff5f5 tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simplify and cut some non-working resource paths
author Chris Cannam
date Wed, 08 Nov 2017 15:27:23 +0000
parents 1e44d666ced1
children
rev   line source
Chris@0 1 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
Chris@0 2 @prefix : <http://purl.org/NET/c4dm/timeline.owl#> .
Chris@0 3 @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
Chris@0 4 @prefix dc: <http://purl.org/dc/elements/1.1/> .
Chris@0 5 @prefix dcterms: <http://purl.org/dc/terms/> .
Chris@0 6 @prefix owl: <http://www.w3.org/2002/07/owl#> .
Chris@0 7 @prefix foaf: <http://xmlns.com/foaf/0.1/> .
Chris@0 8 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
Chris@0 9 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
Chris@0 10 @prefix time: <http://www.w3.org/2006/time#>.
Chris@0 11
Chris@0 12
Chris@0 13 <http://purl.org/NET/c4dm/timeline.owl>
Chris@0 14 a owl:Ontology;
Chris@0 15 rdfs:comment """
Chris@0 16 Extends owl-time ontology (http://www.w3.org/2006/time) with
Chris@0 17 support for several timelines, acting as a backbone to adress
Chris@0 18 time interval/instants.
Chris@0 19
Chris@0 20 Mainly designed with a multimedia use-case in mind.
Chris@0 21
Chris@0 22 Copyright (c) Yves Raimond, Samer Abdallah, Centre for Digital Music, Queen Mary, University of London
Chris@0 23 """^^xsd:string;
Chris@0 24 foaf:maker <http://moustaki.org/foaf.rdf#moustaki>;
Chris@0 25 owl:imports <http://www.w3.org/2006/time-entry>, <http://www.w3.org/2006/time> . # Some things for OWL geeks, although I think this is completely useless
Chris@0 26
Chris@0 27 ###############################################
Chris@0 28 # Part 1: Core terms defined by this ontology #
Chris@0 29 ###############################################
Chris@0 30
Chris@0 31 :TimeLine
Chris@0 32 a owl:Class;
Chris@0 33 rdfs:label "timeline";
Chris@0 34 rdfs:comment """Represents a linear and coherent piece of time -- can be either abstract (such as the one behind a score) or concrete (such as the universal time line).
Chris@0 35 Two timelines can be mapped using timeline maps."""^^xsd:string .
Chris@0 36
Chris@0 37 :Instant a owl:Class;
Chris@0 38 rdfs:label "instant";
Chris@0 39 rdfs:comment "An instant (same as in OWL-Time)";
Chris@0 40 owl:sameAs time:Instant;
Chris@0 41 .
Chris@0 42
Chris@0 43 :Interval a owl:Class;
Chris@0 44 rdfs:label "interval";
Chris@0 45 rdfs:comment "An interval (same as in OWL-Time). Allen's relationships are defined in OWL-Time.";
Chris@0 46 owl:sameAs time:ProperInterval;
Chris@0 47 .
Chris@0 48
Chris@0 49 :onTimeLine
Chris@0 50 a owl:FunctionalProperty, owl:ObjectProperty;
Chris@0 51 rdfs:label "on timeline";
Chris@0 52 rdfs:comment """
Chris@0 53 Relates an interval or an instant to the timeline on which it is defined.
Chris@0 54
Chris@0 55 The 29th of August, 2007 would be linked through this property to the universal timeline, whereas
Chris@0 56 \"from 2s to 5s on this particular signal\" would be defined on the signal' timeline.
Chris@0 57
Chris@0 58 """^^xsd:string;
Chris@0 59 rdfs:range :TimeLine;
Chris@0 60 rdfs:domain [
Chris@0 61 a owl:Class;
Chris@0 62 owl:unionOf (
Chris@0 63 :Instant
Chris@0 64 :Interval
Chris@0 65 )
Chris@0 66 ] .
Chris@0 67
Chris@0 68 :at
Chris@0 69 a owl:FunctionalProperty;
Chris@0 70 rdfs:label "at";
Chris@0 71 rdfs:comment "refers to a point or an interval on the time line, through an explicit datatype"^^xsd:string;
Chris@0 72 rdfs:domain [
Chris@0 73 a owl:Class;
Chris@0 74 owl:unionOf (
Chris@0 75 :Interval
Chris@0 76 :Instant
Chris@0 77 )
Chris@0 78 ];
Chris@0 79 a owl:DatatypeProperty .
Chris@0 80
Chris@0 81 :duration
Chris@0 82 rdfs:label "duration";
Chris@0 83 rdfs:comment "the duration of a time interval";
Chris@0 84 a owl:DatatypeProperty;
Chris@0 85 rdfs:domain :Interval .
Chris@0 86
Chris@0 87 :endsAt
Chris@0 88 rdfs:label "ends at";
Chris@0 89 rdfs:comment "refers to the end of a time interval, through an explicit datatype. time:hasEnd can be used as well, if you want to associate the end of the interval to an explicit time point resource";
Chris@0 90 a owl:DatatypeProperty;
Chris@0 91 rdfs:domain :Interval .
Chris@0 92
Chris@0 93 :beginsAt
Chris@0 94 rdfs:label "begins at";
Chris@0 95 rdfs:comment "refers to the beginning of a time interval, through an explicit datatype. time:hasBeginning can be used as well, if you want to associate the beginning of the interval to an explicit time point resource";
Chris@0 96 a owl:DatatypeProperty;
Chris@0 97 rdfs:domain :Interval .
Chris@0 98
Chris@0 99
Chris@0 100 ############################################################################
Chris@0 101 # Part 2: Extra DL stuff, timeline taxonomies, coordinate systems handling #
Chris@0 102 # - This section is not compulsory and should be avoided for simple use #
Chris@0 103 ############################################################################
Chris@0 104
Chris@0 105
Chris@0 106 :AbstractInterval
Chris@0 107 a owl:Class;
Chris@0 108 rdfs:label "abstract interval";
Chris@0 109 rdfs:comment """
Chris@0 110 An interval defined on an abstract time-line.
Chris@0 111 """;
Chris@0 112 owl:equivalentClass [
Chris@0 113 a owl:Restriction;
Chris@0 114 owl:someValuesFrom :AbstractTimeLine;
Chris@0 115 owl:onProperty :onTimeLine
Chris@0 116 ];
Chris@0 117 rdfs:subClassOf :Interval .
Chris@0 118
Chris@0 119 :AbstractTimeLine
Chris@0 120 a owl:Class;
Chris@0 121 rdfs:label "abstract timeline";
Chris@0 122 rdfs:comment """
Chris@0 123 Abstract time lines may be used as a backbone for Score, Works, ...
Chris@0 124 This allows for TimeLine maps to relate works to a given
Chris@0 125 performance (this part was played at this time)."""^^xsd:string;
Chris@0 126 rdfs:subClassOf :TimeLine .
Chris@0 127
Chris@0 128 :UTInstant
Chris@0 129 a owl:Class;
Chris@0 130 rdfs:label "instant on the universal timeline";
Chris@0 131 rdfs:comment "This concept expresses that an instant defined on the universal timeline must be associated to a dateTime value";
Chris@0 132 rdfs:subClassOf [
Chris@0 133 a owl:Restriction;
Chris@0 134 owl:cardinality "1"^^xsd:int;
Chris@0 135 owl:onProperty :atDateTime
Chris@0 136 ];
Chris@0 137 owl:equivalentClass [
Chris@0 138 a owl:Class;
Chris@0 139 owl:intersectionOf (
Chris@0 140 [
Chris@0 141 a owl:Restriction;
Chris@0 142 owl:hasValue :universaltimeline;
Chris@0 143 owl:onProperty :onTimeLine
Chris@0 144 ]
Chris@0 145 :Instant
Chris@0 146 )
Chris@0 147 ] .
Chris@0 148
Chris@0 149 :atDateTime
Chris@0 150 rdfs:label "at date/time";
Chris@0 151 rdfs:comment "This property links an instant defined on the universal time line to an XSD date/time value";
Chris@0 152 a owl:DatatypeProperty;
Chris@0 153 rdfs:range xsd:dateTime;
Chris@0 154 rdfs:subPropertyOf :at .
Chris@0 155
Chris@0 156 :universaltimeline
Chris@0 157 dc:title "the universal time line";
Chris@0 158 dc:description "The timeline one can addresss \"the 1st of July, 2007\"";
Chris@0 159 a :PhysicalTimeLine;
Chris@0 160 rdfs:comment "this is the `universal' time line -- can adress time intervals on it using date/dateTime -- UTC"^^xsd:string .
Chris@0 161
Chris@0 162 :UniformSamplingMap
Chris@0 163 a owl:Class;
Chris@0 164 rdfs:label "uniform sampling map";
Chris@0 165 rdfs:subClassOf [
Chris@0 166 a owl:Restriction;
Chris@0 167 owl:cardinality "1"^^xsd:int;
Chris@0 168 owl:onProperty :sampleRate
Chris@0 169 ], [
Chris@0 170 a owl:Restriction;
Chris@0 171 owl:onProperty :rangeTimeLine;
Chris@0 172 owl:someValuesFrom :DiscreteTimeLine
Chris@0 173 ], [
Chris@0 174 a owl:Restriction;
Chris@0 175 owl:onProperty :domainTimeLine;
Chris@0 176 owl:someValuesFrom :RelativeTimeLine
Chris@0 177 ], :TimeLineMap;
Chris@0 178 rdfs:comment "Describe the relation between a continuous time-line and its sampled equivalent"^^xsd:string;
Chris@0 179 owl:disjointWith :UniformWindowingMap .
Chris@0 180
Chris@0 181 :sampleRate
Chris@0 182 a owl:FunctionalProperty;
Chris@0 183 rdfs:label "sample rate";
Chris@0 184 rdfs:comment "associates a sample rate value to a uniform sampling map";
Chris@0 185 rdfs:range xsd:int;
Chris@0 186 a owl:DatatypeProperty;
Chris@0 187 rdfs:domain :UniformSamplingMap .
Chris@0 188
Chris@0 189 :rangeTimeLine
Chris@0 190 rdfs:label "range timeline";
Chris@0 191 rdfs:comment "associates a timeline map to its range timeline";
Chris@0 192 a owl:FunctionalProperty;
Chris@0 193 rdfs:domain :TimeLineMap;
Chris@0 194 a owl:ObjectProperty;
Chris@0 195 rdfs:range :TimeLine .
Chris@0 196
Chris@0 197 :DiscreteTimeLine
Chris@0 198 a owl:Class;
Chris@0 199 rdfs:label "discrete time line";
Chris@0 200 rdfs:subClassOf :TimeLine;
Chris@0 201 rdfs:comment "A discrete time line (like the time line backing a digital signal"^^xsd:string;
Chris@0 202 owl:disjointWith :ContinuousTimeLine .
Chris@0 203
Chris@0 204 :domainTimeLine
Chris@0 205 rdfs:label "domain timeline";
Chris@0 206 rdfs:comment "associates a timeline map to its domain timeline";
Chris@0 207 a owl:FunctionalProperty;
Chris@0 208 rdfs:range :TimeLine;
Chris@0 209 rdfs:domain :TimeLineMap;
Chris@0 210 a owl:ObjectProperty .
Chris@0 211
Chris@0 212 :RelativeTimeLine
Chris@0 213 rdfs:label "relative timeline";
Chris@0 214 a owl:Class;
Chris@0 215 rdfs:subClassOf :ContinuousTimeLine;
Chris@0 216 rdfs:comment "Semi infinite time line...canonical coordinate system --> adressed through xsd:duration since the instant 0."^^xsd:string;
Chris@0 217 owl:disjointWith :PhysicalTimeLine .
Chris@0 218
Chris@0 219 :TimeLineMap
Chris@0 220 a owl:Class;
Chris@0 221 rdfs:label "timeline map";
Chris@0 222 rdfs:comment "Allows to map two time lines together"^^xsd:string .
Chris@0 223
Chris@0 224 :UniformWindowingMap
Chris@0 225 a owl:Class;
Chris@0 226 rdfs:label "uniform windowing map";
Chris@0 227 rdfs:subClassOf [
Chris@0 228 a owl:Restriction;
Chris@0 229 owl:cardinality "1"^^xsd:int;
Chris@0 230 owl:onProperty :hopSize
Chris@0 231 ], [
Chris@0 232 a owl:Restriction;
Chris@0 233 owl:cardinality "1"^^xsd:int;
Chris@0 234 owl:onProperty :windowLength
Chris@0 235 ], :TimeLineMap, [
Chris@0 236 a owl:Restriction;
Chris@0 237 owl:onProperty :domainTimeLine;
Chris@0 238 owl:someValuesFrom :DiscreteTimeLine
Chris@0 239 ], [
Chris@0 240 a owl:Restriction;
Chris@0 241 owl:someValuesFrom :DiscreteTimeLine;
Chris@0 242 owl:onProperty :rangeTimeLine
Chris@0 243 ];
Chris@0 244 rdfs:comment "Describes the relation between a discrete time line and its windowed equivalent"^^xsd:string;
Chris@0 245 owl:disjointWith :UniformSamplingMap .
Chris@0 246
Chris@0 247 :DiscreteInstant
Chris@0 248 a owl:Class;
Chris@0 249 rdfs:label "discrete instant";
Chris@0 250 rdfs:comment "An instant defined on a discrete timeline";
Chris@0 251 owl:equivalentClass [
Chris@0 252 a owl:Class;
Chris@0 253 owl:intersectionOf (
Chris@0 254 [
Chris@0 255 a owl:Restriction;
Chris@0 256 owl:onProperty :onTimeLine;
Chris@0 257 owl:someValuesFrom :DiscreteTimeLine
Chris@0 258 ]
Chris@0 259 :Instant
Chris@0 260 )
Chris@0 261 ];
Chris@0 262 rdfs:subClassOf [
Chris@0 263 a owl:Restriction;
Chris@0 264 owl:onProperty :atInt;
Chris@0 265 owl:cardinality "1"^^xsd:int
Chris@0 266 ] .
Chris@0 267
Chris@0 268 :atInt
Chris@0 269 a owl:DatatypeProperty;
Chris@0 270 rdfs:label "at (integer)";
Chris@0 271 rdfs:comment "A subproperty of :at, having as a specific range xsd:int";
Chris@0 272 rdfs:range xsd:int;
Chris@0 273 rdfs:subPropertyOf :at .
Chris@0 274
Chris@0 275 :ContinuousTimeLine
Chris@0 276 a owl:Class;
Chris@0 277 rdfs:label "continuous timeline";
Chris@0 278 rdfs:comment "A continuous timeline, like the universal one, or the one backing an analog signal";
Chris@0 279 rdfs:subClassOf :TimeLine;
Chris@0 280 owl:disjointWith :DiscreteTimeLine;
Chris@0 281 owl:equivalentClass [
Chris@0 282 a owl:Class;
Chris@0 283 owl:unionOf (
Chris@0 284 :PhysicalTimeLine
Chris@0 285 :RelativeTimeLine
Chris@0 286 )
Chris@0 287 ] .
Chris@0 288
Chris@0 289 :PhysicalTimeLine
Chris@0 290 a owl:Class;
Chris@0 291 rdfs:label "physical timeline";
Chris@0 292 rdfs:subClassOf :ContinuousTimeLine;
Chris@0 293 rdfs:comment "A \"physical\" time-line (the universal time line (UTC)) is an instance of this class. Other time zones consists in instances of this class as well, with a \"shifting\" time line map relating them to the universal time line map."^^xsd:string;
Chris@0 294 owl:disjointWith :RelativeTimeLine .
Chris@0 295
Chris@0 296 :OriginMap
Chris@0 297 a owl:Class;
Chris@0 298 rdfs:label "origin map";
Chris@0 299 rdfs:comment "A timeline map linking a physical timeline to a relative one (originating at some point on the physical timeline)";
Chris@0 300 rdfs:subClassOf [
Chris@0 301 a owl:Restriction;
Chris@0 302 owl:someValuesFrom :RelativeTimeLine;
Chris@0 303 owl:onProperty :rangeTimeLine
Chris@0 304 ], [
Chris@0 305 a owl:Restriction;
Chris@0 306 owl:someValuesFrom :PhysicalTimeLine;
Chris@0 307 owl:onProperty :domainTimeLine
Chris@0 308 ], :TimeLineMap .
Chris@0 309
Chris@0 310 :DiscreteInterval
Chris@0 311 a owl:Class;
Chris@0 312 rdfs:label "discrete interval";
Chris@0 313 rdfs:comment "An interval defined on a discrete timeline, like the one backing a digital signal";
Chris@0 314 rdfs:subClassOf [
Chris@0 315 a owl:Class;
Chris@0 316 owl:unionOf (
Chris@0 317 [
Chris@0 318 a owl:Class;
Chris@0 319 owl:intersectionOf (
Chris@0 320 [
Chris@0 321 a owl:Restriction;
Chris@0 322 owl:onProperty <http://www.w3.org/2006/time#hasBeginning>;
Chris@0 323 owl:cardinality "1"^^xsd:int
Chris@0 324 ]
Chris@0 325 [
Chris@0 326 a owl:Restriction;
Chris@0 327 owl:onProperty <http://www.w3.org/2006/time#hasEnd>;
Chris@0 328 owl:cardinality "1"^^xsd:int
Chris@0 329 ]
Chris@0 330 )
Chris@0 331 ]
Chris@0 332 [
Chris@0 333 a owl:Class;
Chris@0 334 owl:intersectionOf (
Chris@0 335 [
Chris@0 336 a owl:Restriction;
Chris@0 337 owl:cardinality "1"^^xsd:int;
Chris@0 338 owl:onProperty :beginsAtInt
Chris@0 339 ]
Chris@0 340 [
Chris@0 341 a owl:Restriction;
Chris@0 342 owl:onProperty :endsAtInt;
Chris@0 343 owl:cardinality "1"^^xsd:int
Chris@0 344 ]
Chris@0 345 )
Chris@0 346 ]
Chris@0 347 [
Chris@0 348 a owl:Class;
Chris@0 349 owl:intersectionOf (
Chris@0 350 [
Chris@0 351 a owl:Restriction;
Chris@0 352 owl:cardinality "1"^^xsd:int;
Chris@0 353 owl:onProperty :beginsAtInt
Chris@0 354 ]
Chris@0 355 [
Chris@0 356 a owl:Restriction;
Chris@0 357 owl:onProperty :durationInt;
Chris@0 358 owl:cardinality "1"^^xsd:int
Chris@0 359 ]
Chris@0 360 )
Chris@0 361 ]
Chris@0 362 )
Chris@0 363 ];
Chris@0 364 owl:equivalentClass [
Chris@0 365 a owl:Class;
Chris@0 366 owl:intersectionOf (
Chris@0 367 [
Chris@0 368 a owl:Restriction;
Chris@0 369 owl:someValuesFrom :DiscreteTimeLine;
Chris@0 370 owl:onProperty :onTimeLine
Chris@0 371 ]
Chris@0 372 :Interval
Chris@0 373 )
Chris@0 374 ] .
Chris@0 375
Chris@0 376 :beginsAtInt
Chris@0 377 a owl:DatatypeProperty;
Chris@0 378 rdfs:label "begins at (integer)";
Chris@0 379 rdfs:comment "A subproperty of :beginsAt, having xsd:int as a range";
Chris@0 380 rdfs:range xsd:int;
Chris@0 381 rdfs:subPropertyOf :beginsAt .
Chris@0 382
Chris@0 383 :endsAtInt
Chris@0 384 a owl:DatatypeProperty;
Chris@0 385 rdfs:label "ends at (integer)";
Chris@0 386 rdfs:comment "A subproperty of :endsAt, having xsd:int as a range";
Chris@0 387 rdfs:subPropertyOf :endsAt;
Chris@0 388 rdfs:range xsd:int .
Chris@0 389
Chris@0 390 :durationInt
Chris@0 391 rdfs:label "duration (integer)";
Chris@0 392 rdfs:comment "A subproperty of :duration, having xsd:int as a range";
Chris@0 393 a owl:DatatypeProperty;
Chris@0 394 rdfs:range xsd:int;
Chris@0 395 rdfs:subPropertyOf :duration .
Chris@0 396
Chris@0 397 :RelativeInterval
Chris@0 398 a owl:Class;
Chris@0 399 rdfs:label "relative interval";
Chris@0 400 rdfs:comment "an interval defined on a relative timeline";
Chris@0 401 rdfs:subClassOf [
Chris@0 402 a owl:Class;
Chris@0 403 owl:unionOf (
Chris@0 404 [
Chris@0 405 a owl:Class;
Chris@0 406 owl:intersectionOf (
Chris@0 407 [
Chris@0 408 a owl:Restriction;
Chris@0 409 owl:cardinality "1"^^xsd:int;
Chris@0 410 owl:onProperty <http://www.w3.org/2006/time#hasBeginning>
Chris@0 411 ]
Chris@0 412 [
Chris@0 413 a owl:Restriction;
Chris@0 414 owl:cardinality "1"^^xsd:int;
Chris@0 415 owl:onProperty <http://www.w3.org/2006/time#hasEnd>
Chris@0 416 ]
Chris@0 417 )
Chris@0 418 ]
Chris@0 419 [
Chris@0 420 a owl:Class;
Chris@0 421 owl:intersectionOf (
Chris@0 422 [
Chris@0 423 a owl:Restriction;
Chris@0 424 owl:onProperty :beginsAtDuration;
Chris@0 425 owl:cardinality "1"^^xsd:int
Chris@0 426 ]
Chris@0 427 [
Chris@0 428 a owl:Restriction;
Chris@0 429 owl:onProperty :durationXSD;
Chris@0 430 owl:cardinality "1"^^xsd:int
Chris@0 431 ]
Chris@0 432 )
Chris@0 433 ]
Chris@0 434 [
Chris@0 435 a owl:Class;
Chris@0 436 owl:intersectionOf (
Chris@0 437 [
Chris@0 438 a owl:Restriction;
Chris@0 439 owl:cardinality "1"^^xsd:int;
Chris@0 440 owl:onProperty :beginsAtDuration
Chris@0 441 ]
Chris@0 442 [
Chris@0 443 a owl:Restriction;
Chris@0 444 owl:onProperty :endsAtDuration;
Chris@0 445 owl:cardinality "1"^^xsd:int
Chris@0 446 ]
Chris@0 447 )
Chris@0 448 ]
Chris@0 449 )
Chris@0 450 ];
Chris@0 451 owl:equivalentClass [
Chris@0 452 a owl:Class;
Chris@0 453 owl:intersectionOf (
Chris@0 454 [
Chris@0 455 a owl:Restriction;
Chris@0 456 owl:someValuesFrom :RelativeTimeLine;
Chris@0 457 owl:onProperty :onTimeLine
Chris@0 458 ]
Chris@0 459 :Interval
Chris@0 460 )
Chris@0 461 ] .
Chris@0 462
Chris@0 463 :beginsAtDuration
Chris@0 464 rdfs:label "begins at (xsd:duration)";
Chris@0 465 a owl:DatatypeProperty;
Chris@0 466 rdfs:comment "A property enabling to adress a start time point P of an interval [P,E] through the duration of the interval [0,P] on a continuous timeline"^^xsd:string;
Chris@0 467 rdfs:subPropertyOf :beginsAt;
Chris@0 468 rdfs:range xsd:duration .
Chris@0 469
Chris@0 470 :durationXSD
Chris@0 471 rdfs:label "duration (xsd:duration)";
Chris@0 472 rdfs:comment "A subproperty of :duration, having xsd:duration as a range";
Chris@0 473 a owl:DatatypeProperty;
Chris@0 474 rdfs:range xsd:duration;
Chris@0 475 rdfs:subPropertyOf :duration .
Chris@0 476
Chris@0 477 :endsAtDuration
Chris@0 478 rdfs:label "ends at (xsd:duration)";
Chris@0 479 a owl:DatatypeProperty;
Chris@0 480 rdfs:comment "A property enabling to adress an end time point P of an interval [S,P] through the duration of the interval [0,P] on a continuous timeline"^^xsd:string;
Chris@0 481 rdfs:subPropertyOf :endsAt;
Chris@0 482 rdfs:range xsd:duration .
Chris@0 483
Chris@0 484 :ShiftMap
Chris@0 485 rdfs:comment "a map just shifting one timeline to another";
Chris@0 486 rdfs:label "shift map";
Chris@0 487 a owl:Class;
Chris@0 488 rdfs:subClassOf :TimeLineMap .
Chris@0 489
Chris@0 490 :UTInterval
Chris@0 491 rdfs:label "universal timeline interval";
Chris@0 492 rdfs:comment "an interval defined on the universal time line";
Chris@0 493 a owl:Class;
Chris@0 494 owl:equivalentClass [
Chris@0 495 a owl:Class;
Chris@0 496 owl:intersectionOf (
Chris@0 497 [
Chris@0 498 a owl:Restriction;
Chris@0 499 owl:onProperty :onTimeLine;
Chris@0 500 owl:hasValue :universaltimeline
Chris@0 501 ]
Chris@0 502 :Interval
Chris@0 503 )
Chris@0 504 ];
Chris@0 505 rdfs:subClassOf [
Chris@0 506 a owl:Class;
Chris@0 507 owl:unionOf (
Chris@0 508 [
Chris@0 509 a owl:Restriction;
Chris@0 510 owl:onProperty :atYear;
Chris@0 511 owl:cardinality "1"^^xsd:int
Chris@0 512 ]
Chris@0 513 [
Chris@0 514 a owl:Restriction;
Chris@0 515 owl:onProperty :atYearMonth;
Chris@0 516 owl:cardinality "1"^^xsd:int
Chris@0 517 ]
Chris@0 518 [
Chris@0 519 a owl:Restriction;
Chris@0 520 owl:cardinality "1"^^xsd:int;
Chris@0 521 owl:onProperty :atDate
Chris@0 522 ]
Chris@0 523 [
Chris@0 524 a owl:Class;
Chris@0 525 owl:intersectionOf (
Chris@0 526 [
Chris@0 527 a owl:Restriction;
Chris@0 528 owl:onProperty :beginsAtDateTime;
Chris@0 529 owl:cardinality "1"^^xsd:int
Chris@0 530 ]
Chris@0 531 [
Chris@0 532 a owl:Restriction;
Chris@0 533 owl:cardinality "1"^^xsd:int;
Chris@0 534 owl:onProperty :durationXSD
Chris@0 535 ]
Chris@0 536 )
Chris@0 537 ]
Chris@0 538 [
Chris@0 539 a owl:Class;
Chris@0 540 owl:intersectionOf (
Chris@0 541 [
Chris@0 542 a owl:Restriction;
Chris@0 543 owl:cardinality "1"^^xsd:int;
Chris@0 544 owl:onProperty <http://www.w3.org/2006/time#hasBeginning>
Chris@0 545 ]
Chris@0 546 [
Chris@0 547 a owl:Restriction;
Chris@0 548 owl:cardinality "1"^^xsd:int;
Chris@0 549 owl:onProperty <http://www.w3.org/2006/time#hasEnd>
Chris@0 550 ]
Chris@0 551 )
Chris@0 552 ]
Chris@0 553 [
Chris@0 554 a owl:Class;
Chris@0 555 owl:intersectionOf (
Chris@0 556 [
Chris@0 557 a owl:Restriction;
Chris@0 558 owl:onProperty :beginsAtDateTime;
Chris@0 559 owl:cardinality "1"^^xsd:int
Chris@0 560 ]
Chris@0 561 [
Chris@0 562 a owl:Restriction;
Chris@0 563 owl:onProperty :endsAtDateTime;
Chris@0 564 owl:cardinality "1"^^xsd:int
Chris@0 565 ]
Chris@0 566 )
Chris@0 567 ]
Chris@0 568 )
Chris@0 569 ] .
Chris@0 570
Chris@0 571 :atYear
Chris@0 572 rdfs:label "at (year)";
Chris@0 573 rdfs:comment "A subproperty of :at, allowing to address a year (beginning of it for an instant, all of it for an interval)";
Chris@0 574 a owl:DatatypeProperty;
Chris@0 575 rdfs:subPropertyOf :at;
Chris@0 576 rdfs:range xsd:gYear .
Chris@0 577
Chris@0 578 :atYearMonth
Chris@0 579 rdfs:label "at (year/month)";
Chris@0 580 rdfs:comment "A subproperty of :at, allowing to address a year/month (beginning of it for an instant, all of it for an interval)";
Chris@0 581 a owl:DatatypeProperty;
Chris@0 582 rdfs:subPropertyOf :at;
Chris@0 583 rdfs:range xsd:gYearMonth .
Chris@0 584
Chris@0 585 :atDate
Chris@0 586 rdfs:label "at (date)";
Chris@0 587 rdfs:comment "A subproperty of :at, allowing to address a date (beginning of it for an instant, all of it for an interval)";
Chris@0 588 a owl:DatatypeProperty;
Chris@0 589 rdfs:subPropertyOf :at;
Chris@0 590 rdfs:range xsd:date .
Chris@0 591
Chris@0 592 :beginsAtDateTime
Chris@0 593 rdfs:label "begins at (date/time)";
Chris@0 594 rdfs:comment "A subproperty of :beginsAt, allowing to address the beginning of an interval as a date/time";
Chris@0 595 a owl:DatatypeProperty;
Chris@0 596 rdfs:subPropertyOf :beginsAt;
Chris@0 597 rdfs:range xsd:dateTime .
Chris@0 598
Chris@0 599 :endsAtDateTime
Chris@0 600 rdfs:label "ends at (date/time)";
Chris@0 601 rdfs:comment "A subproperty of :endsAt, allowing to address the end of an interval as a date/time";
Chris@0 602 a owl:DatatypeProperty;
Chris@0 603 rdfs:range xsd:dateTime;
Chris@0 604 rdfs:subPropertyOf :endsAt .
Chris@0 605
Chris@0 606 :hopSize
Chris@0 607 rdfs:label "hop size";
Chris@0 608 rdfs:comment "hop size, associated to a uniform windowing map";
Chris@0 609 a owl:FunctionalProperty, owl:DatatypeProperty;
Chris@0 610 rdfs:range xsd:int;
Chris@0 611 rdfs:domain :UniformWindowingMap .
Chris@0 612
Chris@0 613 :windowLength
Chris@0 614 rdfs:label "window length";
Chris@0 615 rdfs:comment "window length, associated to a uniform windowing map";
Chris@0 616 a owl:FunctionalProperty, owl:DatatypeProperty;
Chris@0 617 rdfs:range xsd:int;
Chris@0 618 rdfs:domain :UniformWindowingMap .
Chris@0 619
Chris@0 620 :RelativeInstant
Chris@0 621 rdfs:label "relative instant";
Chris@0 622 rdfs:comment "An instant defined on a relative timeline";
Chris@0 623 a owl:Class;
Chris@0 624 rdfs:subClassOf [
Chris@0 625 a owl:Restriction;
Chris@0 626 owl:cardinality "1"^^xsd:int;
Chris@0 627 owl:onProperty :atDuration
Chris@0 628 ];
Chris@0 629 owl:equivalentClass [
Chris@0 630 a owl:Class;
Chris@0 631 owl:intersectionOf (
Chris@0 632 [
Chris@0 633 a owl:Restriction;
Chris@0 634 owl:someValuesFrom :RelativeTimeLine;
Chris@0 635 owl:onProperty :onTimeLine
Chris@0 636 ]
Chris@0 637 :Instant
Chris@0 638 )
Chris@0 639 ] .
Chris@0 640
Chris@0 641 :atDuration
Chris@0 642 rdfs:label "at (duration)";
Chris@0 643 a owl:DatatypeProperty;
Chris@0 644 rdfs:range xsd:duration;
Chris@0 645 rdfs:subPropertyOf :at;
Chris@0 646 rdfs:comment "A property enabling to adress a time point P through the duration of the interval [0,P] on a continuous timeline"^^xsd:string .
Chris@0 647
Chris@0 648 :AbstractInstant
Chris@0 649 rdfs:label "abstract instant";
Chris@0 650 rdfs:comment "An instant defined on an abstract timeline";
Chris@0 651 a owl:Class;
Chris@0 652 rdfs:subClassOf :Instant;
Chris@0 653 owl:equivalentClass [
Chris@0 654 a owl:Restriction;
Chris@0 655 owl:someValuesFrom :AbstractTimeLine;
Chris@0 656 owl:onProperty :onTimeLine
Chris@0 657 ] .
Chris@0 658
Chris@0 659 :atReal
Chris@0 660 rdfs:label "at (real)";
Chris@0 661 rdfs:comment "subproperty of :at, having xsd:float as a range";
Chris@0 662 a owl:DatatypeProperty;
Chris@0 663 rdfs:range xsd:float;
Chris@0 664 rdfs:subPropertyOf :at .
Chris@0 665
Chris@0 666
Chris@0 667 :delay
Chris@0 668 rdfs:label "delay";
Chris@0 669 rdfs:comment "associate a shift map to a particular delay";
Chris@0 670 a owl:FunctionalProperty;
Chris@0 671 rdfs:domain :ShiftMap;
Chris@0 672 a owl:DatatypeProperty .
Chris@0 673
Chris@0 674 :origin
Chris@0 675 rdfs:label "origin";
Chris@0 676 rdfs:comment "associate an origin map to its origin on the domain physical timeline";
Chris@0 677 a owl:FunctionalProperty, owl:DatatypeProperty;
Chris@0 678 rdfs:range xsd:dateTime;
Chris@0 679 rdfs:domain :OriginMap .
Chris@0 680