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

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

筛选
英文 中文
Powers of Wholes and Parts 整体和部分的力量
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-4
S. Mumford
{"title":"Powers of Wholes and Parts","authors":"S. Mumford","doi":"10.3233/978-1-61499-660-6-4","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-4","url":null,"abstract":"That i s just the practice, however. The problem has always b een how i t works in theory, and how i t does so without w reaking havoc upon a fairly successful way of understanding the world. There i s an idea that a l l other sciences rest on, and are ul timately expla ined in terms of, fundamental phys ics . Emergentism is at odds with this because i t tell s us th at th e bottom level isn’t everything.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"2010 1","pages":"4"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82555809","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}
引用次数: 0
Understanding Predication in Conceptual Spaces 理解概念空间中的预测
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-139
Claudio Masolo, Daniele Porello
{"title":"Understanding Predication in Conceptual Spaces","authors":"Claudio Masolo, Daniele Porello","doi":"10.3233/978-1-61499-660-6-139","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-139","url":null,"abstract":"We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors’s view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"74 1","pages":"139-152"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85538164","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}
引用次数: 8
The Cardiovascular Disease 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-409
A. Barton, A. Rosier, Anita Burgun-Parenthoine, J. Éthier
{"title":"The Cardiovascular Disease Ontology","authors":"A. Barton, A. Rosier, Anita Burgun-Parenthoine, J. Éthier","doi":"10.3233/978-1-61499-438-1-409","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-409","url":null,"abstract":"This article presents CVDO, an ontology of cardiovascular diseases structured on OBO foundry’s principle and based on BFO and FMA. CVDO reorganizes and completes DOID cardiovascular diseases around OGMS tripartite model of disease, and builds its taxonomy of diseases largely by automatic reasoning. It points to the need of OGMS to be supplemented by methodological rules to determine the end point of a disease course, and to locate the material basis of a disease in a causal chain of disorders.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"19 1","pages":"409-414"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84493306","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}
引用次数: 16
Resilience as a Disposition 韧性作为一种性格
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-171
Desiree Daniel
{"title":"Resilience as a Disposition","authors":"Desiree Daniel","doi":"10.3233/978-1-61499-438-1-171","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-171","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"37 1","pages":"171-182"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85485910","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}
引用次数: 1
Newtonian Forces and Causation: A Dispositional Account 牛顿力和因果关系:一种性格解释
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-157
A. Barton, R. Rovetto, R. Mizoguchi
{"title":"Newtonian Forces and Causation: A Dispositional Account","authors":"A. Barton, R. Rovetto, R. Mizoguchi","doi":"10.3233/978-1-61499-438-1-157","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-157","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"24 1","pages":"157-170"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82572953","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
The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering 本体工程中知识元素的独特预测及其可视化和分解
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-241
Hermann Bense
{"title":"The unique Predication of Knowledge Elements and their Visualization and Factorization in Ontology Engineering","authors":"Hermann Bense","doi":"10.3233/978-1-61499-438-1-241","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-241","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"23 1","pages":"241-250"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89375551","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
An Ontology for the τ-theory of Enterprise Engineering 企业工程τ理论的本体
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-386
J. Dietz, D. Aveiro, João Pombinho, J. Hoogervorst
{"title":"An Ontology for the τ-theory of Enterprise Engineering","authors":"J. Dietz, D. Aveiro, João Pombinho, J. Hoogervorst","doi":"10.3233/978-1-61499-438-1-386","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-386","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"18 1","pages":"386-395"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72993675","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}
引用次数: 1
An ontology for the Business Process Modelling Notation 业务流程建模符号的本体
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-133
M. Rospocher, Chiara Ghidini, L. Serafini
{"title":"An ontology for the Business Process Modelling Notation","authors":"M. Rospocher, Chiara Ghidini, L. Serafini","doi":"10.3233/978-1-61499-438-1-133","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-133","url":null,"abstract":"In this paper we describe a formal ontological description of the Business Process Modelling Notation (BPMN), one of the most popular languages for business process modelling. The proposed ontology (the BPMN Ontology) provides a classification of all the elements of BPMN, together with the formal description of the attributes and conditions describing how the elements can be combined in a BPMN business process description. Using the classes and properties defined in the BPMN Ontology any BPMN diagram can be represented as an A-box (i.e., a set of instances and assertions on them) of the ontology: this allows the exploitation of ontological reasoning services such as consistency checking and query answering to investigate the compliance of a process with the BPMN Specification as well as other structural property of the process. The paper also presents the modelling process followed for the creation of the BPMN Ontology, and describes some application scenarios exploiting the BPMN Ontology.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"66 1","pages":"133-146"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78929996","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}
引用次数: 94
A formal theory for conceptualizing artefacts and tool manipulations 用于概念化工件和工具操作的形式化理论
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-119
N. Troquard
{"title":"A formal theory for conceptualizing artefacts and tool manipulations","authors":"N. Troquard","doi":"10.3233/978-1-61499-438-1-119","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-119","url":null,"abstract":"Artefacts (physical and institutional) are ubiquitous of our social environment. We live in a tight network of socio-technical systems, which are systems where agents interact with created objects. There is an increasing need for rigorous methods to model, specify, and reason about socio-technical systems in general, and about artefacts and their functions in particular. We propose a formal theory that serves at the conceptualization of artefacts and their manipulations: design, implementation, existence, use, and persistence.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"111 1","pages":"119-132"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85799193","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}
引用次数: 0
States, Events, and Truth-makers 国家、事件和真理制造者
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-93
A. Benevides, Claudio Masolo
{"title":"States, Events, and Truth-makers","authors":"A. Benevides, Claudio Masolo","doi":"10.3233/978-1-61499-438-1-93","DOIUrl":"https://doi.org/10.3233/978-1-61499-438-1-93","url":null,"abstract":"In the last decade, the debate about the ontological foundations of reified temporal logics (RTLs) has been relatively quiet, even though we think some problems still exist. In this paper, we identify some of these problems and propose (partial) solutions to them in a FOL framework. States are here characterized (at the syntactic level) as truth-makers of propositions—they reify true propositions— and events are built from states. These choices make the event-state distinction much crisper than the one characterized in terms of the (meta-)predicates HOLDS vs. OCCURS, which are necessary in RTLs but not in our theory. We also offer some epistemological arguments in favor of this choice.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"140 1","pages":"93-102"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89917413","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
首页 上一页 下一页 尾页
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学术官方微信