- From: Boris Motik <boris.motik@comlab.ox.ac.uk>
- Date: Tue, 24 Jun 2008 17:25:15 +0100
- To: "'OWL Working Group WG'" <public-owl-wg@w3.org>
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 16:26:47 UTC