Symbolic Sets and Sequences
Message-id: <>
X-Sender: gerd@
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Tue, 25 Jan 1994 14:29:24 +0000
Subject: Symbolic Sets and Sequences
  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?



Gerd Kamp       	       	       	     email:
University of Hamburg    	       	    phone: +49 40 4123-6536  	
Bodenstedtstr. 16
22765 Hamburg (Germany)