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

RE: Proposal to resolve ISSUE-81 (reification in netagive property assertions)

From: Michael Schneider <schneid@fzi.de>
Date: Wed, 25 Jun 2008 01:33:23 +0200
Message-ID: <0EF30CAA69519C4CB91D01481AEA06A0A25D82@judith.fzi.de>
To: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
Cc: "OWL Working Group WG" <public-owl-wg@w3.org>
Hi Boris!

I like this approach.

Cheers,
Michael

Boris Motik wrote:

>Hello,
>
>Here is a proposal for resolving this issue. Instead of using the RDF
>reification vocabulary, we should introduce four new
>vocabulary items: owl:sourceIndividual, owl:targetIndividual,
>owl:assertionProperty, and owl:targetValue. Then, negative assertions
>on object properties would be serialized as follows:
>
>  NegativePropertyAssertion( my:prop my:i1 my:i2 )
>
>==>
>
>  _:x rdf:type owl:NegativePropertyAssertion
>  _:x owl:sourceIndividual my:i1
>  _:x owl:assertionProperty my:prop
>  _:x owl:targetIndividual my:i2
>
>
>Similarly, negative assertions on data properties would be serialized as
>follows:
>
>  NegativePropertyAssertion( my:prop my:i1 "const"^^xsd:string )
>
>==>
>
>  _:x rdf:type owl:NegativePropertyAssertion
>  _:x owl:sourceIndividual my:i1
>  _:x owl:assertionProperty my:prop
>  _:x owl:targetValue "const"^^xsd:string
>
>Please let me know how you feel about this.
>
>Regards,
>
>	Boris
>


Received on Tuesday, 24 June 2008 23:34:05 UTC

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