KNOWLEDGE REPRESENTATION THROUGH COHERENCE SPACES - A Theoretical Framework for the Integration of Knowledge Representations

V. Michele Abrusci, Marco Romano, Christophe Fouqueré

Abstract

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.

References

  1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., and Patel-Schneider, P., editors (2003). The Description Logics Handbook: Theory, Implementation and Applications. Cambridge University Press.
  2. Berners-Lee, T., Hendler, J., and Lassila, O. (2001). The semantic web. Scientific American.
  3. Ehrhard, T., Girard, J.-Y., Ruet, P., and Scot, P., editors (2004). Linear Logic in Computer Science, volume 316 of London Mathematical Society Lecture Note. Cambridge University Press.
  4. Girard, J.-Y. (1987). Linear logic. Theoretical Computer Science.
  5. Girard, J.-Y., Lafont, Y., and Taylor, P. (1989). Proofs and Types. Cambridge University Press.
  6. Gruber, T. (1995). Towards principles for the design of ontologies used for knowledge sharing. Int'l Journal of Human and Computer Studies.
  7. Vander-Wal, T. (2007). http://vanderwal.net/folksonomy.html.
Download


Paper Citation


in Harvard Style

Abrusci V., Romano M. and Fouqueré C. (2009). KNOWLEDGE REPRESENTATION THROUGH COHERENCE SPACES - A Theoretical Framework for the Integration of Knowledge Representations . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009) ISBN 978-989-674-012-2, pages 220-225. DOI: 10.5220/0002301002200225


in Bibtex Style

@conference{keod09,
author={V. Michele Abrusci and Marco Romano and Christophe Fouqueré},
title={KNOWLEDGE REPRESENTATION THROUGH COHERENCE SPACES - A Theoretical Framework for the Integration of Knowledge Representations},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)},
year={2009},
pages={220-225},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002301002200225},
isbn={978-989-674-012-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2009)
TI - KNOWLEDGE REPRESENTATION THROUGH COHERENCE SPACES - A Theoretical Framework for the Integration of Knowledge Representations
SN - 978-989-674-012-2
AU - Abrusci V.
AU - Romano M.
AU - Fouqueré C.
PY - 2009
SP - 220
EP - 225
DO - 10.5220/0002301002200225