Hoolet SWRL reasoner

• Previous message: B: "$BJVEz$,L5$$$N$ODs<(3[$N(B$B$;$$$G$9$+!)(B50$BK|(B$B1_$J$i$$$$$N$G$7$g$&$+(B$B!)(B"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Dear All,

We are pleased to announce the availability of the Hoolet SWRL reasoner
[1]. Hoolet is an implementation of an OWL-DL reasoner that uses the
Vampire first order prover [2]. The ontology is translated to
collection of axioms (in an obvious way based on the OWL semantics)
and this collection of axioms is then given to a first order prover
for consistency checking.

Please note that we do *not* claim that Hoolet is, in any way an
*effective* reasoner -- such a naive approach is highly unlikely to
scale. However, it does provide a useful tool for experimentation and
for small illustrative examples.

Credit for the development of Hoolet is due to Sean Bechhofer [3].

Regards,

Ian Horrocks


[1] http://owl.man.ac.uk/hoolet/
[2] http://www.cs.man.ac.uk/~riazanoa/Vampire/
[3] http://potato.cs.man.ac.uk/seanb/

• Next message: Mike Dean: "Joint Committee telecon today 27 April"
• Previous message: B: "$BJVEz$,L5$$$N$ODs<(3[$N(B$B$;$$$G$9$+!)(B50$BK|(B$B1_$J$i$$$$$N$G$7$g$&$+(B$B!)(B"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/26/04 EST