Title : Modeling and analysis of safety occurrence reporting in air traffic

Presenter Alexei Sharpanskykh
Abstract An Air Traffic Organization (ATO) is a complex organization that involves many parties with diverse goals performing a wide range of tasks. Due to this high complexity, inconsistencies and performance bottlenecks may occur in ATOs. By analysis, such safety- and performance-related problems of an ATO can be identified. To perform reliable and profound analysis automated techniques are required. A formal model specification that comprises both prescriptive aspects of a formal organization and autonomous behavioural aspects of agents forms the basis for such techniques. In this talk I'll describe how such a model specification is developed and analyzed in the frames of a simulation case of incident reporting in the ATO.

Title : ROC: a method for proto-ontology construction by domain experts

Presenter Mark van Assem
Abstract Ontology construction is a labour intensive and costly process. Even though many formal vocabularies are available, creating an ontology for a specific application is hindered in a number of ways. Firstly, the process of generating associations is time consuming. Secondly, it is difficult to keep focus. Third, certain technical modeling constructs are hard to understand. We propose ROC as a method to cope with these problems. ROC builds on the well-known Methontology approach. We reuse existing sources to create a so-called proto-ontology. Rather than using multiple intermediate representations to interact with the domain expert, we present ‘natural-language-like’ statements generated from RDF-based triples. Moreover, we strictly separate the roles of problem owner, domain expert and knowledge engineer. They keep focus by monitoring a well-defined application purpose. ROC assists in efficiently putting forward all relevant concepts and relations by providing a large but task-specific set of potential associations. We have implemented an initial set of tools to support ROC. This paper describes the ROC method and two application cases in which we evaluate the overall approach.