Need to know about your implementations -- ASAP] from Dave Reynolds on 2003-05-07 (www-webont-wg@w3.org from May 2003) (original) (raw)

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

Received on Wednesday, 7 May 2003 07:28:52 UTC