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:02 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:44:30 UTC