[Message with no subject]

• Mail folder: Ontolingua Mail
• Next message: hori@trl.ibm.co.jp: ""
• Previous message: James Rice: "Ontology editor (non) user survey. Results"
• Reply: hori@trl.ibm.co.jp: ""

Message-id: <199502220952.KAA24079@lirmm.lirmm.fr>
X-Mailer: exmh version 1.5.3 12/28/94
To: ontolingua@hpp.stanford.edu
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Wed, 22 Feb 1995 10:52:49 +0100
From: Luc YRIARTE <yriarte@lirmm.fr>

                    Hi,

     I believe there must be a bug in this relation MEETS from the Jat-generic 
Ontology :

(define-relation MEETS (?tr1 ?tr2)
    "a time range ?tr1 ends at the same time a time range ?tr2 starts."
    :iff-def (tp= (time-range.start-time ?tr1)
                  (time-range.start-time ?tr2))
)                

     Should be:

(define-relation MEETS (?tr1 ?tr2)
    "a time range ?tr1 ends at the same time a time range ?tr2 starts."
    :iff-def (tp= (time-range.end-time ?tr1)
                  (time-range.start-time ?tr2))
)                



	+------------------------------+------------------------------+
	|        Luc YRIARTE           |                              |
	|                              |                              |
	|  Espace Technique ARC	3.152  |			      |
	|  L.I.R.M.M.                  | email : yriarte@lirmm.fr     |
	|  161, rue ADA                | tel   : (33) 67 41 85 83     |
	|  34392 Montpellier cedex 5   | fax   : (33) 67 41 85 00     |
	|  France                      | http://www.lirmm.fr/~yriarte |
	+------------------------------+------------------------------+