In this paper, we describe the Knowledge Organisation Sys- tem Implicit Mapping (KOSIMap) framework, which differs from exist- ing ontology mapping approaches by using description

Poursuite encouragée en licence professionnelle (un an après bac + 2) : réseaux et télécommunications, option administrateur de réseaux ou option conception et

In our approach, we create an OWL ontology based on Description Logic (DL), which permits defining instances (description logic individuals), creating classes (description

An ontology in the Distributed Ontology Language (DOL) consists of modules formalised in basic ontology languages, such as OWL (based on description logic) or Common Logic (based

- Le rouleau presseur peut être soit propre (on a alors un fond blanc) soit encré (fond coloré).. - On peut imprimer plusieurs motifs identiques en les superposant ou en

Dès le 15 décembre 2019, date de sa mise en service intégrale, le Léman Express reliera 45 gares sur 230 km de lignes et sera au service de la mobilité pour plus d’un

Ontology-based data access, temporal conjunctive query language, description logic knowledge base..

Assous, F., Ciarlet Jr., P., Labrunie, S., Segr´ e, J.: Numerical solution to the time-dependent Maxwell equations in axisymmetric singular domains: the singular complement

within a single framework of abductive logic program- ming, temporal reasoning, constraint logic programming, and preference reasoning based on argumentation in order to support

- de 16h30 à 22h le vendredi - de 14h à 22h le samedi - de 14h à 22h le dimanche Organisée par la ville de La Tour du Pin.. Stationnement et circulation interdits sur le champ

Le projet de loi sous rubrique vise à approuver l’Amendement à la Convention sur la protection physique des matières nucléaires, adopté à Vienne, le 8 juillet 2005, en

• We propose a comprehensive framework for inconsistency checking by employing the Pellet reasoning engine. Also, we utilize Reiter’s algorithm to propose solutions for resolving

The increasing reliance on automated reasoning needs not just the avail- ability of fast reasoners, but also mechanisms to explain their, often surprising, results to human users,

Ce regain d’intérêt pour la lutte contre la schistosomose s’accompa- gne sur le terrain par un engagement politique croissant dans divers pays et offre de nouvelles perspectives

Keywords: Ontology evaluation, Ontology refinement, Ontology alignment, Ontology mapping, Ontology fitness, Domain knowledge stakeholder, Vote, OntoElect, Gravitation

In this framework, a query rep- resented in one ontology is reformulated approximately into a query represented in another ontology based on an ontology mapping specification which

Keywords: Ontology Construction; Knowledge Representation; Fuzzy Description Logic; Inductive Logic Programming; Concept

Towards a logic-based framework for analyzing stream reasoning, we extended the work in [14] with a generalized notion of window functions and a rule-based language.. We