Re: OWL semantics

[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/