Nicole Bidoít
YOU?
Author Swipe
View article: Efficient Computation of General Modules for ALC Ontologies (Extended Abstract)
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract) Open
International audience
View article: Efficient Computation of General Modules for ALC Ontologies
Efficient Computation of General Modules for ALC Ontologies Open
We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology that preserves all entailments for a user-specified set of ter…
View article: Efficient Extraction of EL-Ontology Deductive Modules
Efficient Extraction of EL-Ontology Deductive Modules Open
Because widely used real-world ontologies are often complex and large, one important challenge has emerged: designing tools for users to focus on sub-ontologies corresponding to their specific interests. To this end, various modules have b…
View article: Efficient Computation of General Modules for ALC Ontologies (Extended Version)
Efficient Computation of General Modules for ALC Ontologies (Extended Version) Open
We present a method for extracting general modules for ontologies formulated in the description logic ALC. A module for an ontology is an ideally substantially smaller ontology that preserves all entailments for a user-specified set of ter…
View article: Transducer Cascades for Biological Literature-Based Discovery
Transducer Cascades for Biological Literature-Based Discovery Open
G protein-coupled receptors (GPCRs) control the response of cells to many signals, and as such, are involved in most cellular processes. As membrane receptors, they are accessible at the surface of the cell. GPCRs are also the largest fami…
View article: Hypergraph-Based Inference Rules for Computing $$\mathcal{EL}\mathcal{}^+$$-Ontology Justifications
Hypergraph-Based Inference Rules for Computing $$\mathcal{EL}\mathcal{}^+$$-Ontology Justifications Open
To give concise explanations for a conclusion obtained by reasoning over ontologies, justifications have been proposed as minimal subsets of an ontology that entail the given conclusion. Even though computing one justification can be done …
View article: Databases and Artificial Intelligence
Databases and Artificial Intelligence Open
International audience
View article: Queries and Updates on Big XML Documents (Extended Abstract)
Queries and Updates on Big XML Documents (Extended Abstract) Open
In this paper we present Andromeda, a system for processing queries and updates on large XML documents. The system is based on the idea of statically and dynamically partitioning the input document, so to distribute the computing load amon…