Automated Reasoning about Context and Ontology Evolution
Automated Reasoning about Context and Ontology Evolution
复制标题
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
A. Bundy;Jos Lehmann;I. Varzinczak
中科院分区：
文献类型：
--
作者：
A. Bundy;Jos Lehmann;I. Varzinczak
自动推理方法通过使用以逻辑表示的形式本体解决了计算机科学中的大量问题。然而，多年来，每个问题或每一类问题都需要不同的本体论，有时甚至需要不同版本的逻辑。此外，构思、控制和维护本体及其版本的过程本质上是复杂的。所有这些都激发了对各种不同学科的大量研究——从基于逻辑的知识表示和推理到软件工程，从数据库到多媒体——关于如何将本体彼此联系起来。与之前的版本一样，ARCOE-11 旨在将来自人工智能核心领域（知识表示和推理、上下文和本体）的研究人员和实践者聚集在一起，讨论此类问题和相关结果。从历史上看，此类研究背后至少存在三种不同但相互依赖的动机：定义本体与其上下文之间的关系，为本体工程师提供支持，增强软件代理的问题解决和沟通。 ARCOE征文征文就是在这样的历史背景下制定的。向 ARCOE11 提交的材料已由两到三名主席或 PC 成员审核，并根据相关性和质量进行排名。百分之七十五的提交材料已被选中在研讨会上展示并包含在这些研讨会笔记中。感谢其程序委员会及其作者的宝贵且备受赞赏的贡献，ARCOE-11 为参与者提供了一个机会来相互定位各种方法。希望研讨会和这些注释也将启动一个异花授粉的过程，并巩固一个真正的跨学科研究社区的构成，致力于自动推理背景和本体论演化。
Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines—from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia—about how to relate ontologies to one another. Just like its previous editions, ARCOE-11 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents. ARCOE call for papers has been formulated against such historical background. Submissions to ARCOE11 have been reviewed by two to three Chairs or PC members and ranked on relevance and quality. Seventy five percent of the submissions have been selected for presentation at the workshop and for inclusion in these Workshop Notes. Thanks to the invaluable and much appreciated contributions of its program committee and its authors, ARCOE-11 provides participants with an opportunity to position various approaches with respect to one another. Hopefully, though the workshop and these Notes will also start a process of cross-pollination and consolidate the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution.