I want to express set difference in OWL, I was a bit surprised that this is not
directly supported.
I’d be interested in hearing whether the following would work, and how
efficient it will be to compute.
Assume you have sets A and B.
I can define the union and intersection of A and B in OWL, we can call them AUB
and AIB, respectively.
Then I am guessing that A – B would be defined as follows:
A_B owl:intersectionOf (
A
[ a owl:Class ; owl:complementOf AIB ]
).
My big concern is the computing of the owl:complementOf AIB.
Is the implementation going to take into account that the outer expression is
doing an intersection with A, so that it strictly takes the elements in AIB and
subtracts them from A?
David Jordan
Software Developer
SAS Institute Inc.
Health & Life Sciences, Research & Development
Bldg R ▪ Office 4467
600 Research Drive ▪ Cary, NC 27513
Tel: 919 531 1233 ▪ [email protected]<mailto:[email protected]>
www.sas.com<http://www.sas.com>
SAS® … THE POWER TO KNOW®
