Re: Web Rule Language - WRL vs SWRL

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jim Hendler wrote:

> At 10:46 -0400 6/22/05, Jim Hendler wrote:
>
>> SWRL assumes closed world semantics and WRL assumes open world
>> semantics.
>
>
>
> oops, was typing quick and cutting and pasting and did this wrong ==
> should be clear that I meant exactly the opposite arragement - Sem
> Web is open world (cf SWRL) vs. the closed world semantics
> associated with datalog (cf WRL)

Actually Datalog is agnostic wrt. open/closed world.
As long as you don't have negation in the language there is no difference.

More precisely:

Any set of Horn rules R under First-Order semantics  entails exactly
the same set of ground facts as the same set of rules R under minimal
model  semantics.

Thus for any set of Horn rules R and any ground formula f_{ground}:

R \models_{FO} f_{ground} iff R \models_{MM} f_{ground}


where \models_{FO} is first-order entailment and \models_{MM} is
entailment under minimal model semantics


Best,

Jos

- --
Jos de Bruijn, http://www.uibk.ac.at/~c703239/
+43 512 507 6475         jos.debruijn@deri.org

DERI                      http://www.deri.org/
- ----------------------------------------------

Only two things are infinite, the universe and
human stupidity, and I'm not sure about the
former.
    -- Albert Einstein
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org

iD8DBQFCuYrk4lqeiwiiHN4RAnC9AJ0TXqE9yFRrjBXYnheDDBbTR3eaOACbB7yP
RPty7BZbiypsEts6FllwsYc=
=TM8z
-----END PGP SIGNATURE-----

Received on Wednesday, 22 June 2005 15:59:53 UTC