The most prominent business process notations in use today are BPMN, EPC and BPEL. While all those languages show similarities on the conceptual level and share similar constructs, the semantics of these constructs and even the intended use of the language itself are often quite different. As a result, users are uncertain when to use which language or construct in a particular language, especia...

The most prominent business process notations in use today are BPMN, EPC and BPEL. While all those languages show similarities on the conceptual level and share similar constructs, the semantics of these constructs and even the intended use of the language itself are often quite different. As a result, users are uncertain when to use which language or construct in a particular language, especia...

We train one multilingual model for dependency parsing and use it to parse sentences in several languages. The parsing model uses (i) multilingual word clusters and embeddings; (ii) token-level language information; and (iii) language-specific features (finegrained POS tags). This input representation enables the parser not only to parse effectively in multiple languages, but also to generalize...

Like modal logic, temporal logic, or description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoarestyle proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoa...

Domain-general statistical learning (SL) is thought to support language phenomena like verb bias and structural priming. We explored this idea by inducing these phenomena within a non-linguistic serial reaction time (SRT) task where participants learned an English-like artificial language using SL. In a series of two experiments we found error rates to be sensitive to verbs’ structural preferen...

Topic maps have many similarities to RDF but are distinct historically, technically and in their main intended purpose. They started in the early 90s and were published as an ISO standard in 2000 while RDF started in the late 90’s and was published as a W3C Recommendation in 2004. Each has it’s own constraint language, data model, and set of syntaxes. Topic Maps define a knowledge representatio...

The UML has recently been extended by an Object Constraint Language (OCL). This formal language can be used for specifying constraints on a model in order to restrict possible system states. We present some examples for illustrating main concepts of OCL. Problems with the current deenition of OCL resulting from imprecise or ambiguous deenitions are investigated. A comparison of OCL with a langu...

To what extent is the neural organization of language dependent on factors specific to the modalities in which language is perceived and through which it is produced? That is, is the left-hemisphere dominance for language a function of a linguistic specialization or a function of some domain-general specialization(s), such as temporal processing or motor planning? Investigations of the neurobio...

The organization of information within science can be investigated in a principled way through analysis of science language. The restricted use of language in science enables description of the informational structure of science and of particular subfields, with strong similarities to structures in mathematics and programming languages. This result rests on decades of research into the relation...