Re: Subtler simplified datatypes.

On 2002-02-21 0:29, "ext Pat Hayes" <phayes@ai.uwf.edu> wrote:

> Ok, guys. Another version now at
> http://www.coginst.uwf.edu/users/phayes/simpledatatype1.html
> This changes the previous one as follows.
> 
> 1. S-B idiom now works with rdfs:drange; in fact, the S-A and S-B
> idioms are synonymous and can be interchanged with each other.

Right. This basically adopts the earlier suggestion in conjuction
with the first versions of the convergence proposal that in the context
of datatyping, any inline idiom could/should be treated as a value
triple -- in fact, it was suggested that the inline idiom would
be treated as a contracted form of the value triple idiom, and
always result in a value triple in the graph.

That

   <ppp>foo</ppp>

is just syntactic sugar for

   <ppp><rdf:Description><dlex>foo</dlex></rdf:Description></ppp>

It just leaves such a transformation as "virtual" and provides
that interpretation in the MT/semantics (which is fine).

Patrick

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com

Received on Thursday, 21 February 2002 04:12:04 UTC