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

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

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 7 May 2003 08:38:04 -0400
Message-Id: <p05200f4fbadeae94b5d1@[10.0.1.2]>
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 GMT

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