[TYPES] Type theory applications to the Semantic Web/RDF

[Galchin Vasili]

Hello Type Community,

      For those of you familiar with XML (eXtended
Markup Language) and Schemas, can you point me at
papers that apply type theory (categorical perhaps) to
XML and XML Schema? (This is better place to start my
investigation than the Semantic Web and RDF).

Thank you, Vasili

--- Galchin Vasili <vngalchin at yahoo.com> wrote:
> [The Types Forum,
>
http://lists.seas.upenn.edu/mailman/listinfo/types-list]
> 
> 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 ;^)
> 
> 
> 
>    
> 
> 
> 	
> 		
> __________________________________
> Do you Yahoo!?
> Friends.  Fun.  Try the all-new Yahoo! Messenger.
> http://messenger.yahoo.com/ 



	
		
__________________________________
Do you Yahoo!?
Friends.  Fun.  Try the all-new Yahoo! Messenger.
http://messenger.yahoo.com/