Using the theory of terminology for special languages, we investigate data, their representations, the semantics of data, and allowed computations. These three components for understanding data are related, and terminology supplies the link. The key insight, using terminology, is that a datum is represented by a signifier that stands for a certain kind of concept. The concept is part of the sem...

Message Sequence Charts (MSCs) are a standard, widely adopted scenario-based notation. However, its use for the requirements engineering of reactive systems still suffers fundamental issues about which few researchers and practitioners seem to care: (1) its semantics is too weak to model such basic things as a response pattern, (2) no distinction is made between descriptive and prescriptive sta...

In general, an n-ary predicate (relation) describes the relationship among its arguments, and such that no argument has to be of a special mode. The uniication and the resolution (SLDNF-resolution) do capture this state of aaair. Hence, the aim of logic programming is in some point approximatively achieved if the system is able to automatically determine the descriptive mode of an n-ary predica...

RDDOnto is an ontology that translates the MPEG-21 RDD (Rights Data Dictionary) specification into a hierarchical set of definitions with semantic content included. In the event that this set of definitions is used, the RDDOnto must provide well-defined semantics to determine which rights apply to data at all points within the hierarchy. RDDOnto translates the RDD specification into a machine-r...