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