Search Mailing List Archives
[protege-owl] SWRL to "move" individuals?
kaljurand at gmail.com
Mon Aug 27 09:31:25 PDT 2007
On 8/27/07, Ely Edison Matos <ely.matos at ufjf.edu.br> wrote:
> Original question:
> - Is it possible to use SWRL to "move" (reclassify) individuals? Ex:
> MyInterface(?x1) and hasPublicInterface(?x1, out) ->
> With OWL, it was defined a subclass of MyInterface:
> MyPublicInterfaceOutput defined as "MyInterface and (hasPublicInterface
> hasValue out)
What you really need (on the basis of the original rule) is:
(MyInterface and (hasPublicInterface has out)) subClassOf
i.e. the implication goes only in one direction. As far as I know,
it's hard (if not impossible)
to enter this in Protege 3.x, use Protege 4.
Making the two class descriptions equivalent (like you did) might also
in your case, but it doesn't reflect the original rule.
> Running reasoner, the individuals was reclassified correctly, by the same
> individual was classified as MyPublicInterfaceOutput AND ALSO MyInterface.
> Following the original question, are there a way to "remove" automaticaly
> this classification under MyInterface, or it is correct to the individual
> stay in both of class?
It is ok (and inevitable) for an individual to be in many classes,
e.g. John is a manager, but also a car-owner, a man, a human, and a
thing and so on.
More information about the protege-owl