W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2007

Re: Ontology numbers

From: Adrian Walker <adriandwalker@gmail.com>
Date: Tue, 26 Jun 2007 08:31:58 -0400
Message-ID: <1e89d6a40706260531m20bcda36t60ec52edf0930dec@mail.gmail.com>
To: "Bijan Parsia" <bparsia@cs.man.ac.uk>, public-owl-dev@w3.org
Hi Bijan --

You wrote...

...I'm having trouble
finding examples and projects using LP or specifically F-Logic in the
way and at the scale we see for OWL.

The IBL system [1] uses rules that are interpreted to extract a highly
declarative meaning [2].  There are online examples of reasoning over
OWL/RDF triples, and also over n-ary relations.  For scalability the triples
or other relations can be in a SQL database [3,4] (and when the SPARQL spec
is finalized and implemented probably in SPARQL too) .

HTH .                        -- Adrian

[1]   Internet Business Logic (R)
A Wiki for Executable Open Vocabulary English
Online at www.reengineeringllc.com    Shared use is free


[2]   Backchain Iteration: Towards a Practical Inference Method that is
Simple
  Enough to be Proved Terminating, Sound and Complete. Journal of Automated
Reasoning, 11:1-22

[3]
http://www.reengineeringllc.com/A_Wiki_for_Business_Rules_in_Open_Vocabulary_Executable_English.pdf

[4]
http://www.reengineeringllc.com/Oil_Industry_Supply_Chain_by_Kowalski_and_Walker.pdf



On 6/26/07, Bijan Parsia <bparsia@cs.man.ac.uk> wrote:
>
>
> This may not be the ideal list, but it's a home list for me :)
>
> Last ISWC we did a survey of OWL ontologies on the web:
>         http://iswc2006.semanticweb.org/items/paper_6.php
>
> In there, we looked at 1400 or so documents ranging from plain RDF
> through OWL.
>
> Aside from that, there are a number of famous large scale projects
> that have used OWL or OWL like formalisms...often for over a decade,
> e.g., Galen.
>
> There are also a few OWL/DAML+OIL repositories.
>
> I'm wondering if there's anything similar for F-Logic, and for logic
> programming in general. It's clear that various things *could* be
> represented in those formalism (e.g., various semantic nets), but I
> have trouble finding any "native" examples. WSMO has some examples:
>         http://www.wsmo.org/WSMO_ontologies.html
>
> Including itself (which is a bit hard to find, actually).
>
> I can dredge up major systems using production rule like formalism
> (e.g., Mycin et al; and loads of expert systems, obviously). I
> certainly can find large prolog programs. But I'm having trouble
> finding examples and projects using LP or specifically F-Logic in the
> way and at the scale we see for OWL.
>
> I suspect it's mostly that without a standard (e.g., a media type)
> and the right publicity, examples aren't that obvious. And I clearly
> don't know the right google keywords. So I would appreciate some
> pointers if anyone has them.
>
> Cheers,
> Bijan.
>
>
Received on Tuesday, 26 June 2007 12:32:03 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:54 GMT