W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2002

DAML: restricting number of elements in a list

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
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.edu
Received on Wednesday, 6 February 2002 13:11:15 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:41 GMT