From: Steven Gollery <sgollery@cadrc.calpoly.edu>

Date: Wed, 06 Feb 2002 10:13:49 -0800

Message-ID: <3C61725D.944E347C@cadrc.calpoly.edu>

To: www-rdf-logic@w3.org

Date: Wed, 06 Feb 2002 10:13:49 -0800

Message-ID: <3C61725D.944E347C@cadrc.calpoly.edu>

To: www-rdf-logic@w3.org

I'm working on an ontology in DAML that includes some geometric concepts. I would like to be able to somehow define a property Vertices whose domain is the Polygon class and whose range is ordered collections of instances of the Point class, where the length of the ordered collection is at least three. It would be fairly straightforward to say that each Polygon must have at least three values of a Vertex property which is restricted to class Point, but that would lose the idea the vertices have an order -- the order is obviously a fundamental part of the semantics for the polygon. Does DAML provide any way to restrict the number of elements in a list? Or is there some other way to do what I need here? Thanks in advance, Steve Gollery sgollery@cadrc.calpoly.eduReceived on Wednesday, 6 February 2002 13:11:15 UTC

*
This archive was generated by hypermail 2.3.1
: Tuesday, 6 January 2015 21:38:23 UTC
*