- From: Birte Glimm <birte.glimm@uni-ulm.de>
- Date: Sat, 3 Dec 2011 19:58:47 +0100
- To: Sandro Hawke <sandro@w3.org>, SPARQL Working Group <public-rdf-dawg@w3.org>
I implement a big part of the Direct Semantic Entailment Regime. The implementation is a wrapper around reasoners that support the OWLReasoner interface from the OWL API, so can be used with several reasoners in the background. I didn't manage to do much implementation work since moving to Ulm, but from January on I'll have a visiting student, who hopefully helps with that. Michael Schneider told me that he wants to implement all regimes, but I am not sure he can achieve that in time for CR. Let's see. Jeff Pan & his collegues also showed interest (Direct Semantics) and I hope C&P will also contribute. Best regards, Birte On 1 December 2011 20:58, Chime Ogbuji <chimezie@gmail.com> wrote: > See my response inline below. > > On Thursday, November 24, 2011 at 10:13 AM, Sandro Hawke wrote: >> ..snip.. >> (Thinking about it, I expect we might have some problems with ER on this >> front. Has anyone been implementing ER? Does anyone plan to? > I plan to. I have (mostly) implemented the RIF Core entailment regime in FuXi. The only thing missing is 7.4 (Referencing a RIF Document and) and this is mostly due to lack of support of either of the concrete syntaxes for RIF: XML and RDF (now that the latter has been settled, I will probably go this route). > > Using this framework via 7.2 (Custom Rulesets for Common Vocabulary Interpretations), I have also implemented portions of the OWL 2 Entailment Regimes (the OWL 2 RL Profile in particular) as well as the RDFS Entailment Regime - per an earlier email. > > -- > Chime Ogbuji > Sent with Sparrow > > > -- Jun. Prof. Dr. Birte Glimm Tel.: +49 731 50 24125 Inst. of Artificial Intelligence Secr: +49 731 50 24258 University of Ulm Fax: +49 731 50 24188 D-89069 Ulm birte.glimm@uni-ulm.de Germany
Received on Saturday, 3 December 2011 18:59:17 UTC