[1 1/2 month Dan Connolly wrote] > "relatively complex?" We're talking about 10 horn clauses, for RDFS. > For OWL, I expect more like 50, but still, hardly a monument > to engineering. we now have 52 in http://www.agfa.com/w3c/euler/owl-rules $Id: owl-rules.n3,v 1.79 2002/09/29 12:51:29 amdus Exp $ including some inconsistency/incompleteness detections > And I expect they won't need a FOL reasoner for most applications. > Jos and cwm are more like pure-prolog engines (with something > like tabling to deal with loops, but with no negation mechanisms) > than FOL reasoners. -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Sunday, 29 September 2002 09:19:54 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:04:35 UTC