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 EditionARCOE-Logic 2014 will be held on November 24-25, 2014 at EKAW 2014, Linköping, Sweden
Special Issue of the Journal of Web SemanticsThe Special Issue of the Journal of Web Semantics on Reasoning with context in the Semantic Web is now available online.
Please send all enquiries and communications to: organization [at] arcoe [dot] org