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@[]>
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. (???)


IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola,  FL 32501			(850)202 4440   fax
Received on Tuesday, 26 June 2001 14:07:28 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:02 UTC