Ontology numbers

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 11:51:22 UTC