Abstract. This paper presents an approach to semi-automate photo annotation. Instead of using content-recognition techniques this approach leverages context information available a...
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Abstract. In this paper we give an overview of the int.ere.st for a social tagging, bookmarking, and sharing service. It is based on the SCOT ontology. The SCOT ontology can repres...
Hak Lae Kim, Sung-Kwon Yang, Seung-Jae Song, John ...
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...