Class Time-Range

• Defined in ontology: Simple-time
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/foundation-ontologies/simple-time.lisp

Subclass-Of: Individual

Instance-Of: Class, Relation, Set

Domain-Of: Duration-Of, End-Time-Of, Start-Time-Of

Arity: 1

Documentation:

TIME-RANGE denotes a certain period of time. It consists of a start time, an end time. A start time must proceed an end time. Relations between TIME-RANGEs are defined after James Allen's interval relations.

---

Slots:

Duration-Of:

End-Time-Of:

Start-Time-Of:

Implication Axioms for Time-Range:

(=> (Time-Range ?Time-Range)
    (Equals (+ (Start-Time-Of ?Time-Range) (Duration-Of ?Time-Range))
            (End-Time-Of ?Time-Range)))

Implication Axioms mentioning Time-Range:

(=> (And (Time-Range ?Time-Range-1) (Time-Range ?Time-Range-2))
    (<=> (Equals ?Time-Range-1 ?Time-Range-2)
         (And (Equals (Start-Time-Of ?Time-Range-1)
                      (Start-Time-Of ?Time-Range-2))
              (Equals (End-Time-Of ?Time-Range-1)
                      (End-Time-Of ?Time-Range-2)))))

(=> (+ ?Time-Range-1 ?Duration)
    (=> (And (Time-Range ?Time-Range-1) (Duration ?Duration))
        (<=> (= (+ ?Time-Range-1 ?Duration) ?Time-Range-2)
             (And (= (Start-Time-Of ?Time-Range-1)
                     (Start-Time-Of ?Time-Range-2))
                  (= (+ (End-Time-Of ?Time-Range-1) ?Duration)
                     (End-Time-Of ?Time-Range-2))))))