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

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

筛选
英文 中文
The Functions of Definitions in Ontologies 本体中定义的功能
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 10.3233/978-1-61499-660-6-37
S. Seppälä, A. Ruttenberg, Barry Smith
{"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}
引用次数: 10
Event Categories on the Semantic Web and Their Relationship/Object Distinction 语义网上的事件类别及其关系/对象区分
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 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}
引用次数: 6
A Molecular Structure Ontology for Medicinal Chemistry 药物化学分子结构本体
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 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}
引用次数: 3
Observations and Their Explanations 观察结果及其解释
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 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}
引用次数: 4
A Formal Ontology of Texts 文本的形式本体论
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 10.3233/978-1-61499-660-6-345
P. Garbacz
{"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}
引用次数: 2
The Two Ontological Faces of Velocity 速度的两个本体论面
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 10.3233/978-1-61499-660-6-123
A. Barton, J. Éthier
{"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}
引用次数: 2
Formalizing and Adapting a General Function Module for Foundational Ontologies 基础本体通用功能模块的形式化与适配
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 10.3233/978-1-61499-660-6-241
S. Borgo, R. Mizoguchi, Y. Kitamura
{"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}
引用次数: 5
Towards an Ontology of Space for GFO 面向GFO的空间本体论
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 10.3233/978-1-61499-660-6-53
Ringo Baumann, F. Loebe, H. Herre
{"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}
引用次数: 12
Concepts as (Recognition) Abilities 概念(识别)能力
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 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}
引用次数: 28
Knowing Whether Spatio-Temporal Analysis Procedures Are Applicable to Datasets 了解时空分析程序是否适用于数据集
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference) Pub Date : 2016-01-01 DOI: 10.3233/978-1-61499-660-6-67
S. Scheider, Martin Tomko
{"title":"Knowing Whether Spatio-Temporal Analysis Procedures Are Applicable to Datasets","authors":"S. Scheider, Martin Tomko","doi":"10.3233/978-1-61499-660-6-67","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-67","url":null,"abstract":"© 2016 The authors and IOS Press.How can data analysts identify spatio-temporal datasets that are suitable for their task? Answering this question is not only dependent on the aim of the analysis and the semantic contents of the data, but also on knowing whether the required data combinations and transformations, spatio-temporal analysis methods, charts and map visualizations are meaningfully applicable to the data. Operators need to assess whether they can meaningfully apply analytical operations to data to derive the information required. Answering this question in a general and computationally executable way is a crucial step on our way towards supporting data analysts and their research practice in e-Science. We propose an ontology design pattern for spatio-temporal information that enables to reason about the applicability of a number of fundamental classes of analyses in relation to given data, i.e., whether data sets can be compared, transformed, combined, and whether summary statistics can be applied to them. We demonstrate this ontology implemented in OWL through a set of corresponding SPARQL queries applied to meta-data of datasets from the AURIN portal.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"25 1","pages":"67-80"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74219671","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}
引用次数: 17
首页 上一页 下一页 尾页
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学术官方微信