W3C home > Mailing lists > Public > public-owl-wg@w3.org > June 2008

Re: I've extended the specification with easy keys (ACTION-160)

From: Bijan Parsia <bparsia@cs.man.ac.uk>
Date: Mon, 16 Jun 2008 21:27:13 +0100
Message-Id: <7D2A53ED-32BA-469B-9F6A-31A82042FEFE@cs.man.ac.uk>
Cc: <public-owl-wg@w3.org>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>

On 16 Jun 2008, at 21:14, Boris Motik wrote:
> 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.

Received on Monday, 16 June 2008 20:25:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:48 UTC