- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Thu, 31 May 2012 14:16:16 +0100
- To: Stephan Opfer <stephan.opfer@gmx.net>
- Cc: public-owl-dev@w3.org
OTOH, since OWL is first order you can't rule out unintended model with rouge pieces (i.e., you want to the smallest relation that makes the tree...or the tree won't be well founded, for example). hasChild still ain't transitive though!
Received on Thursday, 31 May 2012 13:16:53 UTC