Automated Instance Migration between Evolving

Abstract: An ontology, if used for practical purposes like in information systems, contains its controlled vocabulary (TBox) describing the semantics of the domain and the set of facts (ABox) about this domain. The elements of the ABox are ontology instances. If a domain is described by two or more different ontologies or if ontologies evolve, TBoxes are the first place to analyze the differences. However, even if the corresponding TBoxes are mapped to each other, ABox alignment is still required to be done. Though TBoxes may be aligned manually, the size of the corresponding ABoxes may well be a serious obstacle for feasibly finishing the job by hand. The paper presents our approach and recent research accomplishments in developing a methodology for solving this complex task semiautomatically. We call it Ontology Instance Migration Methodology (OIMM). It allows reducing the bulk of manual work in aligning one ontology to another one. Our simplified task is to populate the second one with the instances taken from the first one. We first build mappings between the TBoxes, then we proceed with creating an Ontology Instance Migration Scenario (OIMS) using the algorithm presented in this paper and the previously created mappings. We review the OIMS to validate it, edit incomplete and add missed transformations. Such manual additions are necessary to encode complex transformations. We finally execute the OIMS using the environment which performs the instance migration.

AN APPROACH FOR ASSESSING DESIGN SYSTEMS Design System Simulation and Analysis for Performance Assessment

design process, ontology, multi-agent system, microelectronics Abstract: This position paper presents our work in assessing engineering design systems in the field of microelectronics with respect to their performance and, more specifically, to productivity. Current mainstream process assessment systems show deficiencies of the representation and analysis when dealing with dynamic, self-optimizing processes. To overcome this, a project called PRODUKTIV+ has been created with the goal to develop a new approach. This approach is to create a model of a design system and simulate the colaborative behavior of the involved engineers using a system of cooperating, intelligent software agents. The assessment of a design system is then done based on the detailed simulation results.

An Agent-Oriented Model of a Dynamic Engineering Design Process

One way to make engineering design effective and efficient is to make its processes flexible – i.e. self-adjusting, self-configuring, and self-optimizing at run time. This chapter presents the descriptive part of the Dynamic Engineering Design Process (DEDP) modeling framework developed in the PSI 1 project. The project aims to build a software tool to assist managers to analyze and enhance the productivity of the DEDPs through process simulations. The framework incorporates the models of teams and actors, tasks and activities as well as design artifacts as the major interrelated parts. DEDPs are modeled as weakly defined flows of tasks and atomic activities which may only “become apparent ” at run time because of several presented dynamic factors. The processes are self-formed through the mechanisms of collaboration in the dynamic team of actors. These mechanisms are based on contracting negotiations. DEDP productivity is assessed by the Units of Welfare collected by the multi-agent system which models the design team. The models of the framework are formalized in the family of PSI ontologies

Search for a fermiophobic Higgs at LEP-2

Higgs bosons predicted by the fermiophobic scenario within Two Higgs Doublets Models were searched for in the data collected by the DELPHI detector at centre-of-mass energies between 189 GeV and 202 GeV, corresponding to a total integrated luminosity of 380 pb^{-1}. No signal was found and confidence limits were derived in the framework of possible extensions of the Standard Model Higgs sector.Comment: 19 pages, 6 figures, Accepted by Phys. Lett.