1-bug 2-translator

• Mail folder: Ontolingua Mail
• Next message: HeeCheol Jeon: "Ontology for Constraint Satisfaction Problem"
• Previous message: hori@trl.ibm.co.jp: ""

Message-id: <199502221021.LAA24476@lirmm.lirmm.fr>
X-Mailer: exmh version 1.5.3 12/28/94
To: ontolingua@HPP.Stanford.EDU
Subject: 1-bug 2-translator
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Wed, 22 Feb 1995 11:21:34 +0100
From: Luc YRIARTE <yriarte@lirmm.fr>

		Hello,

--1--	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))
)                

	I think it 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))
)                


--2--	Does anyone know where I can get an Ontolingua to Smalltalk translator ?

PS: Sorry if you get that message twice, I already sent it but I apparently 
messed up with the adress, and I got my message back.

	+------------------------------+------------------------------+
	|        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 |
	+------------------------------+------------------------------+