Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[p4-feedback] Use of inverseFunctional for data properties

Timothy Redmond tredmond at stanford.edu
Wed Sep 22 00:45:38 PDT 2010


> Then could the described behaviour be a parsing problem? It might be 
> worth trying to open the same ontology with the recent Protégé version 
> (4.1 beta), where conformance with the OWL specification has been 
> improved.
>
> But maybe someone from the Protégé team should comment on this. 

It looks like the latest version of the OWL api allows punning between 
object properties and data properties.  But it also appears that it gets 
pretty confused in this situation.

-Timothy



On 09/22/2010 12:33 AM, Thomas Schneider wrote:
>
> On 22 Sep 2010, at 03:52, Alan Ruttenberg wrote:
>
>> On Tue, Sep 21, 2010 at 4:04 AM, Thomas Schneider 
>> <schneidt at cs.man.ac.uk> wrote:
>>>
>>> On 21 Sep 2010, at 08:43, Evain, Jean-Pierre wrote:
>>>
>>>> Good morning.
>>>>
>>>> While looking at the FOAF ontology on Protégé 4.0, different 
>>>> properties,
>>>> although declared as data properties, would be displayed as data 
>>>> and object
>>>> properties.
>>>>
>>>> Would you confirm that this results from the fact that these 
>>>> properties
>>>> are also declared as inverseFunctional, which would seem to make 
>>>> them look
>>>> like object properties to Protégé?
>>>
>>> I don't know the FOAF ontology, but I suspect that the described 
>>> behaviour
>>> is due to punning, which is allowed in OWL 2: two entities of 
>>> different type
>>> (e.g. an object property and a data property) can have the same name.
>>
>> Object and Data properties can not be punned.
>> http://www.w3.org/TR/2009/REC-owl2-syntax-20091027/#Typing_Constraints_of_OWL_2_DL 
>>
>
> Hmmm, sorry for overlooking this ...
>
> Then could the described behaviour be a parsing problem? It might be 
> worth trying to open the same ontology with the recent Protégé version 
> (4.1 beta), where conformance with the OWL specification has been 
> improved.
>
> But maybe someone from the Protégé team should comment on this.
>
> Cheers
>
> Thomas
>
>>
>>> It is
>>> possible that, if the parser reads an InverseFunctional statement, 
>>> that the
>>> property is punned and treated as an object property for this 
>>> particular
>>> statement and as a data property otherwise.
>>>
>>> However, I can't say for sure that this is the actual reason.
>>>
>>>> It also seems, still on Protégé 4.0 that it is not proposed to declare
>>>> data properties as being inverseFunctional. Any reason?
>>>
>>> Neither in 4.0 nor in 4.1 can you declare data properties as inverse
>>> functional. The reason is that the OWL specification doesn't allow 
>>> this. If
>>> it were allowed, reasoning would become an undecidable problem.
>>>
>>>> Interesting to note that reasoners accept all this.
>>>
>>> I'm not sure what exactly you mean. If you invoked the reasoner within
>>> Protégé, it worked on the representation of the ontology created by 
>>> Protégé
>>> (or the underlying OWL API). Since the properties in question had been
>>> punned during parsing as described above, the reasoner got the
>>> InverseFunctional statements for object properties. However, if you 
>>> invoked
>>> a reasoner directly, e.g., Pellet on the command line, then they might
>>> simply have used punning too.
>>>
>>> Cheers
>>>
>>> Thomas
>>>
>>>>
>>>> What do you think?
>>>>
>>>> Regards,
>>>>
>>>> Jean-pierre
>>>> -----------------------------------------
>>>> **************************************************
>>>> This email and any files transmitted with it
>>>> are confidential and intended solely for the
>>>> use of the individual or entity to whom they
>>>> are addressed.
>>>> If you have received this email in error,
>>>> please notify the system manager.
>>>> This footnote also confirms that this email
>>>> message has been swept by the mailgateway
>>>> **************************************************
>>>>
>>>> _______________________________________________
>>>> p4-feedback mailing list
>>>> p4-feedback at lists.stanford.edu
>>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>> +----------------------------------------------------------------------+ 
>>>
>>> |  Dr Thomas Schneider                    schneider (at) 
>>> cs.man.ac.uk  |
>>> |  School of Computer Science       
>>> http://www.cs.man.ac.uk/~schneidt  |
>>> |  Kilburn Building, Room 2.114                 phone +44 161 
>>> 2756136  |
>>> |  University of 
>>> Manchester                                            |
>>> |  Oxford Road                                             
>>> _///_       |
>>> |  Manchester M13 9PL                                      
>>> (o~o)       |
>>> +-----------------------------------------------------oOOO--(_)--OOOo--+ 
>>>
>>>
>>> Fremantle (vb.)
>>>  To steal things not worth the bother of stealing. One steals cars,
>>>  money and silver. Book matches, airline eyepatches and individual
>>>  pots of Trust House Forte apricot jam are merely fremantled.
>>>
>>>                  Douglas Adams, John Lloyd: The Deeper Meaning of Liff
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> p4-feedback mailing list
>>> p4-feedback at lists.stanford.edu
>>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>>>
>>>
>> _______________________________________________
>> p4-feedback mailing list
>> p4-feedback at lists.stanford.edu
>> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
> +----------------------------------------------------------------------+
> |  Dr Thomas Schneider                    schneider (at) cs.man.ac.uk  |
> |  School of Computer Science       http://www.cs.man.ac.uk/~schneidt  |
> |  Kilburn Building, Room 2.114                 phone +44 161 2756136  |
> |  University of Manchester                                            |
> |  Oxford Road                                             _///_       |
> |  Manchester M13 9PL                                      (o~o)       |
> +-----------------------------------------------------oOOO--(_)--OOOo--+
>
> Fremantle (vb.)
>   To steal things not worth the bother of stealing. One steals cars,
>   money and silver. Book matches, airline eyepatches and individual
>   pots of Trust House Forte apricot jam are merely fremantled.
>
>                   Douglas Adams, John Lloyd: The Deeper Meaning of Liff
>
>
>
>
> _______________________________________________
> p4-feedback mailing list
> p4-feedback at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/p4-feedback
>    

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/p4-feedback/attachments/20100922/08aaa916/attachment.html>


More information about the p4-feedback mailing list