首页 > 最新文献

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

英文 中文
Asymmetric Hybrids: Dialogues for Computational Concept Combination 非对称混合:计算概念组合的对话
Guendalina Righetti, Daniele Porello, N. Troquard, O. Kutz, Maria M. Hedblom, P. Galliani
When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation.
当人们把概念组合在一起时,通常被描述为“混合的”、“不可能的”或“幽默的”。然而,当简单地从外延逻辑的角度考虑它们时,作为连接概念理解的新概念往往缺乏意义,只有一个空洞的外延(比如“一颗牙齿是椅子”,“一只宠物花”等)。然而,人们使用不同的策略来产生新的非空概念:特征的加法或综合组合、特征的对齐、实例化等。所有这些策略都涉及到处理冲突属性和创建新属性(组合)的能力。我们在这里特别考虑这样一种情况,即Head概念对与Modifier概念的最终概念组合(或混合)具有优越的“不对称”控制。具体来说,我们提出了一种概念组合的对话方法,并讨论了一种基于公理弱化的实现方法,该方法模拟了这种不对称混合形式的认知和逻辑机制。
{"title":"Asymmetric Hybrids: Dialogues for Computational Concept Combination","authors":"Guendalina Righetti, Daniele Porello, N. Troquard, O. Kutz, Maria M. Hedblom, P. Galliani","doi":"10.3233/faia210373","DOIUrl":"https://doi.org/10.3233/faia210373","url":null,"abstract":"When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"34 1","pages":"81-96"},"PeriodicalIF":0.0,"publicationDate":"2021-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73273194","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 Representation 走向表征本体论
R. Mizoguchi, S. Borgo
In philosophy information is mainly discussed along with the notion of aboutness. In more practical communities, information is mainly addressed together with notions like data and knowledge. This paper proposes a different approach. We look at information (and related concepts) as roles played by representations. This view implies that the notion of representation is central for any ontological analysis of information and related concepts. The paper provides arguments for this new stand and discusses an ontological model of representation based on the systematic distinction between form and content. The broadness and flexibility of the proposed model is shown by discussing a list of variegated representation entities from music to procedure, from novel to painting. The paper also investigates the role of letters (characters) in natural language expressions, which turns out to be quite complex.
在哲学中,信息主要是与有关概念一起讨论的。在更实际的社区中,信息主要与数据和知识等概念一起处理。本文提出了一种不同的方法。我们将信息(及相关概念)视为表征所扮演的角色。这种观点暗示,表示概念是信息和相关概念的任何本体论分析的中心。本文对这一新立场进行了论证,并在系统区分形式与内容的基础上讨论了表征的本体论模型。通过讨论从音乐到程序,从小说到绘画的各种表示实体列表,所提出模型的广泛性和灵活性得到了体现。本文还研究了字母(字)在自然语言表达中的作用,这是一个非常复杂的问题。
{"title":"Towards an Ontology of Representation","authors":"R. Mizoguchi, S. Borgo","doi":"10.3233/faia210370","DOIUrl":"https://doi.org/10.3233/faia210370","url":null,"abstract":"In philosophy information is mainly discussed along with the notion of aboutness. In more practical communities, information is mainly addressed together with notions like data and knowledge. This paper proposes a different approach. We look at information (and related concepts) as roles played by representations. This view implies that the notion of representation is central for any ontological analysis of information and related concepts. The paper provides arguments for this new stand and discusses an ontological model of representation based on the systematic distinction between form and content. The broadness and flexibility of the proposed model is shown by discussing a list of variegated representation entities from music to procedure, from novel to painting. The paper also investigates the role of letters (characters) in natural language expressions, which turns out to be quite complex.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"19 1","pages":"48-63"},"PeriodicalIF":0.0,"publicationDate":"2021-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90042048","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
NAct: The Nutrition & Activity Ontology for Healthy Living NAct:健康生活的营养与活动本体
D. Tsatsou, E. Lalama, S. Wilson-Barnes, Kathryn Hart, V. Cornelissen, R. Buys, I. Pagkalos, S. Dias, K. Dimitropoulos, P. Daras
This paper presents the NAct (Nutrition & Activity) Ontology, designed to drive personalised nutritional and physical activity recommendations and effectively support healthy living, through a reasoning-based AI decision support system. NAct coalesces nutritional, medical, behavioural and lifestyle indicators with potential dietary and physical activity directives. The paper presents the first version of the ontology, including its co-design and engineering methodology, along with usage examples in supporting healthy nutritional and physical activity choices. Lastly, the plan for future improvements and extensions is discussed.
本文介绍了NAct(营养与活动)本体,旨在通过基于推理的人工智能决策支持系统,推动个性化的营养和身体活动建议,并有效地支持健康生活。NAct将营养、医疗、行为和生活方式指标与潜在的饮食和身体活动指示结合起来。本文介绍了本体的第一个版本,包括其协同设计和工程方法,以及支持健康营养和体育活动选择的使用示例。最后,讨论了未来改进和扩展的计划。
{"title":"NAct: The Nutrition & Activity Ontology for Healthy Living","authors":"D. Tsatsou, E. Lalama, S. Wilson-Barnes, Kathryn Hart, V. Cornelissen, R. Buys, I. Pagkalos, S. Dias, K. Dimitropoulos, P. Daras","doi":"10.3233/faia210377","DOIUrl":"https://doi.org/10.3233/faia210377","url":null,"abstract":"This paper presents the NAct (Nutrition & Activity) Ontology, designed to drive personalised nutritional and physical activity recommendations and effectively support healthy living, through a reasoning-based AI decision support system. NAct coalesces nutritional, medical, behavioural and lifestyle indicators with potential dietary and physical activity directives. The paper presents the first version of the ontology, including its co-design and engineering methodology, along with usage examples in supporting healthy nutritional and physical activity choices. Lastly, the plan for future improvements and extensions is discussed.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"112 1","pages":"129-143"},"PeriodicalIF":0.0,"publicationDate":"2021-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87825666","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}
引用次数: 2
Foundations of the Socio-physical Model of Activities (SOMA) for Autonomous Robotic Agents 自主机器人代理活动的社会物理模型(SOMA)的基础
D. Beßler, R. Porzel, M. Pomarlan, Abhijit Vyas, Sebastian Höffner, M. Beetz, R. Malaka, J. Bateman
In this paper, we present foundations of the Socio-physical Model of Activities (SOMA). SOMA represents both the physical as well as the social context of everyday activities. Such tasks seem to be trivial for humans, however, they pose severe problems for artificial agents. For starters, a natural language command requesting something will leave many pieces of information necessary for performing the task unspecified. Humans can solve such problems fast as we reduce the search space by recourse to prior knowledge such as a connected collection of plans that describe how certain goals can be achieved at various levels of abstraction. Rather than enumerating fine-grained physical contexts SOMA sets out to include socially constructed knowledge about the functions of actions to achieve a variety of goals or the roles objects can play in a given situation. As the human cognition system is capable of generalizing experiences into abstract knowledge pieces applicable to novel situations, we argue that both physical and social context need be modeled to tackle these challenges in a general manner. The central contribution of this work, therefore, lies in a comprehensive model connecting physical and social entities, that enables flexibility of executions by the robotic agents via symbolic reasoning with the model. This is, by and large, facilitated by the link between the physical and social context in SOMA where relationships are established between occurrences and generalizations of them, which has been demonstrated in several use cases in the domain of everyday activites that validate SOMA.
在本文中,我们提出了活动的社会物理模型(SOMA)的基础。SOMA既代表了日常活动的物理环境,也代表了社会环境。这些任务对人类来说似乎是微不足道的,然而,它们对人工代理构成了严重的问题。对于初学者来说,请求某项任务的自然语言命令会留下许多未指定的执行任务所需的信息。人类可以快速解决这类问题,因为我们通过求助于先验知识(例如描述如何在不同抽象层次上实现某些目标的计划的连接集合)来减少搜索空间。SOMA不是列举细粒度的物理上下文,而是包含关于实现各种目标的操作的功能或对象在给定情况下可以扮演的角色的社会构建的知识。由于人类认知系统能够将经验概括为适用于新情况的抽象知识片段,我们认为需要对物理和社会背景进行建模,以一般方式解决这些挑战。因此,这项工作的核心贡献在于建立了一个连接物理实体和社会实体的综合模型,通过与模型的符号推理,使机器人代理能够灵活地执行任务。总的来说,这是由SOMA中的物理和社会上下文之间的联系促进的,其中在它们的发生和概括之间建立了关系,这已经在验证SOMA的日常活动领域的几个用例中得到了证明。
{"title":"Foundations of the Socio-physical Model of Activities (SOMA) for Autonomous Robotic Agents","authors":"D. Beßler, R. Porzel, M. Pomarlan, Abhijit Vyas, Sebastian Höffner, M. Beetz, R. Malaka, J. Bateman","doi":"10.3233/faia210379","DOIUrl":"https://doi.org/10.3233/faia210379","url":null,"abstract":"In this paper, we present foundations of the Socio-physical Model of Activities (SOMA). SOMA represents both the physical as well as the social context of everyday activities. Such tasks seem to be trivial for humans, however, they pose severe problems for artificial agents. For starters, a natural language command requesting something will leave many pieces of information necessary for performing the task unspecified. Humans can solve such problems fast as we reduce the search space by recourse to prior knowledge such as a connected collection of plans that describe how certain goals can be achieved at various levels of abstraction. Rather than enumerating fine-grained physical contexts SOMA sets out to include socially constructed knowledge about the functions of actions to achieve a variety of goals or the roles objects can play in a given situation. As the human cognition system is capable of generalizing experiences into abstract knowledge pieces applicable to novel situations, we argue that both physical and social context need be modeled to tackle these challenges in a general manner. The central contribution of this work, therefore, lies in a comprehensive model connecting physical and social entities, that enables flexibility of executions by the robotic agents via symbolic reasoning with the model. This is, by and large, facilitated by the link between the physical and social context in SOMA where relationships are established between occurrences and generalizations of them, which has been demonstrated in several use cases in the domain of everyday activites that validate SOMA.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"59 4 1","pages":"159-174"},"PeriodicalIF":0.0,"publicationDate":"2020-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79762577","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
Legal Theories and Judicial Decision-Making: An Ontological Analysis 法律理论与司法决策:一个本体论分析
Cristine Griffo, J. P. Almeida, G. Guizzardi
In this paper, we expose the legal theories underlying two important classes of Legal Core Ontologies and show how these ontologies inherit both limitations and benefits (such as explanatory power) of their underlying theories. We do that with the help of a real case study in which we have normative omission and collision of principles. We use this case study to conduct an ontological analysis of the support for judicial decision-making in LKIF-Core (representing Kelsen’s Pure Theory of the Law) and UFO-L (representing Robert Alexy’s Theory of Constitutional Rights). We show that UFO-L is able to articulate the semantics of the content of judicial decisions by making explicit the individual’s legal positions that are raised in argumentation along a legal process. The same cannot be said of LKIF-Core that is based on the Kelsenian stance and focuses on the representation of general norms (norm types) and subsumption of facts to these norms.
在本文中,我们揭示了两类重要法律核心本体论的法律理论基础,并展示了这些本体论如何继承其基础理论的局限性和优点(如解释力)。我们在一个真实案例研究的帮助下做到这一点,在这个案例研究中,我们有规范性的遗漏和原则的冲突。我们利用这一案例研究对LKIF-Core(代表Kelsen的《纯粹法律理论》)和UFO-L(代表Robert Alexy的《宪法权利理论》)对司法决策的支持进行了本体论分析。我们表明,UFO-L能够通过明确个人的法律立场来阐明司法判决内容的语义,这些立场是在法律程序的辩论中提出的。基于Kelsenian立场并关注一般规范(规范类型)的表示和将事实纳入这些规范的LKIF-Core就不能这么说了。
{"title":"Legal Theories and Judicial Decision-Making: An Ontological Analysis","authors":"Cristine Griffo, J. P. Almeida, G. Guizzardi","doi":"10.3233/faia200661","DOIUrl":"https://doi.org/10.3233/faia200661","url":null,"abstract":"In this paper, we expose the legal theories underlying two important classes of Legal Core Ontologies and show how these ontologies inherit both limitations and benefits (such as explanatory power) of their underlying theories. We do that with the help of a real case study in which we have normative omission and collision of principles. We use this case study to conduct an ontological analysis of the support for judicial decision-making in LKIF-Core (representing Kelsen’s Pure Theory of the Law) and UFO-L (representing Robert Alexy’s Theory of Constitutional Rights). We show that UFO-L is able to articulate the semantics of the content of judicial decisions by making explicit the individual’s legal positions that are raised in argumentation along a legal process. The same cannot be said of LKIF-Core that is based on the Kelsenian stance and focuses on the representation of general norms (norm types) and subsumption of facts to these norms.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"9 1","pages":"63-76"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80166040","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}
引用次数: 2
Ontology-Driven Cross-Domain Transfer Learning 本体驱动的跨领域迁移学习
Mattia Fumagalli, Gábor Bella, Samuele Conti, Fausto Giunchiglia
The aim of transfer learning is to reuse learnt knowledge across different contexts. In the particular case of cross-domain transfer (also known as domain adaptation), reuse happens across different but related knowledge domains. While there have been promising first results in combining learning with symbolic knowledge to improve cross-domain transfer results, the singular ability of ontologies for providing classificatory knowledge has not been fully exploited so far by the machine learning community. We show that ontologies, if properly designed, are able to support transfer learning by improving generalization and discrimination across classes. We propose an architecture based on direct attribute prediction for combining ontologies with a transfer learning framework, as well as an ontology-based solution for cross-domain generalization based on the integration of top-level and domain ontologies. We validate the solution on an experiment over an image classification task, demonstrating the system’s improved classification performance.
迁移学习的目的是在不同的语境中重复使用所学的知识。在跨领域转移(也称为领域适应)的特殊情况下,重用发生在不同但相关的知识领域之间。虽然在将学习与符号知识相结合以改善跨领域迁移结果方面已经取得了有希望的初步成果,但到目前为止,机器学习社区尚未充分利用本体提供分类知识的单一能力。我们表明,如果设计得当,本体能够通过提高跨类的泛化和区分来支持迁移学习。我们提出了一种基于直接属性预测的本体与迁移学习框架相结合的体系结构,以及一种基于顶层本体和领域本体集成的跨域泛化解决方案。我们在一个图像分类任务的实验中验证了该解决方案,证明了系统的分类性能得到了提高。
{"title":"Ontology-Driven Cross-Domain Transfer Learning","authors":"Mattia Fumagalli, Gábor Bella, Samuele Conti, Fausto Giunchiglia","doi":"10.3233/faia200676","DOIUrl":"https://doi.org/10.3233/faia200676","url":null,"abstract":"The aim of transfer learning is to reuse learnt knowledge across different contexts. In the particular case of cross-domain transfer (also known as domain adaptation), reuse happens across different but related knowledge domains. While there have been promising first results in combining learning with symbolic knowledge to improve cross-domain transfer results, the singular ability of ontologies for providing classificatory knowledge has not been fully exploited so far by the machine learning community. We show that ontologies, if properly designed, are able to support transfer learning by improving generalization and discrimination across classes. We propose an architecture based on direct attribute prediction for combining ontologies with a transfer learning framework, as well as an ontology-based solution for cross-domain generalization based on the integration of top-level and domain ontologies. We validate the solution on an experiment over an image classification task, demonstrating the system’s improved classification performance.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"15 1","pages":"249-263"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78839272","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}
引用次数: 3
Foundations for an Ontology of Belief, Desire and Intention 信念、欲望和意图本体论的基础
Fumiaki Toyoshima, A. Barton, Olivier Grenier
Belief, desire, and intention are central notions in mentality and agency. We provide conceptual and formal foundations for an ontology of those mental entities. In this framework, beliefs and desires have a dual face: dispositional and occurrent. As distinct from beliefs and desires, intentions are dispositions to actions that emerge from a decision process in which occurrent beliefs and occurrent desires interact. We also discuss how our theory can be extended to some major philosophical accounts of desires, and cognitive biases such as wishful thinking.
信念、欲望和意图是心理和能动性的核心概念。我们为这些精神实体的本体论提供了概念和形式基础。在这个框架中,信念和欲望具有两面性:性情性和现实性。与信念和欲望不同,意图是对行为的倾向,它来自于一个决策过程,在这个过程中,发生的信念和发生的欲望相互作用。我们还讨论了如何将我们的理论扩展到一些关于欲望的主要哲学解释,以及诸如一厢情愿的认知偏见。
{"title":"Foundations for an Ontology of Belief, Desire and Intention","authors":"Fumiaki Toyoshima, A. Barton, Olivier Grenier","doi":"10.3233/faia200667","DOIUrl":"https://doi.org/10.3233/faia200667","url":null,"abstract":"Belief, desire, and intention are central notions in mentality and agency. We provide conceptual and formal foundations for an ontology of those mental entities. In this framework, beliefs and desires have a dual face: dispositional and occurrent. As distinct from beliefs and desires, intentions are dispositions to actions that emerge from a decision process in which occurrent beliefs and occurrent desires interact. We also discuss how our theory can be extended to some major philosophical accounts of desires, and cognitive biases such as wishful thinking.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"206 1","pages":"140-154"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88584324","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
Pluralities, Collectives, and Composites 多元、集体和复合
Claudio Masolo, L. Vieu, R. Ferrario, S. Borgo, Daniele Porello
Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and proposing a formal approach to characterise them. We conclude the presentation with a discussion and analysis of social groups within this framework.
森林、汽车和管弦乐队是非常不同的本体实体,但在某些方面非常相似。它们与组成它们的元素之间的关系通常被认为可以简化为标准的本体论关系,比如身份和构成,但如何做到这一点仍然存在争议。本文从语言学和哲学的角度出发,旨在理解多元、集体和复合等概念,并提出一种形式化的方法来表征它们。我们将在此框架下对社会群体进行讨论和分析。
{"title":"Pluralities, Collectives, and Composites","authors":"Claudio Masolo, L. Vieu, R. Ferrario, S. Borgo, Daniele Porello","doi":"10.3233/faia200671","DOIUrl":"https://doi.org/10.3233/faia200671","url":null,"abstract":"Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and proposing a formal approach to characterise them. We conclude the presentation with a discussion and analysis of social groups within this framework.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"54 1","pages":"186-200"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81621322","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}
引用次数: 3
An Analysis of Commitments in Ontology Language Design 本体语言设计中的承诺分析
P. Fillottrani, C. Keet
Multiple ontology languages have been developed over the years, which brings afore two key components: how to select the appropriate language for the task at hand and language design itself. This engineering step entails examining the ontological ‘commitments’ embedded into the language, which, in turn, demands for an insight into what the effects of philosophical viewpoints may be on the design of a representation language. But what are the sort of commitments one should be able to choose from that have an underlying philosophical point of view, and which philosophical stances have a knock-on effect on the specification or selection of an ontology language? In this paper, we provide a first step towards answering these questions. We identify and analyse ontological commitments embedded in logics, or that could be, and show that they have been taken in well-known ontology languages. This contributes to reflecting on the language as enabler or inhibitor to formally characterising an ontology or an ontological investigation, as well as the design of new ontology languages following the proposed design process.
多年来已经开发了多种本体语言,这带来了两个关键组件:如何为手头的任务选择合适的语言和语言设计本身。这个工程步骤需要检查嵌入到语言中的本体论“承诺”,这反过来又要求深入了解哲学观点对表征语言设计的影响。但是,人们应该能够从中选择哪一类具有潜在哲学观点的行为,哪些哲学立场对本体论语言的说明或选择有连锁反应?在本文中,我们为回答这些问题提供了第一步。我们识别和分析嵌入在逻辑中的本体论承诺,或者可能是,并表明它们是用已知的本体论语言进行的。这有助于反思语言作为正式表征本体论或本体论研究的推动者或阻碍者,以及根据提议的设计过程设计新的本体论语言。
{"title":"An Analysis of Commitments in Ontology Language Design","authors":"P. Fillottrani, C. Keet","doi":"10.3233/faia200659","DOIUrl":"https://doi.org/10.3233/faia200659","url":null,"abstract":"Multiple ontology languages have been developed over the years, which brings afore two key components: how to select the appropriate language for the task at hand and language design itself. This engineering step entails examining the ontological ‘commitments’ embedded into the language, which, in turn, demands for an insight into what the effects of philosophical viewpoints may be on the design of a representation language. But what are the sort of commitments one should be able to choose from that have an underlying philosophical point of view, and which philosophical stances have a knock-on effect on the specification or selection of an ontology language? In this paper, we provide a first step towards answering these questions. We identify and analyse ontological commitments embedded in logics, or that could be, and show that they have been taken in well-known ontology languages. This contributes to reflecting on the language as enabler or inhibitor to formally characterising an ontology or an ontological investigation, as well as the design of new ontology languages following the proposed design process.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"31 12 1","pages":"46-60"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78322648","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}
引用次数: 6
Embodied Functional Relations: A Formal Account Combining Abstract Logical Theory with Grounding in Simulation 具身功能关系:抽象逻辑理论与模拟基础相结合的形式化解释
M. Pomarlan, J. Bateman
Functional relations such as containment or support have proven difficult to formalize. Although previous efforts have attempted this using hybrids of several theories, from mereology to temporal logic, we find that such purely symbolic approaches do not account for the embodied nature of functional relations, i.e. that they are used by embodied agents to describe fragments of a physical world. We propose a formalism that combines descriptions of a high level of abstraction with generative models that can be used to instantiate or recognize arrangements of objects and trajectories conforming to qualitative descriptions. The formalism gives an account of how a qualitative description of a scene or arrangement of objects can be converted into a quantitative description amenable to simulation, and how simulation results can be qualitatively interpreted. We use this to describe functional relations between objects in terms of spatial arrangements, expectations on behavior, and counterfactual expectations for when one of the participants is absent. Our method is able to tackle important questions facing an agent operating in the world, such as what would happen if an arrangement of objects is created and why. This gives the agent a deeper understanding of functional relations, including what role background objects, not explicitly asserted to participate in a functional relation such as containment, play in enabling or hindering the relation from holding.
事实证明,遏制或支持等功能关系难以形式化。尽管之前的努力已经尝试使用几种理论的混合,从meriology到时间逻辑,我们发现这种纯粹的符号方法并不能解释功能关系的具体化本质,即它们被具体化的代理用来描述物理世界的碎片。我们提出了一种形式主义,它将高度抽象的描述与生成模型相结合,生成模型可用于实例化或识别符合定性描述的对象和轨迹的安排。形式主义给出了如何将场景或对象安排的定性描述转换为可用于模拟的定量描述的说明,以及如何定性地解释模拟结果。我们用它来描述物体之间的功能关系,包括空间安排、对行为的期望以及当一个参与者缺席时的反事实期望。我们的方法能够解决智能体在世界上运行时面临的重要问题,比如如果创建了一组对象会发生什么以及为什么会发生。这使代理对功能关系有了更深入的理解,包括后台对象(没有明确断言参与功能关系,如包容)在启用或阻碍关系保持方面发挥的作用。
{"title":"Embodied Functional Relations: A Formal Account Combining Abstract Logical Theory with Grounding in Simulation","authors":"M. Pomarlan, J. Bateman","doi":"10.3233/faia200668","DOIUrl":"https://doi.org/10.3233/faia200668","url":null,"abstract":"Functional relations such as containment or support have proven difficult to formalize. Although previous efforts have attempted this using hybrids of several theories, from mereology to temporal logic, we find that such purely symbolic approaches do not account for the embodied nature of functional relations, i.e. that they are used by embodied agents to describe fragments of a physical world. We propose a formalism that combines descriptions of a high level of abstraction with generative models that can be used to instantiate or recognize arrangements of objects and trajectories conforming to qualitative descriptions. The formalism gives an account of how a qualitative description of a scene or arrangement of objects can be converted into a quantitative description amenable to simulation, and how simulation results can be qualitatively interpreted. We use this to describe functional relations between objects in terms of spatial arrangements, expectations on behavior, and counterfactual expectations for when one of the participants is absent. Our method is able to tackle important questions facing an agent operating in the world, such as what would happen if an arrangement of objects is created and why. This gives the agent a deeper understanding of functional relations, including what role background objects, not explicitly asserted to participate in a functional relation such as containment, play in enabling or hindering the relation from holding.","PeriodicalId":90829,"journal":{"name":"Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)","volume":"2 1","pages":"155-168"},"PeriodicalIF":0.0,"publicationDate":"2020-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75857388","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}
引用次数: 13
期刊
Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1