Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] Comparing individuals (with SWRL)

Ely Edison Matos ely.matos at ufjf.edu.br
Tue Aug 7 06:59:24 PDT 2007


Hi,
following the thread "Comparing individuals" i'm trying to use SWRL to compare two individuals, using a common property. I've tried:

Unit(?x1)  ∧  measures(?x1, ?y1)  ∧  Unit(?x2)  ∧  measures(?x2, ?y1) → isSameAs(?x1, ?x2)

and Jess asserted correctly that Unit(meter) isSameAs Unit(metre)...but Unit(meter) also isSameAs Unit(meter)....

To avoid a individual isSameAs itself, i tried:

Unit(?x1)  ∧  measures(?x1, ?y1)  ∧  Unit(?x2)  ∧  measures(?x2, ?y1)  ∧  differentFrom(?x1, ?x2) → isSameAs(?x1, ?x2)

but Jess, now, asserted nothing...

Then i tried

Unit(?x1)  ∧  measures(?x1, ?y1)  ∧  Unit(?x2)  ∧  measures(?x2, ?y1)  ∧  swrlb:notEqual(?x1, ?x2) → isSameAs(?x1, ?x2)

but Jess give a error:
  Message: Error invoking built-in from Jess: exception thrown by built-in 'swrlb:notEqual' in rule 'Def-isSameAs': Expecting ordered type, got individual with name 'volt' for argument #0.

Any help?

Thanks,
Ely
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20070807/aed2dc75/attachment.html>


More information about the protege-owl mailing list