W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > June 2001

Re: log:forSome (Was: Model-specific identity for anon resources, and its representation: A new issue?

From: pat hayes <phayes@ai.uwf.edu>
Date: Tue, 26 Jun 2001 13:07:27 -0500
Message-Id: <v04210109b75e7fb16514@[205.160.76.189]>
To: jos.deroo.jd@belgium.agfa.com
Cc: w3c-rdfcore-wg@w3.org
>[...]
> >>I agree that you CANT unify distinct existentially quantified
> >>variables in the sense that one does with universally
> >>quantified variables i.e. computing a MGU (Most General Unifier)
> >>but what we actually compute is a LCU (Least Common Unifier)
> >
> >Whoa!  Ive never heard that term before. Can you specify what you
> >mean? Eg give a sketch of this LCU algorithm, or some explanatory
> >examples?
>
>To make a sketch will take some time for me and
>to analyze the
>  final boolean unify(Euler t, Euler r, Stack s)
>method in the class
>  http://www.agfa.com/w3c/euler/Euler.java
>will take some time for you
>but examples are easier to find
>
>1.given the facts http://www.agfa.com/w3c/euler/danc.n3
>  then some query http://www.agfa.com/w3c/euler/danc-query.n3
>  produces result http://www.agfa.com/w3c/euler/danc-result.n3
>
>2.given the facts http://www.agfa.com/w3c/n3/ziv.n3
>  then some query http://www.agfa.com/w3c/n3/ziv-query.n3
>  produces result http://www.agfa.com/w3c/n3/ziv-result.n3
>
>3.given the facts http://www.agfa.com/w3c/euler/simulteq.axiom.n3
>  then some query http://www.agfa.com/w3c/euler/simulteq.lemma.n3
>  produces result http://www.agfa.com/w3c/euler/simulteq.proof.n3
>
>4.given the facts http://www.agfa.com/w3c/n3/rdfc25May.n3
>  then some query http://www.agfa.com/w3c/n3/rdfc25May.n3
>  produces result http://www.agfa.com/w3c/n3/rdfc25May-result.n3

As far as I can tell, those are all MGUs in the usual way, as in Prolog. (???)

Pat

---------------------------------------------------------------------
IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
phayes@ai.uwf.edu 
http://www.coginst.uwf.edu/~phayes
Received on Tuesday, 26 June 2001 14:07:28 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:37:17 EDT