ISSUE-137 draft response

Hi all,

Here's a draft response to Michael on [ISSUE-137], let me know what you
think. Note *this is just a draft, not the actual response* -- I'll
wait for feedback from the WG before replying formally to
Michael. (Michael if you're lurking on this list feel free to post your
thoughts at any time.)


Dear Michael

Thank you for your comments [1]:

Property disjointness is not expressible in OWL Full. This should be  
somewhere in the document, I think. Property disjointness is,  
however, planned
to be expressible in OWL 2.


As you point out, there are some constraints in the SKOS data model  
that we are unable to express in OWL (some of these /may/ be  
addressed by OWL 2, but in the current SKOS specification we are  
avoiding reference to work in progress). In such cases, the  
constraints are expressed in prose in the document. Property  
disjointness is precisely one of these cases.

Statements to this effect are made in Section 1.7.1 of the LC draft.  
Do you feel these are sufficient, or do we need to further elaborate  
this point?


	Sean Bechhofer
	Alistair Miles


Sean Bechhofer
School of Computer Science
University of Manchester

Received on Thursday, 2 October 2008 16:02:43 UTC