- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Wed, 7 May 2003 08:38:04 -0400
- To: Dave Reynolds <der@hplb.hpl.hp.com>
- Cc: www-webont-wg@w3.org, Ian Dickinson <Ian.Dickinson@hp.com>, "JEREMY CARROLL (E-mail)" <jeremy_carroll@hpl.hp.com>
Thanks for your response, it's great to hear about this work At 12:27 +0100 5/7/03, Dave Reynolds wrote: >Jim, > >Jeremy forwarded your request for information on OWL implementations. > >In addition to the syntax checker that Jeremy has already described, >the current >checked-in version of Jena2 >includes: > > o An OWL API which provides convenience methods for accessing and >manipulating > an RDF graph containing OWL declarations. This builds upon the approach > taken for the DAML+OIL API in Jena1 but supports multiple language > profiles including each of the OWL species in addition to DAML+OIL and > RDFS. The API has improved support for loading the imports closure of an > ontology document. > Further refinements to this are in-progress. > > o A preview version of a rule-based reasoner with a rule set which implements > the OWL-lite subset of OWL full. This is not a complete reasoner, it will > not handle all cases of multiple "complete" definitions of the same class. > However, it passes a modified[*] version all of the normative working group > tests that fall within this subset. > Substantial refinements to the rule engine are in-progress. > >[*] Approximately 10 of the tests were modified to better fit the Jena API >approach by reducing the reliance on comprehension axioms. Tests of the form: > class-expression-1 |- class-expression-2 ? >were rewritten into the form: > C1=class-expression-1, C2=class-expression-2 |- (C1 subClassOf C2) ? > >Dave Reynolds and Ian Dickinson > >> > -----Original Message----- >> > From: www-webont-wg-request@w3.org >> > [mailto:www-webont-wg-request@w3.org]On Behalf Of Jim Hendler >> > Sent: 06 May 2003 14:11 >> > To: webont >> > Subject: WOWG: Need to know about your implementations -- ASAP >> > >> > >> > >> > 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 >> > -- 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 Wednesday, 7 May 2003 08:42:03 UTC