[TYPES] Re: Type theory applications to the Semantic Web/RDF (Galchin Vasili)

[Patrick Durusau]

Vasili,

Galchin Vasili wrote:
> 
> Hello Type community,
> 
>   I am looking for papers that apply type theory
> (categorical type theory?) to implementation of the
> Semantic Web (RDF). Any suggestions for papers to
> read?
> 
> Regards, Vasili
> 
> PS If we really had a semantic web, I wouldn't have to
> make this posting ;^)
> 

I am interested in the same information, albeit for application to the 
development of a reference model for topic maps.

One paper that I have found quite interesting is:

"An Algebraic Framework for Merging Incomplete and Inconsistent Views" 
by Mehrdad Sabetzadeh and Steve Easterbrook, Department of Computer 
Science, University of Toronto.

Online at: www.cs.toronto.edu/~sme/papers/2004/MergingViews.pdf

My current suspicion is that topic maps are a parallel development of 
category theory without a firm basis and expressing it in syntax. I am 
hopeful that with the assistance of the category community, topic maps 
can benefit from the firm basis of category theory and processing 
techniques already established.

Hope you are having a great day!

Patrick

-- 
Patrick Durusau
Director of Research and Development
Society of Biblical Literature
Patrick.Durusau at sbl-site.org
Chair, V1 - Text Processing: Office and Publishing Systems Interface
Co-Editor, ISO 13250, Topic Maps -- Reference Model

Topic Maps: Human, not artificial, intelligence at work!