- From: Chimezie Ogbuji <chimezie@gmail.com>
- Date: Sun, 12 Aug 2007 03:17:37 -0400
- To: "jos.deroo@agfa.com" <jos.deroo@agfa.com>
- Cc: cwm <public-cwm-talk@w3.org>
FYI. FuXi has been updated with new Description Logic Programming capabilities. See: http://groups.google.com/group/fuxi-discussion/browse_thread/thread/43b2cf388f59c232 The horn clauses (rules) generated by the DLP process could probably be serialized into N3 easily enough for usage by any N3 reasoner. These custom rulesets (generated *from* a particular OWL RDF graph) may - in some ways - be more efficient to evaluate than the generic rulesets. At least, the DLP processor gets through the OWL tests much quicker (even including the time it takes to generate the custom rulesets) than before where I was essentially using an N3 ruleset which was a hybrid of owl-tests.n3 and pD (from "Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary") I eventually moved FuXi to google code and cheeseshop.
Received on Sunday, 12 August 2007 07:17:45 UTC