- From: Ian Horrocks <ian.horrocks@comlab.ox.ac.uk>
- Date: Tue, 15 Sep 2009 14:19:28 +0100
- To: Markus Krötzsch <mak@aifb.uni-karlsruhe.de>, Sebastian Rudolph <rudolph@aifb.uni-karlsruhe.de>, pascal@pascal-hitzler.de, Peter Patel-Schneider <pfps@research.bell-labs.com>, Bijan Parsia <bparsia@cs.man.ac.uk>
- Cc: W3C OWL Working Group <public-owl-wg@w3.org>
AFAICT this was never addressed. I believe that it did identify two errors (FS only has EquivalentClasses axioms). I just made the relevant corrections. I would be grateful if one of the editors could check and confirm. Thanks, Ian On 9 Sep 2009, at 10:59, Bijan Parsia wrote: > (For documentation purposes.) > > Begin forwarded message: > >> From: Marko Luther <luther@docomolab-euro.com> >> Date: 8 September 2009 09:23:56 BST >> To: Bijan Parsia <bparsia@cs.man.ac.uk> >> Subject: Fwd: OWL 2 Primer Typo in Example Ontology >> >> Ups, EquivalentClass occurs also in the EL example ontology. >> >> M. >> >> Begin forwarded message: >> >>> From: Marko Luther <luther@docomolab-euro.com> >>> Date: 8. September 2009 10:18:59 MESZ >>> To: Bijan Parsia <bparsia@cs.man.ac.uk> >>> Subject: OWL 2 Primer Typo in Example Ontology >>> >>> Hi Bijan, >>> could there be a typo in the example ontology in the OWL 2 Primer? >>> >>> EquivalentClass( :Parent ObjectSomeValuesFrom >>> ( :hasChild :Person ) ) >>> => >>> EquivalentClasses( :Parent ObjectSomeValuesFrom >>> ( :hasChild :Person ) ) >>> >>> M. >> > >
Received on Tuesday, 15 September 2009 13:20:06 UTC