Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is increasingly difficult to assess if and how inefficiencies can be fixed. Much of this activity involves the transformation of information, due to framework couplings. We present an approach to modeling and quantifying behavior...

In ontology-based data access (OBDA), database querying is enriched with an ontology that provides domain knowledge and additional vocabulary for query formulation. We identify query emptiness and predicate emptiness as two central reasoning services in this context. Query emptiness asks whether a given query has an empty answer over all databases formulated in a given vocabulary. Predicate emp...

Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output model programs, where the action vocabulary is divided between two conceptual players: the input player and the output player. The players share the action vocabulary and make moves that are labeled by actions according to their res...

This paper presents a new approach to use prosodic information for the integration of acoustic and linguistic knowledge in continuous Mandarin speech with very large vocabulary. Since the overhead computation incurred from unification of search space is confined to the syllable boundaries, the use of prosodic information to reduce the syllable boundary hypotheses as well as the syllable matchin...

reading comprehension plays a central role in nonfiction general english university courses in different efl situations and one of the important factors affecting it is vocabulary size. accordingly, the present study aimed at investigating the effect of unknown vocabulary size on efl learners’ reading comprehension. to this end, 40 tefl freshmen were ed to participate in this study on the basis...

Detlef Seese has shown that first-order queries on bounded-degree graphs can be computed in linear-time. We extend this result by using connected doubly-linked data structures (modeled in logic over a singulary vocabulary -one which permits only monadic predicates and functions). The first result is that first-order sentences can then be evaluated by an automaton which works directly in place o...

We analyse the expressiveness of Brewka and Woltran’s abstract dialectical frameworks for two-valued semantics. By expressiveness we mean the ability to encode a desired set of two-valued interpretations over a given propositional vocabulary A using only atoms from A. We also compare ADFs’ expressiveness with that of (the two-valued semantics of) abstract argumentation frameworks, normal logic ...

CubeViz is a flexible exploration and visualization platform for statistical data represented adhering to the RDF Data Cube vocabulary. If statistical data is provided adhering to the Data Cube vocabulary, CubeViz exhibits a faceted browsing widget allowing to interactively filter observations to be visualized in charts. Based on the selected structural part, CubeViz offers suitable chart types...

Awareness support is increasingly receiving attention within CSCW research. The idea of awareness support is that systems provide members of a group with information about the behavior of other group members in order to create a notion of awareness of what others are doing. As in natural settings, peripheral monitoring and explicit display can be valuable resources for collaboration (Dourish, 1...

We develop a formal framework for modular ontologies by analysing four notions ofconservative extension and their applications in refining, re-using, merging, and segment-ing ontologies. For two members of the DL-Lite family of description logics, we proveimportant meta-properties of these notions such as robustness under joins, vocabularyextensions, and iterated import of o...