Re: summary of reification semantics issues (material for discussion).

Pat,

You say:
[[
One objection to the de re interpretation is that it does not allow
for the adequate representation of propositional attitudes such as
belief. This is controversial (see the discussion of the Russellian
theory in http://plato.stanford.edu/entries/prop-attitude-reports/) ,
but in any case there is ample experience which suggests that the de
dicto interpretation would produce other problems with the
representation of such ideas, and that an fully adequate
representation of propositional attitudes is unobtainable using
reification alone.
]]

The only problem I know of for the de re interpertation of the 
reification syntax is that you can't substitute equivalents.  It seems 
to me that the solution of that would be to come up with a property for 
equating URIRefs that would exclude substitutions into reification 
triples.  In other words, why throw out propositional attitudes, why not 
just fix the semantics of equivalence ? If it is too late to fix 
 dmal:equivalentTo, then invent a OWL property that would exclude 
sustititions in reifications.  

What (if any)  are the other problems with propositional attitudes 
exclusive of this one?

Seth Russell

Received on Thursday, 13 March 2003 12:40:00 UTC