Search Mailing List Archives
[protege-owl] SWRL to "move" individuals?
kaljurand at gmail.com
Mon Aug 27 09:40:31 PDT 2007
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.
More information about the protege-owl