- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Mon, 16 Jun 2008 21:27:13 +0100
- To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
- Cc: <public-owl-wg@w3.org>
On 16 Jun 2008, at 21:14, Boris Motik wrote: [snip] > Hads up, contrary to Bijan's suggestion, I haven't introduced a > nonterminal production KeyPropertyExpression that would > be a superclass for ObjectPropertyExpression and > DataPropertyExpression. Introducing another class seemed like quite > a bit of > overhead, particularly that you need to syntactically distinguish > object from data property expressions in the semantics and in > various other places. Instead, in the RDF mapping and semantics > document, I chose to refer to the axiom as KeyFor( OPE1 ... OPEm > DPE1 ... DPEm CE ). Although this seems to suggest that all object > properties should come before all data properties, this is not > the intended meaning; in fact, the syntax allows for interleaving > object and data properties. Yeah, I tried that but got stuck on the implied meaning. Works though if it's all a set anyway. Cheers, Bijan.
Received on Monday, 16 June 2008 20:25:02 UTC