Demo. We demonstrate Argos, a framework to automatically generate data processing workflows. First, we show how to assign formal semantics to data and operations using to a domain ontology. Specifically, we define data contents using relational descriptions in an expressive logic. Second, we show a novel planner that uses relational subsumption to connect the output of a data processing operati...

Where do the bottlenecks for information and attention lie when our visual system processes incoming stimuli? The human visual system encodes the incoming stimulus and transfers its contents into three major memory systems with increasing time scales, viz., sensory (or iconic) memory, visual short-term memory (VSTM), and long-term memory (LTM). It is commonly believed that the major bottleneck ...

The phylotypic stage is the developmental stage at which vertebrates most resemble each other. In this study we test the plausibility of the hypotheses of Sander [1983, Development and Evolution, Cambridge University Press] and Raff [1994, Early Life on Earth, Columbia University Press; 1996, The Shape of Life, University of Chicago Press] that the phylotypic stage is conserved due to the inten...

In this paper we present a terminological language which includes defaults, and a deenition of default subsumption based on the notion of skeptical inheritance in default reasoning. Except for the inclusion of defaults the language is limited when compared to most terminological logics. However defaults are a necessary construct in many applications and we suggest that the language presented he...

A method for constructing and maintaining a `semantic index' using a system based on description logics is described. A persistent index into a large number of objects is built by classifying the objects with respect to a set of indexing concepts and storing the resulting relation between object-ids and most speciic indexing concepts on a le. These les can be incre-mentally updated. The index c...

In this paper we explicitly compute the transformation that maps the generic second order differential equation y′′ = f(x, y, y′) to the Painlevé first equation y′′ = 6y + x (resp. the Painlevé second equation y′′ = 2y + yx+ α). This change of coordinates, which is function of f and its partial derivatives, does not exist for every f ; it is necessary that the function f satisfies certain condi...

TaxoMap is an alignment tool which aims to discover rich correspondences between concepts (equivalence relations (isEq), subsumption relations (isA) and their inverse (isMoreGnl) or proximity relations (isClose)). It performs an oriented alignment (from a source to a target ontology) and takes into account labels and sub-class descriptions. This new implementation of TaxoMap uses a pattern-base...