Consistency and Formal Model Re: [topicmapmail] Can a resourceRef be a topic

[Lars Marius Garshol]

* Dan Brickley
| 
| This sounds familiar! We had a similar experience with RDF. The
| original specification left some areas open to (seemingly endless)
| discussion.  Since launching the RDFCore WG we've been working on
| addressing this through a Model Theoretic formalisation. I thought
| folks here might find this of interest... 

Patrick Durusau posted a pointer to this back in November, and some of
us have been thinking about doing something like this ever since.

I definitely see the value of it, and would like to see something like
this done for topic maps. For now, however, focus has been primarily
on the data model. 

It seems to me that a model theory such as this will have to build on
the data model in order to be effective. Whether it is best built on
the reference model or the standard application model I am not sure.

-- 
Lars Marius Garshol, Ontopian         <URL: http://www.ontopia.net >
ISO SC34/WG3, OASIS GeoLang TC        <URL: http://www.garshol.priv.no >