W3C home > Mailing lists > Public > www-webont-wg@w3.org > March 2003

disjointness of domain and range for datatype properties

From: Jim Hendler <hendler@cs.umd.edu>
Date: Thu, 6 Mar 2003 11:24:57 -0500
Message-Id: <p05200f16ba8d232a4dda@[10.0.1.4]>
To: webont <www-webont-wg@w3.org>

In the discussion on rdf-logic it has been recognized that datatype 
properties must have disjoint domains and ranges in OWL DL (and 
Lite).  However, I cannot find this restriction mentioned in any of 
our "human readable" docs (Overview, Guide, Reference).  This seems 
pretty important, I think we need to explain it in at least Reference 
(and preferably Guide) prior to LC.  ALso, are there any test cases 
that test this? -- i.e. if I have

eg:convertedAbsoluteValue a owl:DataTypeProperty;
  rdfs:domain xsd:Integer;
  rdfs:range xsd:nonNegativeInteger.

then this puts me in Full.  A couple of DAML ontologies will not map 
into Lite because of this (they have properties from strings to other 
strings) - so we should have something that explains the restriction 
somewhere where people can see and understand it.  The number of 
people on rdf-logic who didn't know we had this restriction is a 
testament to our need to explain it.
  -JH



-- 
Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
http://www.cs.umd.edu/users/hendler
Received on Thursday, 6 March 2003 11:27:00 GMT

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