Order:
  1.  16
    The Interplay Between Models and Observations.Claudio Masolo, Alessander Botti Benevides & Daniele Porello - 2018 - Applied Ontology 13 (1):41-71.
    We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2.  54
    Full Mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3. La prospettiva dell'ontologia applicata.Claudio Masolo, Alessandro Oltramari, Aldo Gangemi, Nicola Guarino & Laure Vieu - 2003 - Rivista di Estetica 22 (2003):170-183.
    Translate
     
     
    Export citation  
     
    My bibliography