- From: Alan Rector <rector@cs.man.ac.uk>
- Date: Wed, 5 Dec 2007 10:04:47 +0000
- To: public-owl-wg@w3.org
Received on Wednesday, 5 December 2007 10:05:10 UTC
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 UTC