W3C home > Mailing lists > Public > www-webont-wg@w3.org > May 2003

[Fwd: Re: [Jena-devel] RE: WOWG: Need to know about your implementations -- ASAP]

From: Dave Reynolds <der@hplb.hpl.hp.com>
Date: Wed, 07 May 2003 12:27:45 +0100
Message-ID: <3EB8EDB1.B1865328@hplb.hpl.hp.com>
To: hendler@cs.umd.edu
CC: www-webont-wg@w3.org, Ian Dickinson <Ian.Dickinson@hp.com>, "JEREMY CARROLL (E-mail)" <jeremy_carroll@hpl.hp.com>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:58:00 GMT