W3C home > Mailing lists > Public > semantic-web@w3.org > February 2005

Combined Inverse Functional Properties

From: Henry Story <henry.story@bblfish.net>
Date: Fri, 11 Feb 2005 13:09:22 +0100
Message-Id: <94f8ad2e01a614fdfe121bbc093c151b@bblfish.net>
Cc: bloged <users@bloged.dev.java.net>
To: semantic-web@w3.org

Combined Inverse Functional Properties (CIFP) are one solution to what
is known as the Multi Column Key problem in databases.

Another solution is the one up on the wiki under the name
CoordinateProperty [].

I have myself come across this problem and found a nice relation between
both of these ways of thinking of the problem for my special case [1].

As I am working with the perspective of finding a simple mapping
between java interfaces and rdf, the solution I found does not seem
to be general enough. For one it requires an extra relation, which in my
example [1] was easily available, but in other cases may seem a little

There has been some thought on CIFPs recently, and a paper has even been
published [2] but it seems to go a lot further than what I was looking 
and I am not quite sure about its status.

But it [2] did make me wonder whether it would have been completely
nonsensical to extend OWL in such a way that one could express that
a collections of relations were together, inverse functional.

Something like this I suppose:

       a       owl:Class ;
       rdfs:subClassOf owl:Thing ;
               [ a       owl:CombinedRestriction ;
                 owl:onProperties ( default:service,  default:blogId ) ] 

If this makes sense then I can at least allow my java classes to be so
annotated, and perhaps express the constraints above in some form of

But perhaps by doing this I would be stepping on the tail of some 

Henry Story

[] http://esw.w3.org/topic/CoordinateProperty
[1] https://bloged.dev.java.net/servlets/ReadMsg?list=users&msgNo=484
[2] http://osiris.sund.ac.uk/~cs0tco/
Received on Friday, 11 February 2005 12:09:46 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:47:00 UTC