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

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 UTC