Permanent generic relatedness and silent change

, &
In Maureen Donnelly & Giancarlo Guizzardi (eds.), Formal Ontology and Information Systems. IOS. pp. 1-5 (2012)
  Copy   BIBTEX

Abstract

Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-level ontology that allows expressing these modes.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the Eighth International Conference. IOS Press. pp. 227-240.
Kind Instantiation and Kind Change - A Problem for Four-Category Ontology.Markku Keinänen & Jani Hakkarainen - 2017 - Studia Neoaristotelica 14 (2):139-165.
BFO-based ontology enhancement to promote interoperability in BIM.Justine Flore Tchouanguem, Mohamed Hedi Karray, Bernard Kamsu Foguem, Camille Magniont, F. Henry Abanda & Barry Smith - 2021 - Applied ontology 16 (4):453-479.
A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology.Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte - 2019 - In Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte (eds.), ”, Proceedings of the Joint Ontology Workshops (JOWO), Graz.
Peer Review Report: Ontologies Relevant to Behaviour Change Interventions, version 1.Robert M. Kelly, David Limbaugh & Barry Smith - 2020 - Human Behaviour Change Project.
BFO-based ontology enhancement to promote interoperability in BIM.Justine Flore Tchouanguem, Mohamed Hedi Karray, Bernard Kamsu Foguem, Camille Magniont, F. Henry Abanda & Barry Smith - 2021 - Applied ontology 16 (4):1–27.
An Overview of the BFO - Basic Formal Ontology - and Its Applicability for Satellite Systems.Adolfo Americano Brandão & Geilson Loureiro - 2020 - In Franciele Braga Machado Tullio & Lucio Mauro Braga Machado (eds.), Ampliação e Aprofundamento de Conhecimentos nas Áreas das Engenharias,. Atena Editora. pp. 30-38.
SNAP and SPAN: Towards dynamic spatial ontology.Pierre Grenon & Barry Smith - 2004 - Spatial Cognition and Computation 4 (1):69–103.
Functions in Basic Formal Ontology.Andrew D. Spear, Werner Ceusters & Barry Smith - 2016 - Applied ontology 11 (2):103-128.

Analytics

Added to PP
2016-09-14

Downloads
454 (#62,693)

6 months
102 (#60,168)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ludger Jansen
PTH Brixen College
Barry Smith
University at Buffalo

Citations of this work

Publications by Barry Smith.Barry Smith - 2017 - Cosmos + Taxis 4 (4):67-104.

Add more citations

References found in this work

No references found.

Add more references