A vision for diagrammatic ontology engineering

Abstract. Ontology engineering is becoming more important, given the rapid rise of data in this information age. To better understand and rea-son about this data, ontologies provide us with insight into its structure. With this comes the involvement of a wide range of stakeholders, such as information analysts, software engineers, lawyers, and domain experts, alongside specialist ontology engineers. These specialists are likely to be adept at using existing approaches to ontology development, typically description logic or one of its various stylized forms. However, not all stakeholders can readily access such notations, which often have a very mathematical style. Many stakeholders, even including fluent ontology engineers, could benefit from visual approaches to ontology engineering, provided those approaches are accessible. This paper presents ongoing re-search into a diagrammatic approach to ontology engineering, outlining key research advances that are required

Ontological Representations of Software Patterns

This paper is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems (be they motivated by best practice or by company interests and policies). The paper argues that, on the one hand, this development requires tools for automatic organisation, retrieval and explanation of software patterns. On the other hand, that the existence of such tools itself will facilitate the further development and employment of patterns in the software development process. The paper analyses existing pattern representations and concludes that they are inadequate for the kind of automation intended here. Adopting a standpoint similar to that taken in the semantic web, the paper proposes that feasible solutions can be built on the basis of ontological representations.Comment: 7 page

The Translocal Event and the Polyrhythmic Diagram

This thesis identifies and analyses the key creative protocols in translocal performance practice, and ends with suggestions for new forms of transversal live and mediated performance practice, informed by theory. It argues that ontologies of emergence in dynamic systems nourish contemporary practice in the digital arts. Feedback in self-organised, recursive systems and organisms elicit change, and change transforms. The arguments trace concepts from chaos and complexity theory to virtual multiplicity, relationality, intuition and individuation (in the work of Bergson, Deleuze, Guattari, Simondon, Massumi, and other process theorists). It then examines the intersection of methodologies in philosophy, science and art and the radical contingencies implicit in the technicity of real-time, collaborative composition. Simultaneous forces or tendencies such as perception/memory, content/ expression and instinct/intellect produce composites (experience, meaning, and intuition- respectively) that affect the sensation of interplay. The translocal event is itself a diagram - an interstice between the forces of the local and the global, between the tendencies of the individual and the collective. The translocal is a point of reference for exploring the distribution of affect, parameters of control and emergent aesthetics. Translocal interplay, enabled by digital technologies and network protocols, is ontogenetic and autopoietic; diagrammatic and synaesthetic; intuitive and transductive. KeyWorx is a software application developed for realtime, distributed, multimodal media processing. As a technological tool created by artists, KeyWorx supports this intuitive type of creative experience: a real-time, translocal “jamming” that transduces the lived experience of a “biogram,” a synaesthetic hinge-dimension. The emerging aesthetics are processual – intuitive, diagrammatic and transversal

Knowledge Management for Public Administrations: Technical Realizations of an Enterprise Attention Management System

The improvement of governments’ efficiency has gained great importance and validity especially in the current times of economic downturn. E-Government constitutes the most contemporary techno-managerial proposition in the track of possible interventions. The paper addresses, more specifically, empowerments necessitated by Public Administration (PA) organizations. Anchored on the needs of three real-life cases, the paper describes the conception and the realization of an IT artefact together with its methodological appeals aiming at improving information access and delivery and thus PAs’ decision making capacity. Our proposition constitutes a novel approach for managing users’ attention in knowledge intensive organizations which goes beyond informing a user about changes in relevant information towards proactively supporting the user to react on changes. The approach is based on an expressive attention model, which is realized by combining ECA (Event-Condition-Action) rules with ontologies. The technical realizations described in the paper constitute the underlying infrastructure of an Enterprise Attention Management System

Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing

Recent years have seen the utilisation of Semantic Web Service descriptions for automating a wide range of service-related activities, with a primary focus on service discovery, composition, execution and mediation. An important area which so far has received less attention is service validation, whereby advertised services are proven to conform to required behavioural specifications. This paper proposes a method for validation of service-oriented systems through automated functional testing. The method leverages ontology-based and rule-based descriptions of service inputs, outputs, preconditions and effects (IOPE) for constructing a stateful EFSM specification. The specification is subsequently utilised for functional testing and validation using the proven Stream X-machine (SXM) testing methodology. Complete functional test sets are generated automatically at an abstract level and are then applied to concrete Web services, using test drivers created from the Web service descriptions. The testing method comes with completeness guarantees and provides a strong method for validating the behaviour of Web services

An information retrieval approach to ontology mapping

In this paper, we present a heuristic mapping method and a prototype mapping system that support the process of semi-automatic ontology mapping for the purpose of improving semantic interoperability in heterogeneous systems. The approach is based on the idea of semantic enrichment, i.e., using instance information of the ontology to enrich the original ontology and calculate similarities between concepts in two ontologies. The functional settings for the mapping system are discussed and the evaluation of the prototype implementation of the approach is reported. \ud \u

Reflective Argumentation

Theories of argumentation usually focus on arguments as means of persuasion, finding consensus, or justifying knowledge claims. However, the construction and visualization of arguments can also be used to clarify one's own thinking and to stimulate change of this thinking if gaps, unjustified assumptions, contradictions, or open questions can be identified. This is what I call "reflective argumentation." The objective of this paper is, first, to clarify the conditions of reflective argumentation and, second, to discuss the possibilities of argument visualization methods in supporting reflection and cognitive change. After a discussion of the cognitive problems we are facing in conflicts--obviously the area where cognitive change is hardest--the second part will, based on this, determine a set of requirements argument visualization tools should fulfill if their main purpose is stimulating reflection and cognitive change. In the third part, I will evaluate available argument visualization methods with regard to these requirements and talk about their limitations. The fourth part, then, introduces a new method of argument visualization which I call Logical Argument Mapping (LAM). LAM has specifically been designed to support reflective argumentation. Since it uses primarily deductively valid argument schemes, this design decision has to be justified with regard to goals of reflective argumentation. The fifth part, finally, provides an example of how Logical Argument Mapping could be used as a method of reflective argumentation in a political controversy