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

{"title":"Needs and Intentionality","authors":"Luca Biccheri, R. Ferrario, Daniele Porello","doi":"10.3233/faia200666","DOIUrl":"https://doi.org/10.3233/faia200666","url":null,"abstract":"A thorough understanding of what needs are is fundamental for designing well-behaved information systems for many social applications and in particular for public services. Talking about needs pervades indeed the jargon of Public Administrations when motivating their service offering. In this paper, we propose an ontological analysis of needs, aiming at a principled disentangling of the different uses of the term. We leverage philosophical tradition on intentionality, for its rich understanding of mental entities, we compare it with the well-established BDI (Belief-Desire-Intention) tradition in knowledge representation, and we propose a formalisation of needs within the foundational ontology DOLCE. Throughout the paper, we motivate our analysis focusing on needs in public services.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"4 1","pages":"125-139"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87188083","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}

{"title":"Formal Ontology in Information Systems - Proceedings of the 11th International Conference, FOIS 2020, Cancelled / Bozen-Bolzano, Italy, September 14-17, 2020","authors":"P. Garbacz, O. Kutz","doi":"10.3233/faia330","DOIUrl":"https://doi.org/10.3233/faia330","url":null,"abstract":"Frontiers in Artificial Intelligence and Applications FAIA covers all aspects of theoretical and applied artificial intelligence research in the form of monographs, doctoral dissertations, textbooks, handbooks and proceedings volumes. The FAIA series contains several sub-series, including \" Information Modelling and Knowledge Bases \" and \" Knowledge-Based Intelligent Engineering Systems \". It also includes the biennial ECAI, the European Conference on Artificial Intelligence, proceedings volumes, and other ECCAI – the European Coordinating Committee on Artificial Intelligence – sponsored publications. An editorial panel of internationally well-known scholars is appointed to provide a high quality selection. LEGAL NOTICE The publisher is not responsible for the use which might be made of the following information.and, United States and United Kingdom. All submissions were carefully reviewed by the members of our international program committee. Based on the reviews, 24 articles were chosen for presentation at the conference. Accepted submissions were organized wide range of topics addressed in these sessions demonstrates that formal ontology is an active area of research which addresses problems ranging from theoretical questions regarding the ontology of time to the applications in the sciences and engineering. Ontologies and Bioinformatics: in the first paper in this session entitled Probability assignments to dispositions in ontologies, Adrien Barton, Anita Burgun and Régis Du-vauferrier investigate the probabilistic dimension of dispositions, with a particular interest on Biomedical ontologies. The authors investigate the determination of which kinds of dispositional entities (individuals, universals, both) a probability value can be assigned to; in Maturation of Neuroscience Information Framework: An Ontology Driven Information System for Neuroscience, Fahim T. Imam and colleagues discuss the main ontology-based components of the Neuroscience Information Framework (NIF). In the context of the NIF project, the ultimate end product is a semantic search engine and knowledge discovery portal that provides federated access to a vast amount of Neuroscience data and resources over the web. Finally, in Suggestions for Galaxy Workflow Design Using Semantically Annotated Services, Alok Dhamanaskar and colleagues propose an extension of the Galaxy open-source web-based framework to assist the user in the construction of Service-based Scientific Workflows. The work is based on proposed extensions to the Ontology for Biomedical Investigations (OBI) which are intended to provide a base for the semantic annotation of Web Services. and Boyan Brodaric extend the DOLCE foundational ontology to a logical theory aimed at representing specific aspects of the physical containment of water studied in hydrology. More specifically, they address …","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88699799","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}

{"title":"The Identity of Dispositions","authors":"A. Barton, Olivier Grenier, Ludger Jansen, J. Éthier","doi":"10.3233/978-1-61499-910-2-113","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-113","url":null,"abstract":"Clear criteria for the identity of dispositions are still lacking, and this has been presented as one of the main challenge raised by such entities. It is of prime importance to identify or distinguish dispositions such as diseases or risks. This article first introduces conventional ways to refer to a disposition (such as “fragility”) and canonical ways (such as “disposition to break in case of a strong shock”). This raises the issue of how should exactly be defined a “disposition d to R when TR”, where R is a realization specification and TR a trigger specification. Two ontological frameworks are distinguished. The first framework, which has been largely used so far in the literature on dispositions, interprets d as a disposition which can only be triggered by instances of TR, and can only be realized by instances of R. The second, new framework introduces the notion of “minimal trigger” and “maximal realization”, and interprets TR as a parent class of a class of processes that have as part a minimal trigger, and R as a parent class of a class of processes that are parts of a maximal realization. We then discuss several criteria of identity, including the criterion according to which two dispositions are identical iff they have the same categorical basis, the same class of minimal triggers and the same class of maximal realizations. We show on several examples that the second framework avoids the disposition multiplicativism that is introduced by the first framework.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"39 1","pages":"113-126"},"PeriodicalIF":0.0,"publicationDate":"2018-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88065091","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}

{"title":"Informative Armstrong RDF Datasets for n-Ary Relations","authors":"H. Harmse, K. Britz, A. Gerber","doi":"10.3233/978-1-61499-910-2-187","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-187","url":null,"abstract":"© 2018 The authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0)","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"38 1","pages":"187-199"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74426255","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}

{"title":"SAREF4health: IoT Standard-Based Ontology-Driven Healthcare Systems","authors":"J. Moreira, L. F. Pires, M. V. Sinderen, L. Daniele","doi":"10.3233/978-1-61499-910-2-239","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-239","url":null,"abstract":"Recently, a number of ontology-driven healthcare systems have been leveraged by the Internet-of-Things (IoT) technologies, which offer opportunities to improve patient monitoring and abnormal situation detection with support of medical wearables and cloud infrastructure. Usually, these systems rely on IoT ontologies to represent sensor data observations. The ETSI Smart Appliances REFerence (SAREF) IoT ontology is an extensible industry-oriented standard. In this paper, we discuss the verbosity problem of SAREF when used for real-time electrocardiography (ECG), emphasizing the requirement of representing time series. We compared the main ontologies in this context according to quality, message size (payload), IoT-orientation and standardization. We also introduce a SAREF4health extension to tackle the verbosity problem. In the SAREF4health development we followed ontology-driven conceptual modelling, in which an ECG ontology grounded in the Unified Foundational Ontology (UFO) plays the role of a reference model. The methodology was enhanced by a standardization procedure and considers the RDF serialization of the HL7 Fast Healthcare Interoperability Resources (FHIR) standard. The validation of SAREF4health includes the use cases of an early warning system that uses ECG data to detect accidents with truck drivers in a port area. A prototype that integrates an existing ECG wearable with cloud infrastructure demonstrates the performance impact of SAREF4health considering IoT constraints. Our results show that SAREF4health is adequate to enable semantic interoperability of IoT solutions that need to deal with frequency-based time series. Design decisions regarding the trade-off between ontology quality and aggregation representation are also discussed. © 2018 The authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0).","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"50 ","pages":"239-252"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91550327","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}

{"title":"A Foundational View on Nominal and Actual Qualities in Engineering","authors":"Emilio M. Sanfilippo, Loïc Jeanson, F. Belkadi, F. Laroche, A. Bernard","doi":"10.3233/978-1-61499-910-2-149","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-149","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"28 6 1","pages":"149-156"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83313196","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}

{"title":"Representing Concepts by Weighted Formulas","authors":"Claudio Masolo, Daniele Porello","doi":"10.3233/978-1-61499-910-2-55","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-55","url":null,"abstract":"A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a concept. We show that our proposal can account for a number of views of concepts such as the prototype theory and the exemplar theory. Moreover, we show how the proposed model can overcome some limitations of cognitive views.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"30 1","pages":"55-68"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77589777","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}

{"title":"Identity Criteria for Localities","authors":"P. Garbacz, Agnieszka Lawrynowicz, Bogumił Szady","doi":"10.3233/978-1-61499-910-2-47","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-47","url":null,"abstract":"The paper provides a tentative formulation of the diachronic identity criteria for localities based on a set of paradigmatic case studies of changes they","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"17 1","pages":"47-54"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90758829","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}

{"title":"The Treatment of Time in Upper Ontologies","authors":"A. Galton","doi":"10.3233/978-1-61499-910-2-33","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-33","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"56 1","pages":"33-46"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86998884","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}

{"title":"Organisations and Variable Embodiments","authors":"R. Ferrario, Claudio Masolo, Daniele Porello","doi":"10.3233/978-1-61499-910-2-127","DOIUrl":"https://doi.org/10.3233/978-1-61499-910-2-127","url":null,"abstract":"How can organisations survive not only the substitution of members, but also other dramatic changes, like that of the norms regulating their activities, the goals they plan to achieve, or the system of roles that compose them? This paper is as first step towards a well-founded ontological analysis of the persistence of organisations through changes. Our analysis leverages Kit Fine’s notions of rigid and variable embodiment and proposes to view the (history of the) decisions made by the members of the organisation as the criterion to re-identify the organisation","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"30 1","pages":"127-140"},"PeriodicalIF":0.0,"publicationDate":"2018-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85334450","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}