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

Ontology numbers

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Tue, 26 Jun 2007 12:52:18 +0100
Message-Id: <B2C5CA07-A27A-4FEA-84DA-794C3584ACD6@cs.man.ac.uk>
To: public-owl-dev@w3.org

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:

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:

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.

Received on Tuesday, 26 June 2007 11:51:22 UTC

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