- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Thu, 23 Jan 2003 03:06:10 +0000
- To: Guus Schreiber <schreiber@swi.psy.uva.nl>
- Cc: WebOnt WG <www-webont-wg@w3.org>
On January 22, Guus Schreiber writes: > > WEB ONTOLOGY WORKING GROUP > AGENDA/LOGISTICS > Janaury 23, 2003 Regrets - I will be at the WWW2003 PC meeting. However... > ACTION Horrocks: review AS & S Appendices DONE - a number of editorial changes and a few minor buglets have been reported and are being fixed. > ACTION IanH: explain how to say "range of P is A union B" in owl lite Given 2 classes A and B and property P, add following: define Nothing using arbitrary property r: Class(Nothing partial restriction(r minCardinality(1) maxCardinality(0))) for some fresh properties p1,p2,p3: Class(A complete restriction(p1 someValuesFrom(Thing))) Class(notA complete restriction(p1 allValuesFrom(Nothing))) Class(B complete restriction(p2 someValuesFrom(Thing))) Class(notB complete restriction(p2 allValuesFrom(Nothing))) Class(notAandnotB complete notA notB) Class(notAandnotB complete restriction(p3 someValuesFrom(Thing))) Class(AorB complete restriction(p3 allValuesFrom(Nothing))) ObjectProperty(P range(AorB)) Regards, Ian
Received on Wednesday, 22 January 2003 22:05:34 UTC