Bernardo Cuenca Grau

According to our database1, Bernardo Cuenca Grau authored at least 167 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Logical Foundations of Linked Data Anonymisation.
J. Artif. Intell. Res., 2019

Foundations of ontology-based data access under bag semantics.
Artif. Intell., 2019

DatalogMTL: Computational Complexity and Expressive Power.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Sequoia: A Consequence Based Reasoner for SROIQ.
Proceedings of the 32nd International Workshop on Description Logics, 2019

Bagging the DL-Lite Family Further.
Proceedings of the 32nd International Workshop on Description Logics, 2019

15 Years of Consequence-Based Reasoning.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Reasoning over Streaming Data in Metric Temporal Datalog.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions.
J. Artif. Intell. Res., 2018

The Window Validity Problem in Rule-Based Stream Reasoning.
CoRR, 2018

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
CoRR, 2018

Stratified Negation in Limit Datalog Programs.
CoRR, 2018

Logical foundations of information disclosure in ontology-based data integration.
Artif. Intell., 2018

LogMap family participation in the OAEI 2018.
Proceedings of the 13th International Workshop on Ontology Matching co-located with the 17th International Semantic Web Conference, 2018

The Window Validity Problem in Rule-Based Stream Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Stratified Negation in Limit Datalog Programs.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stream Reasoning in Temporal Datalog.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Query Nesting, Assignment, and Aggregation in SPARQL 1.1.
ACM Trans. Database Syst., 2017

Stream Reasoning in Temporal Datalog.
CoRR, 2017

The Bag Semantics of Ontology-Based Data Access.
CoRR, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.
CoRR, 2017

Semantic Faceted Search with Aggregation and Recursion.
Proceedings of the Semantic Web - ISWC 2017, 2017

Entity Comparison in RDF Graphs.
Proceedings of the Semantic Web - ISWC 2017, 2017

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet.
Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 23rd - to, 2017

LogMap family participation in the OAEI 2017.
Proceedings of the 12th International Workshop on Ontology Matching co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

The Bag Semantics of Ontology-Based Data Access.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals.
Proceedings of the 30th International Workshop on Description Logics, 2017

SemFacet: Making Hard Faceted Search Easier.
Proceedings of the 2017 ACM on Conference on Information and Knowledge Management, 2017

Source Information Disclosure in Ontology-Based Data Integration.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Faceted search over RDF-based knowledge graphs.
J. Web Semant., 2016

Module Extraction in Expressive Ontology Languages via Datalog Reasoning.
J. Artif. Intell. Res., 2016

Extending Consequence-Based Reasoning to SRIQ.
CoRR, 2016

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.
Artif. Intell., 2016

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.
Proceedings of the 25th International Conference on World Wide Web, 2016

Reformulating Ontological Queries Using Materialised Rewritings.
Proceedings of the 6th International Conference on Web Intelligence, Mining and Semantics, 2016

Capturing Industrial Information Models with Ontologies and Constraints.
Proceedings of the Semantic Web - ISWC 2016, 2016

SOMM: Industry Oriented Ontology Management Tool.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

LogMap family participation in the OAEI 2016.
Proceedings of the 11th International Workshop on Ontology Matching co-located with the 15th International Semantic Web Conference (ISWC 2016), 2016

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs.
Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), 2016

Extending Consequence-Based Reasoning to SRIQ.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Ontology Module Extraction via Datalog Reasoning.
Proceedings of the 29th International Workshop on Description Logics, 2016

Logical Foundations of Privacy-Preserving Publishing of Linked Data.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.
J. Artif. Intell. Res., 2015

Computing Horn Rewritings of Description Logics Ontologies.
CoRR, 2015

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
CoRR, 2015

LogMap family results for OAEI 2015.
Proceedings of the 10th International Workshop on Ontology Matching collocated with the 14th International Semantic Web Conference (ISWC 2015), 2015

Ontology-based Query Answering with PAGOdA.
Proceedings of the Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), 2015

Computing Horn Rewritings of Description Logics Ontologies.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

The Combined Approach to Query Answering Beyond the OWL 2 Profiles.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

PAGOdA: Pay-as-you-go ABox Reasoning.
Proceedings of the 28th International Workshop on Description Logics, 2015

Semantics of SPARQL under OWL 2 Entailment Regimes.
Proceedings of the 28th International Workshop on Description Logics, 2015

Polynomial Horn Rewritings for Description Logics Ontologies.
Proceedings of the 28th International Workshop on Description Logics, 2015

Extending the Combined Approach Beyond Lightweight Description Logics.
Proceedings of the 28th International Workshop on Description Logics, 2015

Extending Consequence-Based Reasoning to SHIQ.
Proceedings of the 28th International Workshop on Description Logics, 2015

2014
Ontology Module Extraction via Datalog Reasoning.
CoRR, 2014

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
CoRR, 2014

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
CoRR, 2014

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.
CoRR, 2014

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
CoRR, 2014

SemFacet: semantic faceted search over yago.
Proceedings of the 23rd International World Wide Web Conference, 2014

Towards semantic faceted search.
Proceedings of the 23rd International World Wide Web Conference, 2014

Querying Life Science Ontologies with SemFacet.
Proceedings of the 7th International Workshop on Semantic Web Applications and Tools for Life Sciences, 2014

On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes.
Proceedings of the Semantic Web - ISWC 2014, 2014

LogMap family results for OAEI 2014.
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Results of the Ontology Alignment Evaluation Initiative 2014.
Proceedings of the 9th International Workshop on Ontology Matching collocated with the 13th International Semantic Web Conference (ISWC 2014), 2014

Pushing the Boundaries of Tractable Ontology Reasoning.
Proceedings of the Semantic Web - ISWC 2014, 2014

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.
Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Enabling Faceted Search over OWL 2 with SemFacet.
Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), 2014

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Datalog Rewriting Techniques for Non-Horn Ontologies.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

On Faceted Search over Knowledge Bases.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Controlled Query Evaluation over Lightweight Ontologies.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Faceted Search over Ontology-Enhanced RDF Data.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

EL-ifying Ontologies.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Pay-As-You-Go OWL Query Answering Using a Triple Store.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies.
J. Artif. Intell. Res., 2013

Computing Datalog Rewritings beyond Horn Ontologies
CoRR, 2013

Making the most of your triple store: query answering in OWL 2 using an RL reasoner.
Proceedings of the 22nd International World Wide Web Conference, 2013

Complete Query Answering over Horn Ontologies Using a Triple Store.
Proceedings of the Semantic Web - ISWC 2013, 2013

Is my ontology matching system similar to yours?
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

LogMap and LogMapLt results for OAEI 2013.
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

Controlled Query Evaluation over OWL 2 RL Ontologies.
Proceedings of the Semantic Web - ISWC 2013, 2013

Results of the Ontology Alignment Evaluation Initiative 2013.
Proceedings of the 8th International Workshop on Ontology Matching co-located with the 12th International Semantic Web Conference (ISWC 2013), 2013

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems.
Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

MORe: a Modular OWL Reasoner for Ontology Classification.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

Computing Datalog Rewritings Beyond Horn Ontologies.
Proceedings of the IJCAI 2013, 2013

Sufficient Conditions for First-Order and Datalog Rewritability in ELU.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Evaluating Mapping Repair Systems with Large Biomedical Ontologies.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice.
J. Artif. Intell. Res., 2012

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach.
J. Artif. Intell. Res., 2012

Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases
CoRR, 2012

Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative.
Proceedings of the 2nd International Workshop on Exploiting Large Knowledge Repositories, 2012

MORe: Modular Combination of OWL Reasoners for Ontology Classification.
Proceedings of the Semantic Web - ISWC 2012, 2012

LogMap and LogMapLt results for OAEI 2012.
Proceedings of the 7th International Workshop on Ontology Matching, 2012


How to Contract Ontologies.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.
Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), 2012

Ontology Evolution Under Semantic Constraints.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Acyclicity Conditions and their Application to Query Answering in Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Large-scale Interactive Ontology Matching: Algorithms and Implementation.
Proceedings of the ECAI 2012, 2012

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Modular Combination of Reasoners for Ontology Classification.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Ontology Contraction: Beyond the Propositional Paradise.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

Benchmarking Ontology-Based Query Rewriting Systems.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Supporting concurrent ontology development: Framework, algorithms and tool.
Data Knowl. Eng., 2011

Logic-based assessment of the compatibility of UMLS ontology sources.
J. Biomedical Semantics, 2011

LogMap 2.0: towards logic-based, scalable and interactive ontology matching.
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, 2011

Repairing Ontologies for Incomplete Reasoners.
Proceedings of the Semantic Web - ISWC 2011, 2011

LogMap results for OAEI 2011.
Proceedings of the 6th International Workshop on Ontology Matching, 2011

Towards more challenging problems for ontology matching tools.
Proceedings of the 6th International Workshop on Ontology Matching, 2011

LogMap: Logic-Based and Scalable Ontology Matching.
Proceedings of the Semantic Web - ISWC 2011, 2011

What to Ask to an Incomplete Semantic Web Reasoner?.
Proceedings of the IJCAI 2011, 2011

Repairing Incomplete Reasoners.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
Privacy in ontology-based information systems: A pending matter.
Semantic Web, 2010

Incremental Classification of Description Logics Ontologies.
J. Autom. Reasoning, 2010

First steps in the logic-based assessment of post-composed phenotypic descriptions
CoRR, 2010

First Steps in the Logic-based Assessment of Post-composed Phenotypic Descriptions.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2010

Completeness Guarantees for Incomplete Reasoners.
Proceedings of the Semantic Web - ISWC 2010 - 9th International Semantic Web Conference, 2010

Towards a UMLS-based silver standard for matching biomedical ontologies.
Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), 2010

Pushing the Limits of Reasoning over Ontologies with Hidden Content.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

How Incomplete Is Your Semantic Web Reasoner?
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Ontology Integration Using epsilon-Connections.
Proceedings of the Modular Ontologies: Concepts, 2009

Representing ontologies using description logics, description graphs, and rules.
Artif. Intell., 2009

Towards a Logic-based Assessment of the compatibility of UMLS sources.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool.
Proceedings of the Workshop on Semantic Web Applications and Tools for Life Sciences, 2009

Logic-based Ontology Integration using ContentMap.
Proceedings of the XIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2009), 2009

Import-by-Query: Ontology Reasoning under Access Limitations.
Proceedings of the IJCAI 2009, 2009

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences.
Proceedings of the Semantic Web: Research and Applications, 2009

Building Ontologies Collaboratively Using ContentCVS.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Importing Ontologies with Hidden Content.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
OWL 2: The next step for OWL.
J. Web Semant., 2008

Modular Reuse of Ontologies: Theory and Practice.
J. Artif. Intell. Res., 2008

Structured objects in owl: representation and reasoning.
Proceedings of the 17th International Conference on World Wide Web, 2008

Modeling Ontologies using OWL, Description Graphs, and Rules.
Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Representing Structured Objects using Description Graphs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Privacy-Preserving Query Answering in Logic-based Information Systems.
Proceedings of the ECAI 2008, 2008

The Representation of Structured Objects in DLs using Description Graphs.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Metalevel Information in Ontology-Based Applications.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Pellet: A practical OWL-DL reasoner.
J. Web Semant., 2007

Just the right amount: extracting modules from ontologies.
Proceedings of the 16th International Conference on World Wide Web, 2007

History Matters: Incremental Ontology Reasoning Using Modules.
Proceedings of the Semantic Web, 2007

Extracting Modules from Ontologies: A Logic-based Approach.
Proceedings of the OWLED 2007 Workshop on OWL: Experiences and Directions, 2007

A Logical Framework for Modularity of Ontologies.
Proceedings of the IJCAI 2007, 2007

Ontology Reuse: Better Safe than Sorry.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Swoop: A Web Ontology Editing Browser.
J. Web Semant., 2006

Combining OWL ontologies using epsilon-Connections.
J. Web Semant., 2006

Next Steps for OWL.
Proceedings of the OWLED*06 Workshop on OWL: Experiences and Directions, 2006

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.
Proceedings of the Proceedings, 2006

Modularity and Web Ontologies.
Proceedings of the Proceedings, 2006

Integrating Datalog with OWL: Exploring the AL-log Approach.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Repairing Unsatisfiable Concepts in OWL Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2006

Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Will my Ontologies Fit Together?
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005
Semantic Web Research Trends and Directions.
Proceedings of the Pattern Recognition and Machine Intelligence, 2005

Representing Qualitative Spatial Information in OWL-DL.
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, 2005

Automatic Partitioning of OWL Ontologies Using E-Connections.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Generalized Link Properties for Expressive epsilon-Connections of Description Logics.
Proceedings of the Proceedings, 2005

2004
How to teach basic quantum mechanics to computer scientists and electrical engineers.
IEEE Trans. Education, 2004

A possible simplification of the semantic web architecture.
Proceedings of the 13th international conference on World Wide Web, 2004

Working with Multiple Ontologies on the Semantic Web.
Proceedings of the Semantic Web, 2004

From SHOQ(D) Toward E-connections.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004


  Loading...