Search Mailing List Archives
[protege-owl] SWRL to "move" individuals?
tar at ISI.EDU
Mon Aug 27 16:11:54 PDT 2007
On Aug 27, 2007, at 9:40 AM, Kaarel Kaljurand wrote:
> On 8/27/07, Thomas Russ <tar at isi.edu> wrote:
>> On Aug 27, 2007, at 2:59 AM, Kaarel Kaljurand wrote:
>>> On 8/25/07, Martin O'Connor <martin.oconnor at stanford.edu> wrote:
>>>> In general, if you can do something in OWL, you should.
>>> I'm just curious. Why doesn't SWRLTab just save the rule as OWL it
>>> this happens to
>>> be is possible?
>> Well, for starters, this isn't necessarily an easy thing to figure
>> While it may be possible to do this for some relatively simple
>> in general it would take a theorem prover to figure out and may
>> end up
>> being undecidable. It involves figuring out that a particular
>> expression in SWRL entails some equivalent in OWL, and that will
>> not be
>> an easy task, especially given that you have to construct the
>> OWL equivalent.
> They do it in:
> http://www.mindswap.org/papers/CautiousSWRL.pdf (section 3)
> which is quite easy.
Thanks for the pointer.
I'll have to look into that.
More information about the protege-owl