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

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

From: Boris Motik <boris.motik@comlab.ox.ac.uk>
Date: Wed, 25 Jun 2008 18:59:46 +0100
To: "'OWL Working Group WG'" <public-owl-wg@w3.org>
Message-ID: <003701c8d6ed$411445e0$6c12a8c0@wolf>

Hello,

I have just updated the specification according to the resolution of the issue; here is the diff:

http://www.w3.org/2007/OWL/wiki/index.php?title=Mapping_to_RDF_Graphs&diff=8900&oldid=8667

Regards,

	Boris

> -----Original Message-----
> From: public-owl-wg-request@w3.org [mailto:public-owl-wg-request@w3.org] On Behalf Of Boris Motik
> Sent: 24 June 2008 17:25
> To: 'OWL Working Group WG'
> Subject: Proposal to resolve ISSUE-81 (reification in netagive property assertions)
> 
> 
> 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 Wednesday, 25 June 2008 18:01:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 25 June 2008 18:01:24 GMT