Permanent generic relatedness and silent change

Niels Grewe; Ludger Jansen; Barry Smith

Permanent generic relatedness and silent change

Niels Grewe
, Ludger Jansen
, Barry Smith

Philosophy

University of Rostock

Research output: Contribution to journal › Conference article › peer-review

5 Scopus citations

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.

Original language	English
Journal	CEUR Workshop Proceedings
Volume	1660
State	Published - 2016
Event	2016 Joint Ontology Workshops 2016, Episode 2: The French Summer of Ontology, JOWO 2016 - Annecy, France Duration: Jul 6 2016 → Jul 9 2016

Keywords

Basic formal ontology
Change
Description logics
Ontology Design patterns
OWL 2
Processes

Cite this

@article{e85a436aaf3344ae93f96d9cd21fe284,

title = "Permanent generic relatedness and silent change",

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.",

keywords = "Basic formal ontology, Change, Description logics, Ontology Design patterns, OWL 2, Processes",

author = "Niels Grewe and Ludger Jansen and Barry Smith",

year = "2016",

language = "English",

volume = "1660",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "2016 Joint Ontology Workshops 2016, Episode 2: The French Summer of Ontology, JOWO 2016 ; Conference date: 06-07-2016 Through 09-07-2016",

}

TY - JOUR

T1 - Permanent generic relatedness and silent change

AU - Grewe, Niels

AU - Jansen, Ludger

AU - Smith, Barry

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

KW - Basic formal ontology

KW - Change

KW - Description logics

KW - Ontology Design patterns

KW - OWL 2

KW - Processes

UR - https://www.scopus.com/pages/publications/84988913483

M3 - Conference article

AN - SCOPUS:84988913483

SN - 1613-0073

VL - 1660

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - 2016 Joint Ontology Workshops 2016, Episode 2: The French Summer of Ontology, JOWO 2016

Y2 - 6 July 2016 through 9 July 2016

ER -

Permanent generic relatedness and silent change

Abstract

Keywords

Other files and links

Fingerprint

Cite this