Re: Some thoughts on the semantics of domain and range (was: Re: RDFS bug "A property can have at most one range property") from Guha on 2000-09-13 (www-rdf-interest@w3.org from September 2000)

From: Guha <guha@guha.com>
Date: Wed, 13 Sep 2000 10:56:41 -0700
To: www-rdf-interest@w3.org
Message-ID: <39BFBFD9.6FC74C66@guha.com>

rdfs:domain and rdfs:range were modelled after the similarly named
concepts
in Cycl and have had very well defined meanings right from the beginning.

(rdfs:domain ?arc ?domain) ^ (?arc ?source ?target) => (rdf:type ?source
?domain)
and
(rdfs:range ?arc ?range) ^ (?arc ?source ?target) => (rdf:type ?target
?range)

and thats it.

Allowing multiple rdfs:domain/rdfs:range with disjunctive semantics is a
bad idea
because it makes the system non-monotonic. Conjunctive semantics are fine
and
possibly useful.

guha

Received on Wednesday, 13 September 2000 13:54:07 UTC