Workshop on automated reasoning about context and ontology evolution, Barcelona, Spain
17 July 2011 - 17 July 2011
Spain
A workshop on automated reasoning about context and ontology evolution will take place from 17 to 18 July 2011 in Barcelona, Spain.
Methods of automated reasoning have solved a large number of problems in computer science by using formal ontologies expressed in logic-based languages. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. The processes of designing, controlling and maintaining an ontology as well as its different versions have turned out to be inherently complex.
This situation has motivated a significant amount of research about how to relate ontologies to one another, with 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.
The event will bring together researchers and practitioners from core areas of artificial intelligence (knowledge representation, reasoning, contexts and ontologies) and related disciplines to discuss a wide variety problems and research results in the area of context and ontology evolution.For further information, please visit: http://www.arcoe.org/2011/(opens in new window)
Methods of automated reasoning have solved a large number of problems in computer science by using formal ontologies expressed in logic-based languages. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. The processes of designing, controlling and maintaining an ontology as well as its different versions have turned out to be inherently complex.
This situation has motivated a significant amount of research about how to relate ontologies to one another, with 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.
The event will bring together researchers and practitioners from core areas of artificial intelligence (knowledge representation, reasoning, contexts and ontologies) and related disciplines to discuss a wide variety problems and research results in the area of context and ontology evolution.For further information, please visit: http://www.arcoe.org/2011/(opens in new window)