CTL : a description logic with expressive concrete domains

Compared with frame-based systems, description logics have the advantage of well-defined semantics and powerful inferences. In order to exploit these advantages in technical domains, the ability to use concrete domains is needed, e.g. systems of (in)equalities over (non)linear polynomials to handle physical laws. Existing systems can only cope with comparisons between attributes. We present an approach that considerably improves the expressiveness of the concrete domains. CTL (Configurable (or Constraint-based) Terminological Logic) is based on the ideas presented in [Baader, F. & Hanschke, P. 1991] and [Hanschke, P. 1993]. Concrete domains are realised through a well-defined interface to external algorithms. Constraint Logic Programming (CLP) systems allow us to easily realise a whole range of concrete domains, e.g. over sets of symbols and numbers. In particular, we are able to handle systems of arbitrary linear polynomials. They also enable us to automatically participate in recent and future improvements in the areas of CLP and computer algebra, e.g. systems capable of handling arbitrary non-linear polynomials

An Enterprise Architecture Framework to organize Model Repositories

Abstract. Models are a valuable knowledge asset for an enterprise. An enterprise model repository can improve sharing of enterprise knowledge and thus can exploit the use of the knowledge for various applications. In this work we present a framework for the organisation of enterprise models. The framework was derived from enterprise architecture frameworks. It distinguishes three dimensions: aspect, perspective, and modelling language family. For each of these dimensions we derive possible values. The framework can be used for enterprise repositories but also for knowledge exchange in a community as proposed by the Open Model Initiative

Time Travel Gamification of Learning and Training: From Theoretical Concepts to Practical Applications

Gamification is considered the systematic anticipation and design of affective experiences. It is not erroneously reduced to the usage of game-typical elements in another context. The human experiences in focus are varying forms of virtual time travel. In a time travel exploratory game, players return virtually to the past for gaining insights and, possibly, finding artifacts bring back to the present time. This works well for environmental education studying, by way of illustration, the worldwide ocean warming over several decades. Time travel prevention games go even further. Players who visit the past get an opportunity to impact their fate. This works well in application areas such as crime prevention and industrial accident prevention. Dynamic time travel prevention games are a recently developed game type in which the past changes dynamically to support the player’s chances of successfully completing the mission. The authors present original concepts and technologies and demonstrate running applications

SmartWeb: Mobile Access to the Semantic Web

Ankolekar A, Cimiano P, Hitzler P, et al. SmartWeb: Mobile Access to the Semantic Web. In: Wache H, ed. Proceedings of the ESWC2006 poster and demo session. 2006: 3-4

A Flexible Agent-Based Framework for Process Management

Information technology support for complex, dynamic, and distributed business processes as they occur in engineering domains requires an advanced process management system which enhances currently available workflow management services with respect to integration, flexibility, and adapt ation. We present an uniform and flexible framework for advanced process management on an a bstract level which uses and adapts agent technology from distributed artificial intelligence for both modelling and enacting of processes. We identify two different frameworks for applying agent tec hnology to process management: First, as a multi-agent system with the domain of process manag ement. Second, as a key infrastructure technology for building a process management system. We will then follow the latter approach and introduce different agent types for managing activities, products, and resources which capture specific views on the process

Inconsistencies, Negations and Changes in

The ability to deal with inconsistency and to accommodate change is of utmost importance in real-world applications of Description Logic based ontological reasoning and management [1]. For example, one of the typical scenarios in deployed Semantic Web applications is ontology reuse, where users build their own ontologies from existing ones, rather than starting from scratch. After adding new axioms into an existing ontology, users may find that revised ontologies become inconsistent. A remedy for such a situation would require the removal of a minimal part of the ontology in order to make the resulting ontology consistent [2]. This type of change is usually required to meet some rationality postulates, similar to those in the AGM theory in the belief revision. Addressing effectively the issues raised requires precise, formal definitions of inconsistency and negation. Unfortunately, DL-based ontology languages, such as OWL DL, do not provide enough expressive power to represent axiom negations. Furthermore, there is no single, well-accepted notion of inconsistency and negation in the Semantic Web community, due to the lack of a common and solid foundational framework. [4] proposed an approach to debug inconsistent ontologies, in which inconsistency is identified with the existence of unsatisfiable concepts. [3] developed a framework of reasoning with inconsistent ontologies, in which inconsistency is given a classical first-order logic interpretation. In [2], the definition of axio