Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662958 | Journal of Applied Logic | 2014 | 8 Pages |
Abstract
The paper contains a short summary – oriented by a logical point of view – of a joint work on Formal Ontologies. We shall show how Formal Ontologies correspond to Coherent Spaces, and operations on Formal Ontologies correspond to operations on corresponding Coherent Spaces. So, we are offering a new way to establish the semantics of Formal Ontologies. Surely, we are giving a contribution towards a geometrical treatment of Formal Ontologies (as decidable organizations of digital data).
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
V. Michele Abrusci, Christophe Fouqueré, Marco Romano,