W3C home > Mailing lists > Public > public-webont-comments@w3.org > November 2003

Re: Call for comments on your implementation experience

From: Evren Sirin <evren@cs.umd.edu>
Date: Sun, 23 Nov 2003 23:54:05 -0500
Message-ID: <3FC18EED.6080903@cs.umd.edu>
To: public-webont-comments@w3.org

Hi,
This is our experience for the implementation of Pellet reasoner.

Pellet is a Description Logic reasoner based on tableaux algorithms. 
When we started our implementation we didn't have any experience on 
implementing this kind of reasoner. We spent a month or so to understand 
the tableaux algorithms and implement the first prototype of a DL 
reasoner. Supporting reasoning about individuals and entailments took 
nearly a month. Another month was for implementing various different 
optimization techniques. Description Logic handbook was the main 
reference we used.

Implementing the parser to support most of OWL constructs was not so 
hard as we have used Jena toolkit to do the RDF parsing. But 
implementing a full syntax checker that would cover all the features of 
OWL was really hard as there were many corner cases especially about 
structure sharing issues. At the time, there was little documentation we 
could find but the new documents provide more information about these 
issues.

Overall, we were able to implement a full syntax checker and an OWL DL 
reasoner in 3-4 months. In this process, we have found the test cases 
very useful as they covered all the different syntax cases but it was 
still easy enough for us to find the bugs in our reasoning algorithms.

Regards,
Evren

---
> Evren Sirin evren@cs.umd.edu
> Graduate Research Assistant
> Computer Science Department
> Univ of Maryland, College Park, MD 20742
> Phone: (301) 405-7027, Fax: (301) 405-6707
Received on Monday, 24 November 2003 09:56:36 GMT

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