Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-37
S. Seppälä, A. Ruttenberg, Barry Smith
To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.
{"title":"The Functions of Definitions in Ontologies","authors":"S. Seppälä, A. Ruttenberg, Barry Smith","doi":"10.3233/978-1-61499-660-6-37","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-37","url":null,"abstract":"To understand what ontologies do through their definitions, we propose a theoretical explanation of the functions of definitions in ontologies backed by empirical neuropsychological studies. Our goal is to show how these functions should motivate (i) the systematic inclusion of definitions in ontologies and (ii) the adaptation of definition content and form to the specific context of use of ontologies.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"379 1","pages":"37-50"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82865050","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-183
Tomáš Hanzal, V. Svátek, Miroslav Vacura
{"title":"Event Categories on the Semantic Web and Their Relationship/Object Distinction","authors":"Tomáš Hanzal, V. Svátek, Miroslav Vacura","doi":"10.3233/978-1-61499-660-6-183","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-183","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"2 1","pages":"183-196"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73337467","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-285
Carmen S. Chui, M. Grüninger
{"title":"A Molecular Structure Ontology for Medicinal Chemistry","authors":"Carmen S. Chui, M. Grüninger","doi":"10.3233/978-1-61499-660-6-285","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-285","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"40 1","pages":"285-298"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79873234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-197
Claudio Masolo
{"title":"Observations and Their Explanations","authors":"Claudio Masolo","doi":"10.3233/978-1-61499-660-6-197","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-197","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"1 1","pages":"197-210"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89656284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-345
P. Garbacz
The paper outlines a formal ontology of texts. The main ontological distinction I try to capture is the difference between tokens of texts (physical texts) and texts (abstract texts) themselves. The latter are understood here as ontologically dependent on the former in the sense spelled out by the axioms of the ontology. I formally characterise both types by means of their criteria of identity and existence, parthood, spatial occupancy, text precedence, and intentionality.
{"title":"A Formal Ontology of Texts","authors":"P. Garbacz","doi":"10.3233/978-1-61499-660-6-345","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-345","url":null,"abstract":"The paper outlines a formal ontology of texts. The main ontological distinction I try to capture is the difference between tokens of texts (physical texts) and texts (abstract texts) themselves. The latter are understood here as ontologically dependent on the former in the sense spelled out by the axioms of the ontology. I formally characterise both types by means of their criteria of identity and existence, parthood, spatial occupancy, text precedence, and intentionality.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"68 1","pages":"345-358"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85775218","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-123
A. Barton, J. Éthier
. This article presents a formalization of velocity in the context of a realist and perspectivalist upper ontology like BFO. It argues that the term “velocity” can refer to two different entities: a motion-velocity, which is a process profile characterizing a motion process; and an object-velocity, which is a disposition inhering in the moving object. Three different kinds of motion-velocity are presented: left-velocity, right-velocity and bilateral velocity. Motion-velocity could exist without object-velocity, as revealed by a thought experiment presented by Tooley; but in our world, Newton’s first law of inertia implies that every object has both an inertial disposition and a closely related but different disposition that we call “object-velocity.” Those two dispositions are realized by the right-velocity. The left-velocity is a trigger of the inertial disposition, and brings into existence the object-velocity.
{"title":"The Two Ontological Faces of Velocity","authors":"A. Barton, J. Éthier","doi":"10.3233/978-1-61499-660-6-123","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-123","url":null,"abstract":". This article presents a formalization of velocity in the context of a realist and perspectivalist upper ontology like BFO. It argues that the term “velocity” can refer to two different entities: a motion-velocity, which is a process profile characterizing a motion process; and an object-velocity, which is a disposition inhering in the moving object. Three different kinds of motion-velocity are presented: left-velocity, right-velocity and bilateral velocity. Motion-velocity could exist without object-velocity, as revealed by a thought experiment presented by Tooley; but in our world, Newton’s first law of inertia implies that every object has both an inertial disposition and a closely related but different disposition that we call “object-velocity.” Those two dispositions are realized by the right-velocity. The left-velocity is a trigger of the inertial disposition, and brings into existence the object-velocity.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"34 1","pages":"123-136"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91087435","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-241
S. Borgo, R. Mizoguchi, Y. Kitamura
We introduce and formalize the key elements of a recent approach [1] to function definition that covers both biological and artefact functions. The paper concentrates on the steps from informal definitions to formal expressions and aims to show how to develop an ontological module for generic function representation. This part is done assuming the YAMATO ontology as background system. The second goal of the paper discusses how the module could be adapted to other foundational ontologies. In this part, we first point out the ontological assumptions on which the module relies and then discuss problems in reformulating them in other systems. This step is needed to verify whether and how the function module can be meaningfully used in other ontologies. We exemplify this case by discussing BFO and DOLCE, and by formalizing the module in the latter ontology.
{"title":"Formalizing and Adapting a General Function Module for Foundational Ontologies","authors":"S. Borgo, R. Mizoguchi, Y. Kitamura","doi":"10.3233/978-1-61499-660-6-241","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-241","url":null,"abstract":"We introduce and formalize the key elements of a recent approach [1] to function definition that covers both biological and artefact functions. The paper concentrates on the steps from informal definitions to formal expressions and aims to show how to develop an ontological module for generic function representation. This part is done assuming the YAMATO ontology as background system. The second goal of the paper discusses how the module could be adapted to other foundational ontologies. In this part, we first point out the ontological assumptions on which the module relies and then discuss problems in reformulating them in other systems. This step is needed to verify whether and how the function module can be meaningfully used in other ontologies. We exemplify this case by discussing BFO and DOLCE, and by formalizing the module in the latter ontology.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"20 1","pages":"241-254"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75794789","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-53
Ringo Baumann, F. Loebe, H. Herre
Space and time are basic categories of any top-level ontology . They account for fundamental assumptions of the modes of existence of t hose individuals that are said to be in space and time. The present paper is devot e to GFO-Space, the ontology of space in the General Formal Ontology (GFO). Th is ontology is introduced by a set of axioms formalized in first-order logic and f urther elucidated by consequences of the axiomatization. The theory is based on four primitives: the category of space r egions, the relations of being a spatial part and being a spatial boundary, as well as the relation of spatial coincidence. The presence of boundaries and the n otion of coincidence witness an inspiration of the ontology by well-motivated ide as of Franz Brentano on space, time and the continuum. Taking up a line of prior inves tigations of his approach, the present work contributes a further step in estab li hing a corresponding ontology of space, employing rigorous logical methods.
{"title":"Towards an Ontology of Space for GFO","authors":"Ringo Baumann, F. Loebe, H. Herre","doi":"10.3233/978-1-61499-660-6-53","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-53","url":null,"abstract":"Space and time are basic categories of any top-level ontology . They account for fundamental assumptions of the modes of existence of t hose individuals that are said to be in space and time. The present paper is devot e to GFO-Space, the ontology of space in the General Formal Ontology (GFO). Th is ontology is introduced by a set of axioms formalized in first-order logic and f urther elucidated by consequences of the axiomatization. The theory is based on four primitives: the category of space r egions, the relations of being a spatial part and being a spatial boundary, as well as the relation of spatial coincidence. The presence of boundaries and the n otion of coincidence witness an inspiration of the ontology by well-motivated ide as of Franz Brentano on space, time and the continuum. Taking up a line of prior inves tigations of his approach, the present work contributes a further step in estab li hing a corresponding ontology of space, employing rigorous logical methods.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"48 1","pages":"53-66"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87636498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-153
Fausto Giunchiglia, Mattia Fumagalli
{"title":"Concepts as (Recognition) Abilities","authors":"Fausto Giunchiglia, Mattia Fumagalli","doi":"10.3233/978-1-61499-660-6-153","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-153","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"9 1","pages":"153-166"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87690872","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：