Pub Date : 2014-01-01DOI: 10.3233/978-1-61499-438-1-105
Carmen S. Chui, M. Grüninger
The notion of participation as a relation between objects, activities, and time has been axiomatized in various ontologies. In this paper, we focus on three of these ontologies – PSL-Core, Gangemi’s axioms, and DOLCE. We provide a verification of these participation ontologies by introducing ontologies for new classes of mathematical structures known as incidence bundles and incidence foliations. The new mathematical ontologies serve as reusable ontology design patterns for participation, and also are the basis for mappings between the different participation ontologies. Finally, we illustrate the concept of ontology transfer through the use of these ontology design patterns.
{"title":"Mathematical Foundations for Participation Ontologies","authors":"Carmen S. Chui, M. Grüninger","doi":"10.3233/978-1-61499-438-1-105","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-105","url":null,"abstract":"The notion of participation as a relation between objects, activities, and time has been axiomatized in various ontologies. In this paper, we focus on three of these ontologies – PSL-Core, Gangemi’s axioms, and DOLCE. We provide a verification of these participation ontologies by introducing ontologies for new classes of mathematical structures known as incidence bundles and incidence foliations. The new mathematical ontologies serve as reusable ontology design patterns for participation, and also are the basis for mappings between the different participation ontologies. Finally, we illustrate the concept of ontology transfer through the use of these ontology design patterns.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"182 1","pages":"105-118"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80341135","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-199
Ralph Schäfermeier, A. Paschke
{"title":"Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling","authors":"Ralph Schäfermeier, A. Paschke","doi":"10.3233/978-1-61499-438-1-199","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-199","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"7 1","pages":"199-212"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88913919","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-227
S. Seppälä, Barry Smith, W. Ceusters
Changes in an upper level ontology have obvious consequences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism- Based Ontology Versioning (RBOV) and Evolutionary Terminology Auditing (ETA). We describe here the application of this evaluation method to changes between BFO 1.0, BFO 1.1, and BFO 2.0. We discuss the issues raised by this application and describe the extensions which we added to the original evaluation schema in order to account for changes in this type of ontology. The results of our study show that BFO has undergone eight types of changes that can be systematically explained by the extended evaluation schema. Finally, we discuss problematic cases, possible pitfalls and certain limits of our study that we propose to address in future work.
{"title":"Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology","authors":"S. Seppälä, Barry Smith, W. Ceusters","doi":"10.3233/978-1-61499-438-1-227","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-227","url":null,"abstract":"Changes in an upper level ontology have obvious consequences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism- Based Ontology Versioning (RBOV) and Evolutionary Terminology Auditing (ETA). We describe here the application of this evaluation method to changes between BFO 1.0, BFO 1.1, and BFO 2.0. We discuss the issues raised by this application and describe the extensions which we added to the original evaluation schema in order to account for changes in this type of ontology. The results of our study show that BFO has undergone eight types of changes that can be systematically explained by the extended evaluation schema. Finally, we discuss problematic cases, possible pitfalls and certain limits of our study that we propose to address in future work.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"275 1","pages":"227-240"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75134058","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-277
A. Gerber, C. Eardley, Nishal Morar
{"title":"An Ontology-based Taxonomic Key for Afrotropical Bees","authors":"A. Gerber, C. Eardley, Nishal Morar","doi":"10.3233/978-1-61499-438-1-277","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-277","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"27 1","pages":"277-288"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87217188","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-183
Daniele Porello, E. Bottazzi, R. Ferrario
We present an ontological analysis of the notion of group agency developed by Christian List and Philip Pettit. We focus on this notion as it allows us to neatly distinguish groups, organizations, corporations – to which we may ascribe agency – from mere aggregates of individuals. We develop a module for group agency within a foundational ontology and we apply it to organizations.
{"title":"The Ontology of Group Agency","authors":"Daniele Porello, E. Bottazzi, R. Ferrario","doi":"10.3233/978-1-61499-438-1-183","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-183","url":null,"abstract":"We present an ontological analysis of the notion of group agency developed by Christian List and Philip Pettit. We focus on this notion as it allows us to neatly distinguish groups, organizations, corporations – to which we may ascribe agency – from mere aggregates of individuals. We develop a module for group agency within a foundational ontology and we apply it to organizations.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"36 1","pages":"183-196"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85426375","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-289
S. Schulz, Catalina Martínez-Costa, D. Karlsson, R. Cornet, M. Brochhausen, A. Rector
The relation between an information entity and its referent can be described as a second-order statement, as long as the referent is a type. This is typical for medical discourse such as diagnostic ...
{"title":"An Ontological Analysis of Reference in Health Record Statements","authors":"S. Schulz, Catalina Martínez-Costa, D. Karlsson, R. Cornet, M. Brochhausen, A. Rector","doi":"10.3233/978-1-61499-438-1-289","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-289","url":null,"abstract":"The relation between an information entity and its referent can be described as a second-order statement, as long as the referent is a type. This is typical for medical discourse such as diagnostic ...","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"42 1","pages":"289-302"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88955640","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-51
T. Hahmann, B. Brodaric
The relation between an object and its matter is fundamental to all physical sciences, and represented widely and diversely in scientific ontologies. An under-appreciated aspect of this relation is the emergence of voids at finer levels of physical granularity. In this paper we enhance the constitution relation to account for the presence of finer voids, and show how this helps delineate two forms of constitution that hold within and between granular levels. This enhanced notion of the constitution relation is characterized formally, and is applied to hydro ontology development.
{"title":"Voids and material constitution across physical granularities","authors":"T. Hahmann, B. Brodaric","doi":"10.3233/978-1-61499-438-1-51","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-51","url":null,"abstract":"The relation between an object and its matter is fundamental to all physical sciences, and represented widely and diversely in scientific ontologies. An under-appreciated aspect of this relation is the emergence of voids at finer levels of physical granularity. In this paper we enhance the constitution relation to account for the presence of finer voids, and show how this helps delineate two forms of constitution that hold within and between granular levels. This enhanced notion of the constitution relation is characterized formally, and is applied to hydro ontology development.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"30 1","pages":"51-64"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79351547","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-23
S. Borgo, Daniele Porello, N. Troquard
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 even simplify their logical formulation.
{"title":"Logical Operators for Ontological Modeling","authors":"S. Borgo, Daniele Porello, N. Troquard","doi":"10.3233/978-1-61499-438-1-23","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-23","url":null,"abstract":"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 even simplify their logical formulation.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"102 1","pages":"23-36"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75792454","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-79
S. Borgo, R. Mizoguchi
{"title":"A First-order Formalization of Event, Object, Process and Role in YAMATO","authors":"S. Borgo, R. Mizoguchi","doi":"10.3233/978-1-61499-438-1-79","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-79","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"10 1","pages":"79-92"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84907278","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 : 2014-01-01DOI: 10.3233/978-1-61499-438-1-9
M. Grüninger, T. Hahmann, Megan Katsumi, Carmen S. Chui
{"title":"A Sideways Look at Upper Ontologies","authors":"M. Grüninger, T. Hahmann, Megan Katsumi, Carmen S. Chui","doi":"10.3233/978-1-61499-438-1-9","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-9","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"84 1","pages":"9-22"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76119129","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
扫码关注我们
求助内容：
应助结果提醒方式：