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
  Enough to be Proved Terminating, Sound and Complete. Journal of Automated
Reasoning, 11:1-22



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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:15 UTC