W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Questions About DAML+OIL Restrictions

From: Richard Fikes <fikes@KSL.Stanford.EDU>
Date: Tue, 17 Apr 2001 22:04:14 -0700
Message-ID: <3ADD204E.9BFC0386@ksl.stanford.edu>
To: www-rdf-logic <www-rdf-logic@w3.org>
Here are some other questions about the DAML+OIL language spec on which
I would like clarification:

Can a restriction have more than one value for property "onProperty?  If
not, is that constraint stated anywhere in the spec?

Can a restriction have values for more than one of the properties
"toClass", "hasClass", "hasValue", "hasClassQ", "minCardinality", ...,
"minCardinalityQ"?  That is, can a single restriction state multiple

Is it the case that the following restriction:

(type R Restriction)
(onProperty R P)
(hasClass R C)

is logically equivalent to the following restriction:

(type R1 Restriction)
(onProperty R1 P)
(hasClassQ R1 C)
(minCardinalityQ R1 1)

If so, what is the rationale for having "hasClass" in the language?

Received on Wednesday, 18 April 2001 01:04:18 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:34 UTC