Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations

This work is an ongoing research (sponsored with a PhD grant by Epistematica Srl) about the interpretation of ontologies and their operations on specific graphs called Ontological Compatibility Spaces (OCS). Such graphs are particular Coherence Spaces that are used to give a denotational semantics to Linear Logic, hence giving a solid logical basis to our work. Using a graph framework, we depart from traditional set representation. It provides us with tools to represent actual relations among resources (and data) over the WorldWideWeb. After defining such OCSs and their correspondence with ontologies, we show to which extent folksonomies may also be of use to discover ontologies by means of OCS. Then we briefly discuss what we may obtain thanks to such an interpretation, confident that it may benefit the Semantic Web initiative with a tool for dynamic data and resources exchange.