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?

Kaarel Kaljurand kaljurand at gmail.com
Mon Aug 27 09:40:31 PDT 2007


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.

-- 
kaarel



More information about the protege-owl mailing list