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] SWRL to "move" individuals?

Thomas Russ tar at ISI.EDU
Mon Aug 27 16:11:54 PDT 2007


On Aug 27, 2007, at 9:40 AM, Kaarel Kaljurand wrote:

> Hi,
>
> 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  
>> out.
>> While it may be possible to do this for some relatively simple  
>> patterns,
>> in general it would take a theorem prover to figure out and may  
>> end up
>> being undecidable.  It involves figuring out that a particular  
>> logical
>> expression in SWRL entails some equivalent in OWL, and that will  
>> not be
>> an easy task, especially given that you have to construct the  
>> potential
>> 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.

-Tom.




More information about the protege-owl mailing list