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

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

筛选
英文 中文
Antipattern Comprehension: An Empirical Evaluation 反模式理解:一个经验评价
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-211
Tie Hou, P. Chapman, A. Blake
{"title":"Antipattern Comprehension: An Empirical Evaluation","authors":"Tie Hou, P. Chapman, A. Blake","doi":"10.3233/978-1-61499-660-6-211","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-211","url":null,"abstract":"Comprehension of justifications is known to be difficult for even experienced ontology engineers, and much more so for other stakeholders. In this paper, we present two methods for displaying justifications using concept diagrams: using multiple concept diagrams to represent the justification (one diagram for each axiom); and using a merged concept diagram to represent all axioms in the justification. We performed an empirical evaluation of both methods along with a textual representation of the justification using Prot´eg´e. The results were that novice users could both more accurately and more quickly identify an incoherence when using merged diagrams than using multiple diagrams or Prot´eg´e statements.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"31 1","pages":"211-224"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76474586","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
Features and Components in Product Models 产品模型中的功能和组件
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-227
Emilio M. Sanfilippo, Claudio Masolo, S. Borgo, Daniele Porello
{"title":"Features and Components in Product Models","authors":"Emilio M. Sanfilippo, Claudio Masolo, S. Borgo, Daniele Porello","doi":"10.3233/978-1-61499-660-6-227","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-227","url":null,"abstract":". Product structures are represented in engineering models by depicting and linking components , features and assemblies . Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essential to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploitation. We study this problem by identifying different interpretations of structure rep- resentations, and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"15 1","pages":"227-240"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85021857","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 Requirements at Runtime 走向运行时的需求本体
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-255
Bruno Borlini Duarte, V. Souza, André Luiz de Castro Leal, R. Falbo, G. Guizzardi, Renata Guizzardi
{"title":"Towards an Ontology of Requirements at Runtime","authors":"Bruno Borlini Duarte, V. Souza, André Luiz de Castro Leal, R. Falbo, G. Guizzardi, Renata Guizzardi","doi":"10.3233/978-1-61499-660-6-255","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-255","url":null,"abstract":"The use of Requirements at Runtime (RRT) is an emerging research area. Many methodologies and frameworks that make use of requirements models during the execution of software can be found in the literature, but very few of them use ontologies to ground the models that are used at runtime. In this paper, we introduce the Runtime Requirements Ontology (RRO), a domain ontology that intends to represent the nature and context of RRT. Following a well-known Ontology Engineering method, we evaluate RRO using verification and validation techniques.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"101 1","pages":"255-268"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88541267","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}
引用次数: 11
Mapping and Verification of the Time Ontology in SUMO
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-109
L. Muñoz, M. Grüninger
{"title":"Mapping and Verification of the Time Ontology in SUMO","authors":"L. Muñoz, M. Grüninger","doi":"10.3233/978-1-61499-660-6-109","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-109","url":null,"abstract":"Many software systems rely on ontologies for semantic interoperation. However, ontologies which admit unintended models might cause misunderstandings that hinder interoperability because their vocabularies are ambiguously defined. Foundational ontologies, such as SUMO, provide rich characterizations for general concepts that underly every knowledge representation enterprise. Those ontologies are intended to be broadly reused as a reference for semantics. Ontology verification is the process by which a theory is checked to rule out unintended models by means of further axiomatization, and characterize missing intended ones. In this paper, we verify the subtheory of core temporal concepts of the SUMO foundational ontology and relate its axiomatization via ontology mapping with other time ontologies, the foundational ontology DOLCE, and the generic ontology PSL. As a result, we propose the addition of some missing axioms that we have identified during our verification task, and the correction of others.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"13 1","pages":"109-122"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72801507","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}
引用次数: 11
Modals as Predicates of Modal Objects 情态动词作为情态宾语的谓语
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-5
Friederike Moltmann
{"title":"Modals as Predicates of Modal Objects","authors":"Friederike Moltmann","doi":"10.3233/978-1-61499-660-6-5","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-5","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"35 1","pages":"5"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91007849","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
Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking 动态系统本体与基于可验证本体的计算:基于haskell的参考跟踪实现
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-313
Thomas Bittner, Jonathan P. Bona, W. Ceusters
{"title":"Ontologies of Dynamical Systems and Verifiable Ontology-Based Computation: Towards a Haskell-Based Implementation of Referent Tracking","authors":"Thomas Bittner, Jonathan P. Bona, W. Ceusters","doi":"10.3233/978-1-61499-660-6-313","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-313","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"1 1","pages":"313-327"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89290294","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
Towards an Ontology of Value Ascription 论价值归属本体论
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-331
B. Andersson, Nicola Guarino, P. Johannesson, Barbara Livieri
{"title":"Towards an Ontology of Value Ascription","authors":"B. Andersson, Nicola Guarino, P. Johannesson, Barbara Livieri","doi":"10.3233/978-1-61499-660-6-331","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-331","url":null,"abstract":"The analysis of value, value ascription mechanisms, and their motivating and influencing factors is useful for decision making processes of both customers and providers. In particular, enterprise modeling can greatly benefit from a proper understanding of value-related notions. Nonetheless, existing value models mainly focus on the value exchange between subjects, disregarding the understanding of “what” value is and of “why” something is valuable. In order to exploit the benefits of value analysis, a precise and rigorous conceptualization, based on foundational ontologies, is needed. To this aim, we present and discuss here a preliminary core ontology of value ascription and we discuss the main issues.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"43 1","pages":"331-344"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76633198","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}
引用次数: 22
Adjective Semantics in Open Knowledge Extraction 开放知识抽取中的形容词语义
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-167
Aldo Gangemi, Andrea Giovanni Nuzzolese, V. Presutti, D. R. Recupero
{"title":"Adjective Semantics in Open Knowledge Extraction","authors":"Aldo Gangemi, Andrea Giovanni Nuzzolese, V. Presutti, D. R. Recupero","doi":"10.3233/978-1-61499-660-6-167","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-167","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"47 1","pages":"167-180"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74361261","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
Granular Mereogeometry 粒状Mereogeometry
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-81
H. Schmidtke
{"title":"Granular Mereogeometry","authors":"H. Schmidtke","doi":"10.3233/978-1-61499-660-6-81","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-81","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"28 1","pages":"81-94"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80100244","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
What Is Ontology Reuse? 什么是本体重用?
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-9
Megan Katsumi, M. Grüninger
{"title":"What Is Ontology Reuse?","authors":"Megan Katsumi, M. Grüninger","doi":"10.3233/978-1-61499-660-6-9","DOIUrl":"https://doi.org/10.3233/978-1-61499-660-6-9","url":null,"abstract":"","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"257 1","pages":"9-22"},"PeriodicalIF":0.0,"publicationDate":"2016-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72977805","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}
引用次数: 11
首页 上一页 下一页 尾页
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学术官方微信