- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Wed, 12 Mar 2003 21:52:19 +0000
- To: Guus Schreiber <schreiber@swi.psy.uva.nl>
- Cc: WebOnt WG <www-webont-wg@w3.org>
On March 11, Guus Schreiber writes: > > I'm working on the revised version of the Reference. I have four > questions, for which I'm not sure about the correct answer: > > 1. What do we say about MIME types in Reference? > > rdf+xml and/or owl? > > 2. Does someone has a use case / test for owl:inverseOf applied to > datatype properties? Any data value that you might use as a DB key. SSN is a standard example; I seem to recall that Dan was using 2 character string valued state codes for US states. > > 3. Should/must symmetric properties have identical domains and ranges? > > I assume the answer is yes. The answer is that you can assert any range and domain you like (as usual), but of course if you assert domain(S C) and range(S D) for a symmetric property S, then this is logically equivalent to asserting domain(S intersectionOf(C D)) and range(S intersectionOf(C D)). > 4. How does one add new "distinctMembers" to an owl:AllDifferent > list? One can't - one has to repeat the whole list plus the new "distinctMembers". Ian > > Feedback very much appreciated. > > Guus > > -- > A. Th. Schreiber, SWI, University of Amsterdam, > http://www.swi.psy.uva.nl/usr/Schreiber/home.html
Received on Wednesday, 12 March 2003 15:51:35 UTC