- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Tue, 6 May 2003 08:10:59 -0400
- To: webont <www-webont-wg@w3.org>
All- For my WWW talk, and also in preparing the CR/PR materials, I need to generate as complete a list of OWL tools and implementations as I can. Please send me (you're welcome to cc the list) the name and a brief description of any tools or systems you have built that either process or use OWL. This includes both specific tools (like Sean and Rafael's validator) and end-to-end OWL demos (like the owl.mindswap portal). The key criteria is that the tools must use OWL (not DAML, OIL, SHOE or other "similar to OWL") and I need to eventually understand how they use OWL features above and beyond standard RDF. I'm also interested in "real world" OWL ontologies - preferably large ones that really use OWL (as opposed to just RDFS with owl:class) Here's my notes so far -- I am sure they are quite incomplete -- please help me add more Again - OWL is the key ============== Implementation notes: Reasoners: Cerebra - OWL Lite/DL Cwm - OWL Full (how much covered) Euler - OWL Full (runs most tests) FaCT - (how much of OWL v. OIL does Fact currently handle?) Otter - (should this be grouped w/cwm) Racer - OWL LITE/DL (how much covered) - can be hooked to OWL, has it been? Bijan's Owl Lite (needs new name) -- OWL Lite Jan's SWI-prolog Owl library - (way cool, need details on status) Validator/parser tools: BBN OWL Validator Manchester Validator (OWL consistency checker) Jena? (any OWL yet?) Redland (OWL library - how extensive?) RIC Instance Creator (reads OWL, enforces cardinality and some other restrictions) Ontology "editors" OILed - how much OWL does it produce Protege - OWL library in the works SMORE - extend other ontologies during markup Demos/Portals: http://owl.mindswap.org -- end to end portal, OWL Full used for several properties (incl. inversefunctional) ISX portal (need details, does it use OWL or DAML) AKT portal (has this started using OWL yet?) Guus' art/architecture (how much Owl? where located?) Ontologies: 209 DAML ontologies can be converted by OwlConverter, mostly into OWL Full National Cancer Institute Ontology -- ~17,000 class Owl Lite Ontology (uses allValues from and somevaluesfrom - not many restrictions -- autodumped from XML ) -- Professor James Hendler hendler@cs.umd.edu Director, Semantic Web and Agent Technologies 301-405-2696 Maryland Information and Network Dynamics Lab. 301-405-6707 (Fax) Univ of Maryland, College Park, MD 20742 240-731-3822 (Cell) http://www.cs.umd.edu/users/hendler
Received on Tuesday, 6 May 2003 08:11:03 UTC