发布求助
文献互助 智能选刊 最新文献

Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)最新文献

筛选
英文 中文
Mathematical Foundations for Participation Ontologies 参与本体的数学基础
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 10.3233/978-1-61499-438-1-105
Carmen S. Chui, M. Grüninger
{"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}
引用次数: 5
Aspect-Oriented Ontologies: Dynamic Modularization Using Ontological Metamodeling 面向方面的本体:使用本体元建模的动态模块化
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 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}
引用次数: 13
Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology 应用基于现实主义的本体版本控制方法跟踪基本形式本体的变化
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 10.3233/978-1-61499-438-1-227
S. Seppälä, Barry Smith, W. Ceusters
{"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}
引用次数: 19
An Ontology-based Taxonomic Key for Afrotropical Bees 基于本体的非洲热带蜜蜂分类关键
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 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}
引用次数: 7
The Ontology of Group Agency 群体代理本体论
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 10.3233/978-1-61499-438-1-183
Daniele Porello, E. Bottazzi, R. Ferrario
{"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}
引用次数: 24
An Ontological Analysis of Reference in Health Record Statements 健康档案报表中参考文献的本体论分析
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 10.3233/978-1-61499-438-1-289
S. Schulz, Catalina Martínez-Costa, D. Karlsson, R. Cornet, M. Brochhausen, A. Rector
{"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}
引用次数: 30
Voids and material constitution across physical granularities 跨越物理颗粒的空洞和物质构成
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 10.3233/978-1-61499-438-1-51
T. Hahmann, B. Brodaric
{"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}
引用次数: 5
Logical Operators for Ontological Modeling 本体建模的逻辑运算符
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 10.3233/978-1-61499-438-1-23
S. Borgo, Daniele Porello, N. Troquard
{"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}
引用次数: 7
A First-order Formalization of Event, Object, Process and Role in YAMATO YAMATO中事件、对象、过程和角色的一阶形式化
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 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}
引用次数: 13
A Sideways Look at Upper Ontologies 从侧面看上本体
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2014-01-01 DOI: 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}
引用次数: 6
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信