On 8/7/07, <b class="gmail_sendername">Juan Sequeda</b> <<a href="mailto:juanfederico@gmail.com" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">juanfederico@gmail.com</a>> wrote:<div><span class="gmail_quote">
</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Why doesn't OWL let the InverseFunctional Property apply for datatype property.s</blockquote><div><br>Bec it's only applied to object properties.<br></div><br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

If
I have a class Person and a datatype property called hasSSN, this is
considered an inverse functional property because my SSN identifies
only me.  Can't this be done? Or do I have to have a class SSN ?
</blockquote><div><br>Yes, you should create a class SSN in order to achieve the restriction "a SSN number is connected to only one person".<br></div></div><br>Notice that a SSN must be connected to exactly one person (this is how it's done here in Brazil).
<br>If a property is functional, it can be connected to 0 or 1 things.<br>Probably, would be better if you create a restriction in the SSN class saying "isSSNOf exactly 1".<br><br clear="all">-- <br>João Olavo Baião de Vasconcelos
<br>Ciência da Computação<br>UFES