- From: Ian Horrocks <horrocks@cs.man.ac.uk>
- Date: Mon, 18 Aug 2003 15:38:18 +0100
- To: "Jurriaan van Diggelen" <jurriaan@cs.uu.nl>
- Cc: <www-rdf-logic@w3.org>
On August 15, Jurriaan van Diggelen writes: > 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? Yes it is. As you point out, if A non-subsumes B then there exists an individual which is member of B and not of A. Would you believe that to express this in OWL you simply assert that some (possibly anonymous) individual is an instance of the (OWL DL) class "B and (not A)". In abstract syntax this looks like Individual(indName type(intersectionOf(B complementOf(A)))) where "indName" is an (optional) individual name. Ian > > Thanks in advance, > > Jurriaan<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> > <HTML><HEAD> > <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> > <META content="MSHTML 6.00.2800.1170" name=GENERATOR> > <STYLE></STYLE> > </HEAD> > <BODY bgColor=#ffffff> > <DIV><FONT face=Arial size=2>Hi everybody, </FONT></DIV> > <DIV><FONT face=Arial size=2></FONT> </DIV> > <DIV><FONT face=Arial size=2>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? </FONT></DIV> > <DIV><FONT face=Arial size=2></FONT> </DIV> > <DIV><FONT face=Arial size=2>Thanks in advance,</FONT></DIV> > <DIV><FONT face=Arial size=2></FONT> </DIV> > <DIV><FONT face=Arial size=2>Jurriaan</FONT></DIV></BODY></HTML>
Received on Monday, 18 August 2003 10:40:04 UTC