John, (01)
Thank you for the remarks. (02)
I'll defer to Martin, those among this community who are involved in
developing SWRL, as well as others who may be implementing a
Prolog-based solution to provide further comments and insights, if
any. (03)
On a separate note, we are still looking forward to the opportunity of
having you as an invited speaker on this "Database and Ontology"
mini-series. Matthew and I will continue to work out the details with
you (offline). (04)
Regards. =ppy
-- (05)
On 2/9/07, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
> Peter,
>
> In a previous note, I mentioned Datalog, which is a subset
> of Prolog that has a direct mapping to relational databases.
> And it turns out that SWRL is essentially Datalog with a
> slightly different notation. The similarity between Datalog,
> Prolog, and SWRL is not surprising since they are all based
> on the same subset of logic (Horn clauses).
>
> Following is an example of SWRL from Martin's slides:
>
> hasParent(?x, ?y) ^ hasBrother(?y, ?z) -> hasUncle(?x, ?z)
>
> And following is the corresponding rule in Datalog or Prolog:
>
> hasUncle(X,Z) :- hasParent(X,Y), hasBrother(Y,Z).
>
> The SWRL query examples could also be translated to Prolog.
> There is already an ISO standard for Prolog, and there are
> some excellent commercial and open-source implementations,
> which have good connectivity to both Java and SQL.
>
> In his slides, Martin mentioned that there are some problems
> in integrating SWRL with RDF and OWL. But many companies
> and government agencies translate RDF and OWL to Prolog in
> order to improve performance. By translating SWRL to Prolog,
> all three languages could be integrated and supported on the
> same platform.
>
> John Sowa
> ___________________________________________________________________
>
> URL for the slides by Martin O'Connor:
>
>
>
>http://ontolog.cim3.net/file/work/DatabaseAndOntology/2007-02-08_MartinOConnor/Querying-RDB-Using-OWL-n-SWRL--MartinOConnor_20070208.ppt
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|