Keynote at AImWD2013

With this workshop, our goal is to contribute to the birth of a community having a shared interest around publishing data on the Web, exploring and reasoning

Secondly, I illustrate how retrieval methods taking account of place can be developed using such insights, and discuss some successes (and failures!) in work developing

In particular, we show how to invert the subs predicate (either subs el or subs aln ), so that not only it can check for the existence of subsumption relations between ground

The problem of determining the movement pattern for a certain number of flying robots when they have to film an event while maximizing viewer satisfaction and minimizing the

Logic Programming (LP) (14) and the family of Description Logics (DLs) (1) are both based on fragments of First Order Logic (FOL).. However, they are characterized by differ-

The idea is that through the virtualization of physical objects, even (digital or non-digital) objects which are not natively accessible and inclusive, can become accessible if

The translation remains correct if we replace all closed specifiers by open specifiers, since the translated knowledge base admits a least model where all annotation sets

In fact, we report here a simplified version of the translation in [1], which is a polynomial translation of instance queries mediated by ALCHOI TBoxes with closed predicates