- From: Pat Hayes <phayes@ihmc.us>
- Date: Thu, 13 Apr 2006 16:36:09 -0700
- To: "Seaborne, Andy" <andy.seaborne@hp.com>
- Cc: Eric Prud'hommeaux <eric@w3.org>, public-rdf-dawg@w3.org
>Eric Prud'hommeaux wrote: >>By the current spec, I don't see any reason to believe that the >>following my:funcs have anything to do with each other: >> ASK WHERE { ?x my:func ?y FILTER (my:func(?x) || >> my:func(?x ?y)) } >>Just thought I'd mention that. > >In ARQ, my:func(?x) and my:func(?x ?y) dispatch to the same code >implementation. Functions are polyadic, like varargs. > >If predicate my:func is different from function my:func, then >shouldn't they be different URIs as they are different concepts? Well, I can answer that from the Common Logic point of view. No. One can use the same name for a class/predicate/relation/function because these can all be the same entity. They differ only in the arity, and there is no logical reason why one entity cannot have many arities. The Common Logic semantics is based on this idea, and RDF uses the same basic structure, which is why it is fine to use the same URI for a class and an individual and a property in OWL-Full. We have now an extended logic called IKL which also allows the same name to be used for a proposition as well. The basic rule is that if the syntax is rich enough to clearly distinguish the different 'uses' of a name, there is no harm in making these all denote the same entity. Pat > > Andy -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 cell phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
Received on Thursday, 13 April 2006 23:36:25 UTC