W3C home > Mailing lists > Public > public-owl-wg@w3.org > December 2007

Re: ISSUE-73 (infinite universe): REPORTED: Should owl:Thing be necessarily infinite?

From: Alan Rector <rector@cs.man.ac.uk>
Date: Wed, 5 Dec 2007 10:04:47 +0000
To: public-owl-wg@w3.org
Message-Id: <313F1CE5-7915-45A4-A83D-504194A948C3@cs.man.ac.uk>
Would it not be more effective to introduce a new standard class to  
OWL DL, named for example "owl:DOMAIN_THING" or similar, so that the  
correspondence of owl:THING to rdf:Resource could be maintained, but  
the universe for individuals in an OWL DL Model be confined to the  
proper subclasses of owl:DOMAIN_THING.  Would this make the overall  
model simpler in analogy with classes and sets in ZF or VN-B-G Set  
Theory?  Would it let us exclude the RDF bits required for the RDF  
serialisation from the domain and therefore from the reasoner and  
logic so as to avoid the problems reconciling RDF and OWL logic models?

Alan


-----------------------
Alan Rector
Professor of Medical Informatics
School of Computer Science
University of Manchester
Manchester M13 9PL, UK
TEL +44 (0) 161 275 6149/6188
FAX +44 (0) 161 275 6204
www.cs.man.ac.uk/mig
www.clinical-esciences.org
www.co-ode.org
Received on Wednesday, 5 December 2007 10:05:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:29 GMT