Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-4
S. Mumford
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.
{"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}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-139
Claudio Masolo, Daniele Porello
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.
{"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}
Pub Date : 2014-01-01DOI: 10.3233/978-1-61499-438-1-409
A. Barton, A. Rosier, Anita Burgun-Parenthoine, J. Éthier
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.
{"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}
Pub Date : 2014-01-01DOI: 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}
Pub Date : 2014-01-01DOI: 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}
Pub Date : 2014-01-01DOI: 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}
Pub Date : 2014-01-01DOI: 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}
Pub Date : 2014-01-01DOI: 10.3233/978-1-61499-438-1-133
M. Rospocher, Chiara Ghidini, L. Serafini
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.
{"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}
Pub Date : 2014-01-01DOI: 10.3233/978-1-61499-438-1-119
N. Troquard
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.
{"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}
Pub Date : 2014-01-01DOI: 10.3233/978-1-61499-438-1-93
A. Benevides, Claudio Masolo
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：