Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-211
Tie Hou, P. Chapman, A. Blake
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.
{"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}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-227
Emilio M. Sanfilippo, Claudio Masolo, S. Borgo, Daniele Porello
. 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.
{"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}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-255
Bruno Borlini Duarte, V. Souza, André Luiz de Castro Leal, R. Falbo, G. Guizzardi, Renata Guizzardi
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.
{"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}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-109
L. Muñoz, M. Grüninger
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.
{"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}
Pub Date : 2016-01-01DOI: 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}
Pub Date : 2016-01-01DOI: 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}
Pub Date : 2016-01-01DOI: 10.3233/978-1-61499-660-6-331
B. Andersson, Nicola Guarino, P. Johannesson, Barbara Livieri
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.
{"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}
Pub Date : 2016-01-01DOI: 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}
Pub Date : 2016-01-01DOI: 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}
Pub Date : 2016-01-01DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：