Symbolic Sets and Sequences

• Mail folder: Ontolingua Mail
• Next message: Gertjan van Heijst: "bug or feature ?"
• Previous message: Ivan Rodriguez: "Support to develop Ontologies"

Message-id: <9401251329.AA10458@ki6.informatik.uni-hamburg.de>
X-Sender: gerd@134.100.5.191
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 25 Jan 1994 14:29:24 +0000
To: ontolingua@hpp.stanford.edu
From: kamp@informatik.uni-hamburg.de
Subject: Symbolic Sets and Sequences

Hi,
  maybe this is a stupid question, but how can I define symbolic sets and
symbolic lists? Something that would translate to Loom 

(defset a (:one-of  ...)) or (defset b (:the-ordered-set ...))

I've seen examples defining intervals of integers via 

        ((integer ?X) (=< 0 ?x) (=< ?x 10))

in Loom it is possible to define intervals over arbitrary ordered sets
(Thats what Loom is calling it, I always thought that order is the
difference between sets and tuples (lists) :-)), for example

        (defset day (:the-ordered-set 'Monday 'Tuesday ... 'Sunday))
        (defset workday (:and day (:through 'Monday 'Friday)))

Is this possible with Ontolingua?

Thanks

        Gerd    

---------------------------------------------------------------------------
Gerd Kamp       	       	       	     email: kamp@informatik.uni-hamburg.de
University of Hamburg    	       	    phone: +49 40 4123-6536  	
Bodenstedtstr. 16
22765 Hamburg (Germany)