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

Proposal to resolve ISSUE-81

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Sun, 23 Mar 2008 10:47:53 -0400
Message-Id: <8E08F832-74F4-433C-A0D3-CE9A917A33C1@gmail.com>
To: "Web Ontology Language ((OWL)) Working Group WG" <public-owl-wg@w3.org>

To resolve this issue I propose that NegativeObjectPropertyAssertion  
be transformed into the equivalent class assertion. In order to  
support tools that wish to preserve the presentation of this axiom as  
NegativeObjectPropertyAssertion we use the axiom annotation mechanism  
with a new annotation property: syntaxHint.  syntaxHint would be  
considered optional - not all tools need serialize using it, nor all  
tool pay attention to it.


NegativeObjectPropertyAssertion(hasMother John Mary)

Is translated in to

   Annotation(syntaxHint NegativeObjectPropertyAssertion)
   John ObjectAllValuesFrom(hasMother ObjectComplementOf(ObjectOneOf 


meta: ISSUE-103
Received on Sunday, 23 March 2008 14:48:34 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:42:03 UTC