From: Peter F. Patel-Schneider ([email protected])
Date: 06/04/02
I think that the situation is even worse.
Consider
KB1 John rdf:type _:r .
_:r daml:onProperty friend .
_:r daml:toClass Person .
John friend _:f .
KB2 John rdf:type _:r .
_:r daml:onProperty friend .
_:r daml:toClass Person .
John friend _:f .
_:f rdf:type Person .
KB1 and KB2 are equivalent, but the MIDs returned for
Query John friend ?l .
?l distinquished
are different.
peter
This archive was generated by hypermail 2.1.4 : 06/04/02 EDT