-
BGP Query Answering against Dynamic RDF Databases
A promising method for efficiently querying RDF data consists of translating SPARQL queries into efficient RDBMS-style operations. However, answering SPARQL queries... -
Efficient Reasoning about Data Trees via Integer Linear Programming
International audience -
An ontology-driven approach to model SIEM information and operations using th...
International audience -
Algoritmi e argomenti
International audience -
Otto Hölder. Intuition and reasoning.
International audience -
An Ambient Assisted Living Framework Supporting Personalization Based on Onto...
ISBN 978-1-61208-235-6 -
Modeling Ontological Structures with Type Classes in Coq
International audience -
Graphical norms via conceptual graphs
International audience -
Conception et implantation d'un modèle de raisonnement sur les contextes basé...
This approach suggests a possible solution for the following issue : how to formalize environments related to a given process and how to exploit the information they... -
Semantic interoperability of knowledge in feature-based CAD models
A major issue in product development is the exchange and sharing of product knowledge among many actors. This knowledge includes many concepts such as design history,... -
A geometrical approach to elementary particles
The texts in communication science often make allusions to philosophical authors, espacially about knowledge. This communication compares propositions about three... -
Nonmonotonic reasoning: from finitary relations to infinitary inference opera...
International audience -
An ExpSpace Tableau-based Algorithm for SHOIQ
International audience -
Merging Expressive Spatial Ontologies Using Formal Concept Analysis with Unce...
In this chapter, we present a solution to the problem of merging structures that represent the conceptual layer of some information systems. The kind of structures we... -
Sharing biomedical information : models, semantics and quality
The amount of available data in information systems is constantly increasing and more and more efforts have been made in trying to interconnect this data in order to... -
Les représentations de connaissances par objets
napoli2000a -
An Ambient Assisted Living Framework with Automatic Self-Diagnosis
International audience -
Efficient Reasoning about Data Trees via Integer Linear Programming
International audience -
Collaborative data-driven workflows: think global, act local
International audience
