|
Welcome Guest | Login | |
|
Index
| Recent Threads
| Who's Online
| User List
| Search
| Help
| 
|
|
Forum closing down This forum will be closing down due to extensive spamming activities. As a first step, registration of new members has been disabled. Existing members will be able to use the forum for now, but please consider using the sesame-general mailing list instead. |
 |
openRDF.org Forum » Sesame & Rio: Open Discussion » Thread: CIFP (Combined Inverse Functional Properties) |
|
Total posts in this thread: 2 |
[Add To My Favorites] [Watch this Thread] [Post new Thread] |
| Author |
|
|
Feb 12, 2005 7:52:29 PM
bblfish Sesame Addict France Joined: Sep 13, 2004 Posts: 102 Status: Offline |
Combined Inverse Functional Properties are a type of restriction on a Class that says intutitively that if two objects a and g have the same values for a set of CIFP relations then a owl:sameAs g. So assuming that R1 and R2 are CIFP relations on Class C1, the following would be a deduction that would be possible: a ----R1----> b a ----R2----> c g ----R1----> b g ----R2----> c a -rdf:type-> C1 g -rdf:type-> C1 ------------------- a--owl:sameAs--> g From what I read on the web site it seems that though I could allready get IFPs using the OWLIM sail, I would in no cicumstances and with any sail be able to get something that worked with rules as complex as the one outlined above. Is that correct? Henry Story Note: I posted the above rule on the sem web mailing list which prompted a very good N3 formalisation of that rule. ---------------------------------------- [Edit 4 times, last edit by bblfish at Feb 15, 2005 2:18:26 PM] |
||
|
|
May 25, 2005 11:42:42 AM
bblfish Sesame Addict France Joined: Sep 13, 2004 Posts: 102 Status: Offline |
I just wanted to say again how important CIFPs are. I am bumping into problems *all the time* because I don't have access to something like that. Here is the latest example. Atom defines a category to be an object that has the following: - A scheme (URI) - a term (string) - a label (string) If I could say that the scheme and the term are Combined Inverse Functional Properties, then the database would work out that if categories C1 and C2 have the same term and scheme, then C1 == C2. The only way to get around this in the current system is to invent some URI for each category that combines the scheme and the term. But - the information for this is not always available, - and it also forces me to create some weird, and probably not always standard, URIs. In some ways CIFPs allow you to have blank nodes that act as URIs when enough information is available. I have come across the need for something like this at least 3 times before in BlogEd. And each time I have to create a hack to solve the problem. Other examples of CIFPs in BlogEd are: 1. Two AtomEntries are the same iff they have the same AtomEntryID and the same modified time stamp. 2. Two MetaWeblog blogs are the same iff they have the same MetaWeblog service uri and the same blogid ---------------------------------------- [Edit 1 times, last edit by bblfish at May 25, 2005 12:35:03 PM] |
||
|
| [Show Printable Version of Thread] [Post new Thread] |
