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

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

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>
Message-ID: <007c01c8d616$e291f520$6c12a8c0@wolf>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 24 June 2008 16:26:49 GMT