Re: Ontology numbers

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.
>
>