mini me swift the first mobile owl reasoner for ios

Mobile reasoners play a pivotal role in the so-called Semantic Web of Things. While several tools exist for the Android platform, iOS has been neglected so far. This is due to architectural differences and unavailability of OWL manipulation libraries, which make porting existing engines harder. This paper presents Mini-ME Swift, the first Description Logics reasoner for iOS. It implements standard (Subsumption, Satisfiability, Classification, Consistency) and non-standard (Abduction, Contraction, Covering, Difference) inferences in an OWL 2 fragment. Peculiarities are discussed and performance results are presented, comparing Mini-ME Swift with other state-of-the-art OWL reasoners

A CSCW System Model for Classifying Tailorability Implementations

The paper defines a model for CSCW systems which identifies three main system parts. Corresponding to these parts, three kinds of tailorability, as seen from the system's perspective, are defined. It is shown how the model applies to the main classes of CSCW systems. Then, some examples are given and some issues are addressed for the three tailorability kinds. 1 Introduction There are several perspectives from which tailoring can be viewed and classified. First, there is the HCI perspective, which deals with the way how tailoring is performed and how it is perceived at the interface by the tailoring user. Second, there is the user perspective. It deals with different categories of tailoring users (MacLean et al. 1990) and corresponding tailoring interfaces. Then we find the implementation perspective. Here we deal with the way, tailorability is realized in the system. An example for a classification in this perspective are the three tailoring levels defined by Mrch (1997): custom..

Feature Combination: Position Paper about Composability Issues in Object-Orientation

Introduction The goal of our work is to facilitate the design of computer support functionality for individual work cases. The design should be performed by the worker while working on the case. We have developed the model of feature combination as an approach to individual design. We provide an object-oriented implementation of feature combination by composing classes. The model of feature combination is a logically consistent development of object-orientation. The previous influence of object-orientation on applications has already produced an object- or case-centered view in systems for work support. However, the functionality of objects is often still determined by large monolithic applications, such as a word processor or a spreadsheet program. Hence, a second step is necessary which leads from an object-centered view with a static set of object features to an object-centered view with a dynamic set of object features. It must be possible to add new features to the overall

Type Selection at the User Interface

One part of the object-oriented paradigm is the idea of a type hierarchy using inheritance. We propose the application of this idea to the specific goal of providing an interface for the end user of a system. The interface offers to the user a subset of the predefined types for selection. The user chooses an arbitrary number of these types in order to specify the properties of an object in a toolkit-like manner. We give additional requirements that must be met to make this idea applicable. Then we introduce the system ELIOOS which implements the principle. 1 Introduction The object-oriented paradigm is not a monolithic concept. It has several aspects which can be used to achieve a variety of goals. In our paper we describe the application of object-oriented methodology to one specific purpose: the flexible selection of object properties by the end user of a system. From object-oriented mechanisms, we use the idea of a hierarchy of classes (here called types) with multiple inheritance...

Generalized Feature Graphs: A Kernel for Description Logic Implementations

If feature graphs are extended in a simple way they provide a basis for implementing arbitrary description logic formalisms. We describe the extension and the resulting language and we briefly show how to use it as a kernel for description logics. 1 Introduction A common characteristics of the feature graphs introduced by Rounds and Kasper [ Rounds and Kasper, 1986 ] and all extensions thereof is the fact that the graphs must be rooted. The root node automatically represents the object depicted by the feature graph (the depictee). Hence, feature graphs always describe the depictee with the help of other objects which are functionally dependent on the depictee. This mechanism was sufficient in the original application of feature graphs for representing grammatical information in unification grammars. Later, feature graphs found their way to knowledge representation and have been integrated with description logic formalisms [ Nebel and Smolka, 1990 ] . However, description logics prov..

Feature Combination: A New Approach to Tailorable Groupware

This paper describes a new approach to tailorable groupware systems. Its main goal is to make the behavior and other properties of objects tailorable by the end user. We achieve this by breaking up the properties of objects into fine-grained parts called features. The user specifies an object's properties by building a feature set. Feature sets are supposed to be a very simple and intuitive means for specifying object properties. Since a feature includes the implementation of its property, an object with an associated feature set corresponds to a fully functional micro application. Highlights of our realization are the construction of code pieces from parts without the need for programming and the "live" modification of an object's feature set. Thus we meet two important requirements in tailorability

Structure Management In The Collaborative Multimedia Editing System Iris

Structure management within collaborative editing systems is an important feature when the editable documents consist of multimedia contents. This becomes even more interesting when the interface between a media-independent structure editor and the media-dependent content editors should be designed. Based on the experiences with our common modeling framework, the newly developed multiuser editor IRIS, this paper describes the design of structure editing and discusses what operations are needed for the media-independent interface of the structure editor. Furthermore, some implications of the chosen approach are shown and a number of recommendations are made for improving our framework. Key words: collaboration, multiuser multimedia editor, structure management. 1. Introduction An important topic within computer-supported cooperative work (CSCW) is collaborative multimedia editing. A fully-integrated CSCW-system for such documents should provide appropriate editors for various media, i..