- 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