5 found
Order:
  1.  43
    DOLCE: A Descriptive Ontology for Linguistic and Cognitive Engineering.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Sanfilippo Emilio & Laure Vieu - 2022 - Applied ontology 1 (17):45-69.
    DOLCE, the first top-level (foundational) ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Logical Operators for Ontological Modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. On the Ontology of Functions.Stefano Borgo, Riichiro Mizoguchi & Barry Smith - 2011 - Applied Ontology 6 (2):99-104.
    This special issue of Applied Ontology is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. It includes theoretical and technical contributions related to the description, characterization, and application of functions.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  15
    Pluralities, Collectives, and Composites.Claudio Masolo, Laure Vieu, Stefano Borgo, Roberta Ferrario & Daniele Porello - 2020 - In Boyan Brodaric & Fabian Neuhaus (eds.), Formal Ontology in Information Systems - Proceedings of the 11th International Conference, {FOIS} 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020. Frontiers in Artificial Intelligence and Applications 330. pp. 186-200.
    Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  14
    Features and Components in Product Models.Emilio M. Sanfilippo, Claudio Masolo, Stefano Borgo & Daniele Porello - 2016 - In Formal Ontology in Information Systems - Proceedings of the 9th International Conference, {FOIS} 2016, Annecy, France, July 6-9, 2016. Frontiers in Artificial Intelligence and Applications 283. pp. 227-240.
    Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...)
    Download  
     
    Export citation  
     
    Bookmark