W3C home > Mailing lists > Public > public-owl-dev@w3.org > January to March 2008

Re: post-conditions in OWL files

From: Ron Alford <ronwalf@umd.edu>
Date: Wed, 27 Feb 2008 14:44:34 -0500
Message-ID: <ff3192c60802271144m7502c595q1ce339e0c2373b95@mail.gmail.com>
To: public-owl-dev@w3.org

On Wed, Feb 27, 2008 at 1:56 PM, Matthew Pocock
<matthew.pocock@ncl.ac.uk> wrote:
>  I am fairly mechanism-neutral about this - it could be a seperate OWL file
>  marked as 'required entailments' or some flag on axioms 'asserted, entailed'
>  or whatever. It would, however, make managing ontologies that rely heavily on
>  computational support much easier, especially if tools and reasoners groked
>  it, and if we could keep these required entailments close to the axioms they
>  refer to.

Have you looked at the OWL test suite[1]?  I don't know how many tools
use it (Pellet does), but the framework should be easy to use for your


[1] http://www.w3.org/TR/owl-test/#testEntailment
Received on Wednesday, 27 February 2008 19:44:48 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:16 UTC