ARCOE

Automated Reasoning about Context and Ontology Evolution

Workshop Description

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 ontologies relate to one another and evolve.

ARCOE 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.

Next Edition

ARCOE-Logic 2014 will be held
on November 24-25, 2014 at EKAW 2014, Linköping, Sweden