W3C home > Mailing lists > Public > semantic-web@w3.org > June 2006

CIFPs [1] complexity?

From: Henry Story <henry.story@bblfish.net>
Date: Mon, 5 Jun 2006 18:26:41 +0200
Message-Id: <23ED3B0C-98AA-4C37-BBF8-3D59E8097D98@bblfish.net>
To: Semantic Web <semantic-web@w3.org>

Over a year ago I asked a question about Composite Inverse Functional  
Properties and got some excellent responses. The definition has been  
up on the ESW wiki [1] for a while.

But we have not yet seen any reasoners incorporate this into their  
engines. Of course CIFPs are not declared in any standard document,  
but they are very useful, as I have found in my programming  
experience. CIFPs do have a very clear and precise definition [2], so  
it should not be a problem to at least analyze their logical  
properties. Is this really a concept that is so much more complicated  
than other OWL relations? What is the complexity of this really? What  
restrictions should be imposed to make CIFPs fall into the OWL-DL  
category? Would any logicians care to comment? This could be very  
helpful to persuade inference engine creators to implement something  
of that nature.


	Henry Story

[1] http://esw.w3.org/topic/CIFP
[2] http://eulersharp.sourceforge.net/2004/04test/rogier#

Home page: http://bblfish.net/
Sun Blog: http://blogs.sun.com/bblfish/
Received on Monday, 5 June 2006 16:26:53 UTC

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:57 UTC