- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 23 May 2001 01:19:16 +0100
- To: sean@mysterylights.com
- Cc: fernanda@ppgia.pucpr.br, www-rdf-interest@w3.org, www-rdf-logic@w3.org
Hi Sean, Fernanda,
> > [ a :X; a [ ns:complement :Y ] ]
>
> For "X is not a sub class of Y", on the lines of what you've done
> above, I think you'd just say something like:-
>
> :X rdfs:subClassOf [ daml:complementOf :Y ] .
>
> cf. [1]
>
> But, as DanBri pointed out, that's just like saying that they're
> disjoint [2], so all you need to state is that:-
>
> :X daml:disjointFrom :Y .
I can imagine X and Y to be 'overlapping' classes such as
------
|X |
| ------
| | | |
------ |
| Y|
------
and X is not a subclass of Y
so...
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Tuesday, 22 May 2001 19:20:01 UTC