1 Définir l’ontologie locale Une ontologie locale est définie l’ontologie du domaine, articulée à cette dernière par la relation de subsumption par : Spécialisation des sous-ensemble de classes de l’ontologie de domaine recouvrant les besoins du cahier de charges et par importation sélective des propriétés pertinentes. Enrichissement de l’ontologie locale pour répondre aux objectifs applicatifs...

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...

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...

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...

The syntax of both SROIQ and OWL 2 allow complex role inclusion axioms where the role composition occurs on the left of the subsumption relation, but not where the role composition occurs on the right. This paper proves that, despite the lack of syntax, SROIQ, and consequently OWL 2, can already express such complex role inclusions. This is shown by proving that complex role inclusion axioms wh...

One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A B are interpreted via conversion functions A→B. This paper shows how to extend the method to languages with computational effects, using Moggi’s computational metalanguage.