- From: Jurriaan van Diggelen <jurriaan@cs.uu.nl>
- Date: Fri, 15 Aug 2003 13:37:50 +0200
- To: <www-rdf-logic@w3.org>
Received on Friday, 15 August 2003 07:40:30 UTC
Hi everybody, I'd like to express in OWL (or in description logic) that two classes are in a non-subsumption relation with each other. This is not as strong as disjointness, as there may be individuals that are members of both classes. In the case of "A non-subsumes B", it says that there exists an individual which is member of B and not of A. Does anyone know if this is possible? Thanks in advance, Jurriaan
Received on Friday, 15 August 2003 07:40:30 UTC