From SHOQ(D) Toward E-connections. - Bernardo Cuenca Grau; Bijan Parsia (Description Logics, 2004)

Working with Multiple Ontologies on the Semantic Web. - Bernardo Cuenca Grau; Bijan Parsia; Evren Sirin (ISWC, 2004)

A possible simplification of the semantic web architecture. - Bernardo Cuenca Grau (WWW, 2004)

How to teach basic quantum mechanics to computer scientists and electrical engineers. - Bernardo Cuenca Grau (IEEE Trans. Educ., 2004)

Generalized Link Properties for Expressive epsilon-Connections of Description Logics. - Bijan Parsia; Bernardo Cuenca Grau (AAAI, 2005)

Automatic Partitioning of OWL Ontologies Using E-Connections. - Bernardo Cuenca Grau; Bijan Parsia; Evren Sirin; Aditya Kalyanpur (Description Logics, 2005)

Representing Qualitative Spatial Information in OWL-DL. - Yarden Katz; Bernardo Cuenca Grau (OWLED, 2005)

Semantic Web Research Trends and Directions. - Jennifer Golbeck; Bernardo Cuenca Grau; Christian Halaschek-Wiener; Aditya Kalyanpur; Bijan Parsia; Andrew Schain; Evren Sirin; James A. Hendler (PReMI, 2005)

Will my Ontologies Fit Together? - Bernardo Cuenca Grau; Ian Horrocks 001; Oliver Kutz; Ulrike Sattler (Description Logics, 2006)

Beyond Asserted Axioms: Fine-Grain Justifications for OWL-DL Entailments. - Aditya Kalyanpur; Bijan Parsia; Bernardo Cuenca Grau (Description Logics, 2006)

Repairing Unsatisfiable Concepts in OWL Ontologies. - Aditya Kalyanpur; Bijan Parsia; Evren Sirin; Bernardo Cuenca Grau (ESWC, 2006)

Integrating Datalog with OWL: Exploring the AL-log Approach. - Edna Ruckhaus; Vladimir Kolovski; Bijan Parsia; Bernardo Cuenca Grau (ICLP, 2006)

Modularity and Web Ontologies. - Bernardo Cuenca Grau; Bijan Parsia; Evren Sirin; Aditya Kalyanpur (KR, 2006)

From Wine to Water: Optimizing Description Logic Reasoning for Nominals. - Evren Sirin; Bernardo Cuenca Grau; Bijan Parsia (KR, 2006)

Next Steps for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (OWLED, 2006)

Combining OWL ontologies using epsilon-Connections. - Bernardo Cuenca Grau; Bijan Parsia; Evren Sirin (J. Web Semant., 2006)

Swoop: A Web Ontology Editing Browser. - Aditya Kalyanpur; Bijan Parsia; Evren Sirin; Bernardo Cuenca Grau; James A. Hendler (J. Web Semant., 2006)

Ontology Reuse: Better Safe than Sorry. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Description Logics, 2007)

A Logical Framework for Modularity of Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (IJCAI, 2007)

Extracting Modules from Ontologies: A Logic-based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (OWLED, 2007)

History Matters: Incremental Ontology Reasoning Using Modules. - Bernardo Cuenca Grau; Christian Halaschek-Wiener; Yevgeny Kazakov (ISWC/ASWC, 2007)

Just the right amount: extracting modules from ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (WWW, 2007)

Pellet: A practical OWL-DL reasoner. - Evren Sirin; Bijan Parsia; Bernardo Cuenca Grau; Aditya Kalyanpur; Yarden Katz (J. Web Semant., 2007)

Metalevel Information in Ontology-Based Applications. - Thanh Tran 001; Peter Haase 001; Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2008)

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ulrike Sattler; Thomas Schneider 002; Rafael Berlanga Llavori (Description Logics, 2008)

The Representation of Structured Objects in DLs using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ulrike Sattler (Description Logics, 2008)

Privacy-Preserving Query Answering in Logic-based Information Systems. - Bernardo Cuenca Grau; Ian Horrocks 001 (ECAI, 2008)

Representing Structured Objects using Description Graphs. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (KR, 2008)

Modeling Ontologies using OWL, Description Graphs, and Rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (OWLED, 2008)

Structured objects in owl: representation and reasoning. - Boris Motik; Bernardo Cuenca Grau; Ulrike Sattler (WWW, 2008)

Modular Reuse of Ontologies: Theory and Practice. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (J. Artif. Intell. Res., 2008)

OWL 2: The next step for OWL. - Bernardo Cuenca Grau; Ian Horrocks 001; Boris Motik; Bijan Parsia; Peter F. Patel-Schneider; Ulrike Sattler (J. Web Semant., 2008)

Importing Ontologies with Hidden Content. - Bernardo Cuenca Grau; Boris Motik (Description Logics, 2009)

Building Ontologies Collaboratively Using ContentCVS. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (Description Logics, 2009)

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (ESWC, 2009)

Import-by-Query: Ontology Reasoning under Access Limitations. - Bernardo Cuenca Grau; Boris Motik; Yevgeny Kazakov (IJCAI, 2009)

Logic-based Ontology Integration using ContentMap. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (JISBD, 2009)

ContentCVS: A CVS-based Collaborative ONTology ENgineering Tool. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (SWAT4LS, 2009)

Towards a Logic-based Assessment of the compatibility of UMLS sources. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Rafael Berlanga Llavori; Ian Horrocks 001 (SWAT4LS, 2009)

Representing ontologies using description logics, description graphs, and rules. - Boris Motik; Bernardo Cuenca Grau; Ian Horrocks 001; Ulrike Sattler (Artif. Intell., 2009)

Extracting Modules from Ontologies: A Logic-Based Approach. - Bernardo Cuenca Grau; Ian Horrocks 001; Yevgeny Kazakov; Ulrike Sattler (Modular Ontologies, 2009)

Ontology Integration Using epsilon-Connections. - Bernardo Cuenca Grau; Bijan Parsia; Evren Sirin (Modular Ontologies, 2009)

How Incomplete Is Your Semantic Web Reasoner? - Giorgos Stoilos; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2010)

Pushing the Limits of Reasoning over Ontologies with Hidden Content. - Bernardo Cuenca Grau; Boris Motik (KR, 2010)

Towards a UMLS-based silver standard for matching biomedical ontologies. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (OM, 2010)

Completeness Guarantees for Incomplete Reasoners. - Giorgos Stoilos; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2010)

First Steps in the Logic-based Assessment of Post-composed Phenotypic Descriptions. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Rafael Berlanga Llavori; Dietrich Rebholz-Schuhmann (SWAT4LS, 2010)

Incremental Classification of Description Logics Ontologies. - Bernardo Cuenca Grau; Christian Halaschek-Wiener; Yevgeny Kazakov; Boontawee Suntisrivaraporn (J. Autom. Reason., 2010)

Privacy in ontology-based information systems: A pending matter. - Bernardo Cuenca Grau (Semantic Web, 2010)

Repairing Incomplete Reasoners. - Giorgos Stoilos; Bernardo Cuenca Grau (Description Logics, 2011)

What to Ask to an Incomplete Semantic Web Reasoner?. - Bernardo Cuenca Grau; Giorgos Stoilos (IJCAI, 2011)

LogMap: Logic-Based and Scalable Ontology Matching. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau (ISWC (1), 2011)

Towards more challenging problems for ontology matching tools. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau (OM, 2011)

LogMap results for OAEI 2011. - Ernesto Jiménez-Ruiz; Antón Morant; Bernardo Cuenca Grau (OM, 2011)

Repairing Ontologies for Incomplete Reasoners. - Giorgos Stoilos; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (ISWC (1), 2011)

LogMap 2.0: towards logic-based, scalable and interactive ontology matching. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Yujiao Zhou (SWAT4LS, 2011)

Logic-based assessment of the compatibility of UMLS ontology sources. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (J. Biomed. Semant., 2011)

Supporting concurrent ontology development: Framework, algorithms and tool. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001; Rafael Berlanga Llavori (Data Knowl. Eng., 2011)

Benchmarking Ontology-Based Query Rewriting Systems. - Martha Imprialou; Giorgos Stoilos; Bernardo Cuenca Grau (AAAI, 2012)

Ontology Contraction: Beyond the Propositional Paradise. - Bernardo Cuenca Grau; Evgeny Kharlamov; Dmitriy Zheleznyakov (AMW, 2012)

Modular Combination of Reasoners for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2012)

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics. - Yujiao Zhou; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2012)

Large-scale Interactive Ontology Matching: Algorithms and Implementation. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Yujiao Zhou; Ian Horrocks 001 (ECAI, 2012)

Acyclicity Conditions and their Application to Query Answering in Description Logics. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (KR, 2012)

Ontology Evolution Under Semantic Constraints. - Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Dmitriy Zheleznyakov (KR, 2012)

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (ORE, 2012)

How to Contract Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Dmitriy Zheleznyakov (OWLED, 2012)

Results of the Ontology Alignment Evaluation Initiative 2012. - José-Luis Aguirre; Kai Eckert 001; Jérôme Euzenat; Alfio Ferrara; Willem Robert van Hage; Laura Hollink; Christian Meilicke; Andriy Nikolov; Dominique Ritze; François Scharffe; Pavel Shvaiko; Ondrej Sváb-Zamazal; et al. (OM, 2012)

LogMap and LogMapLt results for OAEI 2012. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (OM, 2012)

MORe: Modular Combination of OWL Reasoners for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2012)

Exploiting the UMLS metathesaurus in the ontology alignment evaluation initiative. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (E-LKR, 2012)

Evaluating Ontology Matching Systems on Large, Multilingual and Real-world Test Cases - Christian Meilicke; Ondrej Sváb-Zamazal; Cássia Trojahn dos Santos; Ernesto Jiménez-Ruiz; José-Luis Aguirre; Heiner Stuckenschmidt; Bernardo Cuenca Grau (CoRR, 2012)

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach. - Bernardo Cuenca Grau; Boris Motik (J. Artif. Intell. Res., 2012)

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice. - Bernardo Cuenca Grau; Boris Motik; Giorgos Stoilos; Ian Horrocks 001 (J. Artif. Intell. Res., 2012)

Evaluating Mapping Repair Systems with Large Biomedical Ontologies. - Ernesto Jiménez-Ruiz; Christian Meilicke; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2013)

Sufficient Conditions for First-Order and Datalog Rewritability in ELU. - Mark Kaminski; Bernardo Cuenca Grau (Description Logics, 2013)

Computing Datalog Rewritings Beyond Horn Ontologies. - Bernardo Cuenca Grau; Boris Motik; Giorgos Stoilos; Ian Horrocks 001 (IJCAI, 2013)

MORe: a Modular OWL Reasoner for Ontology Classification. - Ana Armas Romero; Bernardo Cuenca Grau; Ian Horrocks 001; Ernesto Jiménez-Ruiz (ORE, 2013)

Towards Query Formulation, Query-Driven Ontology Extensions in OBDA Systems. - Bernardo Cuenca Grau; Martin Giese; Ian Horrocks 001; Thomas Hubauer; Ernesto Jiménez-Ruiz; Evgeny Kharlamov; Michael Schmidt 002; Ahmet Soylu; Dmitriy Zheleznyakov (OWLED, 2013)

Results of the Ontology Alignment Evaluation Initiative 2013. - Bernardo Cuenca Grau; Zlatan Dragisic; Kai Eckert 001; Jérôme Euzenat; Alfio Ferrara; Roger Granada; Valentina Ivanova; Ernesto Jiménez-Ruiz; Andreas Oskar Kempf; Patrick Lambrix; Andriy Nikolov; Heiko Paulheim; et al. (OM, 2013)

Controlled Query Evaluation over OWL 2 RL Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev; Dmitriy Zheleznyakov (ISWC (1), 2013)

LogMap and LogMapLt results for OAEI 2013. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (OM, 2013)

Is my ontology matching system similar to yours? - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Ian Horrocks 001 (OM, 2013)

Complete Query Answering over Horn Ontologies Using a Triple Store. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2013)

Making the most of your triple store: query answering in OWL 2 using an RL reasoner. - Yujiao Zhou; Bernardo Cuenca Grau; Ian Horrocks 001; Zhe Wu; Jay Banerjee (WWW, 2013)

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. - Bernardo Cuenca Grau; Ian Horrocks 001; Markus Krötzsch; Clemens Kupke; Despoina Magka; Boris Motik; Zhe Wang 001 (J. Artif. Intell. Res., 2013)

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (AAAI, 2014)

Pay-As-You-Go OWL Query Answering Using a Triple Store. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (AAAI, 2014)

EL-ifying Ontologies. - David Carral; Cristina Feier; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (IJCAR, 2014)

Faceted Search over Ontology-Enhanced RDF Data. - Marcelo Arenas; Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov (CIKM, 2014)

Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs. - David Carral; Cristina Feier; Ana Armas Romero; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (Description Logics, 2014)

Controlled Query Evaluation over Lightweight Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev; Dmitriy Zheleznyakov (Description Logics, 2014)

On Faceted Search over Knowledge Bases. - Bernardo Cuenca Grau; Evgeny Kharlamov; Dmitriy Zheleznyakov; Marcelo Arenas; Sarunas Marciuska (Description Logics, 2014)

Datalog Rewriting Techniques for Non-Horn Ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (Description Logics, 2014)

Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2014)

Enabling Faceted Search over OWL 2 with SemFacet. - Marcelo Arenas; Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov (OWLED, 2014)

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (RR, 2014)

Pushing the Boundaries of Tractable Ontology Reasoning. - David Carral; Cristina Feier; Bernardo Cuenca Grau; Pascal Hitzler; Ian Horrocks 001 (ISWC (2), 2014)

Results of the Ontology Alignment Evaluation Initiative 2014. - Zlatan Dragisic; Kai Eckert 001; Jérôme Euzenat; Daniel Faria; Alfio Ferrara; Roger Granada; Valentina Ivanova; Ernesto Jiménez-Ruiz; Andreas Oskar Kempf; Patrick Lambrix; Stefano Montanelli; Heiko Paulheim; et al. (OM, 2014)

LogMap family results for OAEI 2014. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Weiguo Xia; Alessandro Solimando; Xi Chen 003; Valerie V. Cross; Yuan Gong; Shuo Zhang; Anu Chennai-Thiagarajan (OM, 2014)

On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes. - Egor V. Kostylev; Bernardo Cuenca Grau (ISWC (2), 2014)

Querying Life Science Ontologies with SemFacet. - Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov; Yujiao Zhou (SWAT4LS, 2014)

Towards semantic faceted search. - Marcelo Arenas; Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov (WWW (Companion Volume), 2014)

SemFacet: semantic faceted search over yago. - Marcelo Arenas; Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov; Ernesto Jiménez-Ruiz (WWW (Companion Volume), 2014)

Extending Consequence-Based Reasoning to SHIQ. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; Frantisek Simancik; Ian Horrocks 001 (Description Logics, 2015)

Extending the Combined Approach Beyond Lightweight Description Logics. - Cristina Feier; David Carral; Giorgio Stefanoni; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2015)

Polynomial Horn Rewritings for Description Logics Ontologies. - Mark Kaminski; Bernardo Cuenca Grau (Description Logics, 2015)

Semantics of SPARQL under OWL 2 Entailment Regimes. - Egor V. Kostylev; Bernardo Cuenca Grau (Description Logics, 2015)

PAGOdA: Pay-as-you-go ABox Reasoning. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Ian Horrocks 001 (Description Logics, 2015)

The Combined Approach to Query Answering Beyond the OWL 2 Profiles. - Cristina Feier; David Carral; Giorgio Stefanoni; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2015)

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies. - Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev; Dmitriy Zheleznyakov (IJCAI, 2015)

Computing Horn Rewritings of Description Logics Ontologies. - Mark Kaminski; Bernardo Cuenca Grau (IJCAI, 2015)

Ontology-based Query Answering with PAGOdA. - Yujiao Zhou; Yavor Nenov; Bernardo Cuenca Grau; Ian Horrocks 001 (ORE, 2015)

LogMap family results for OAEI 2015. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Alessandro Solimando; Valerie V. Cross (OM, 2015)

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner. - Yujiao Zhou; Bernardo Cuenca Grau; Yavor Nenov; Mark Kaminski; Ian Horrocks 001 (J. Artif. Intell. Res., 2015)

Logical Foundations of Privacy-Preserving Publishing of Linked Data. - Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2016)

Ontology Module Extraction via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2016)

Extending Consequence-Based Reasoning to SRIQ. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; Frantisek Simancik; Ian Horrocks 001 (KR, 2016)

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs. - Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov; Marcelo Arenas (ISWC (Posters & Demos), 2016)

LogMap family participation in the OAEI 2016. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Valerie V. Cross (OM@ISWC, 2016)

SOMM: Industry Oriented Ontology Management Tool. - Evgeny Kharlamov; Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Steffen Lamparter; Gulnar Mehdi; Martin Ringsquandl; Yavor Nenov; Stephan Grimm; Mikhail Roshchin; Ian Horrocks 001 (ISWC (Posters & Demos), 2016)

Capturing Industrial Information Models with Ontologies and Constraints. - Evgeny Kharlamov; Bernardo Cuenca Grau; Ernesto Jiménez-Ruiz; Steffen Lamparter; Gulnar Mehdi; Martin Ringsquandl; Yavor Nenov; Stephan Grimm; Mikhail Roshchin; Ian Horrocks 001 (ISWC (2), 2016)

Reformulating Ontological Queries Using Materialised Rewritings. - Alexandros Chortaras; Bernardo Cuenca Grau; Giorgos B. Stamou; Giorgos Stoilos (WIMS, 2016)

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau (WWW, 2016)

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. - Mark Kaminski; Yavor Nenov; Bernardo Cuenca Grau (Artif. Intell., 2016)

Module Extraction in Expressive Ontology Languages via Datalog Reasoning. - Ana Armas Romero; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (J. Artif. Intell. Res., 2016)

Faceted search over RDF-based knowledge graphs. - Marcelo Arenas; Bernardo Cuenca Grau; Evgeny Kharlamov; Sarunas Marciuska; Dmitriy Zheleznyakov (J. Web Semant., 2016)

Source Information Disclosure in Ontology-Based Data Integration. - Michael Benedikt; Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2017)

SemFacet: Making Hard Faceted Search Easier. - Evgeny Kharlamov; Luca Giacomelli; Evgeny Sherkhonov; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (CIKM, 2017)

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, and Nominals. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2017)

Foundations of Declarative Data Analysis Using Limit Datalog Programs. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik; Ian Horrocks 001 (IJCAI, 2017)

The Bag Semantics of Ontology-Based Data Access. - Charalampos Nikolaou; Egor V. Kostylev; George Konstantinidis 001; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2017)

LogMap family participation in the OAEI 2017. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Valerie Cross (OM@ISWC, 2017)

Ranking, Aggregation, and Reachability in Faceted Search with SemFacet. - Evgeny Kharlamov; Luca Giacomelli; Evgeny Sherkhonov; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (ISWC (Posters, Demos & Industry Tracks), 2017)

Entity Comparison in RDF Graphs. - Alina Petrova; Evgeny Sherkhonov; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2017)

Semantic Faceted Search with Aggregation and Recursion. - Evgeny Sherkhonov; Bernardo Cuenca Grau; Evgeny Kharlamov; Egor V. Kostylev (ISWC (1), 2017)

Query Nesting, Assignment, and Aggregation in SPARQL 1.1. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau (ACM Trans. Database Syst., 2017)

Stream Reasoning in Temporal Datalog. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (AAAI, 2018)

Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2018)

Stratified Negation in Limit Datalog Programs. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik; Ian Horrocks 001 (IJCAI, 2018)

The Window Validity Problem in Rule-Based Stream Reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 2018)

LogMap family participation in the OAEI 2018. - Ernesto Jiménez-Ruiz; Bernardo Cuenca Grau; Valerie Cross (OM@ISWC, 2018)

Logical foundations of information disclosure in ontology-based data integration. - Michael Benedikt; Bernardo Cuenca Grau; Egor V. Kostylev (Artif. Intell., 2018)

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions. - Andrew Bate; Boris Motik; Bernardo Cuenca Grau; David Tena Cucala; Frantisek Simancik; Ian Horrocks 001 (J. Artif. Intell. Res., 2018)

Reasoning over Streaming Data in Metric Temporal Datalog. - Przemyslaw Andrzej Walega; Mark Kaminski; Bernardo Cuenca Grau (AAAI, 2019)

15 Years of Consequence-Based Reasoning. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logic, Theory Combination, and All That, 2019)

Bagging the DL-Lite Family Further. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

Sequoia: A Consequence Based Reasoner for SROIQ. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Description Logics, 2019)

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access. - Charalampos Nikolaou; Bernardo Cuenca Grau; Egor V. Kostylev; Mark Kaminski; Ian Horrocks 001 (IJCAI, 2019)

DatalogMTL: Computational Complexity and Expressive Power. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (IJCAI, 2019)

Bag Semantics of DL-Lite with Functionality Axioms. - Gianluca Cima; Charalampos Nikolaou; Egor V. Kostylev; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Query-Based Entity Comparison in Knowledge Graphs Revisited. - Alina Petrova; Egor V. Kostylev; Bernardo Cuenca Grau; Ian Horrocks 001 (ISWC (1), 2019)

Towards Explainable Entity Matching via Comparison Queries. - Alina Petrova; Egor V. Kostylev; Bernardo Cuenca Grau; Ian Horrocks 001 (OM@ISWC, 2019)

Foundations of ontology-based data access under bag semantics. - Charalampos Nikolaou; Egor V. Kostylev; George Konstantinidis 001; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2019)

Logical Foundations of Linked Data Anonymisation. - Bernardo Cuenca Grau; Egor V. Kostylev (J. Artif. Intell. Res., 2019)

Limit Datalog: A Declarative Query Language for Data Analysis. - Bernardo Cuenca Grau; Ian Horrocks 001; Mark Kaminski; Egor V. Kostylev; Boris Motik (SIGMOD Rec., 2019)

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog. - Mark Kaminski; Bernardo Cuenca Grau; Egor V. Kostylev; Ian Horrocks 001 (AAAI, 2020)

Tractable Fragments of Datalog with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (IJCAI, 2020)

DatalogMTL over the Integer Timeline. - Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Mark Kaminski; Egor V. Kostylev (KR, 2020)

Stratified Negation in Datalog with Metric Temporal Operators. - David J. Tena Cucala; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau; Egor V. Kostylev (AAAI, 2021)

DatalogMTL with Negation Under Stable Models Semantics. - Przemyslaw Andrzej Walega; David J. Tena Cucala; Egor V. Kostylev; Bernardo Cuenca Grau (KR, 2021)

Finitely Materialisable Datalog Programs with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (KR, 2021)

INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding. - Shuwen Liu 007; Bernardo Cuenca Grau; Ian Horrocks 001; Egor V. Kostylev (NeurIPS, 2021)

Pay-as-you-go consequence-based reasoning for the description logic SROIQ. - David Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2021)

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. - Dingmin Wang; Pan Hu 001; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau (AAAI, 2022)

Reasoning Techniques in DatalogMTL. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (Datalog, 2022)

Explainable GNN-Based Models over Knowledge Graphs. - David Jaime Tena Cucala; Bernardo Cuenca Grau; Egor V. Kostylev; Boris Motik (ICLR, 2022)

Faithful Approaches to Rule Learning. - David J. Tena Cucala; Bernardo Cuenca Grau; Boris Motik (KR, 2022)

Seminaïve Materialisation in DatalogMTL. - Dingmin Wang; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau (RuleML+RR, 2022)

The delay and window size problems in rule-based stream reasoning. - Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks 001 (Artif. Intell., 2022)

Minimal Explanations for Neural Network Predictions. - Ouns El Harzli; Bernardo Cuenca Grau; Ian Horrocks 001 (CoRR, 2022)

Augmenting Message Passing by Retrieving Similar Graphs. - Dingmin Wang; Shengchao Liu; Hanchen Wang 002; Linfeng Song; Jian Tang 005; Song Le; Bernardo Cuenca Grau; Qi Liu 049 (CoRR, 2022)

The Complexity and Expressive Power of Limit Datalog. - Mark Kaminski; Egor V. Kostylev; Bernardo Cuenca Grau; Boris Motik; Ian Horrocks 001 (J. ACM, 2022)

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. - Przemyslaw Andrzej Walega; Michal Zawidzki; Dingmin Wang; Bernardo Cuenca Grau (AAAI, 2023)

Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs. - Dingmin Wang; Yeyuan Chen; Bernardo Cuenca Grau (AAAI, 2023)

An Empirical Study of Retrieval-Enhanced Graph Neural Networks. - Dingmin Wang; Shengchao Liu; Hanchen Wang 002; Bernardo Cuenca Grau; Linfeng Song; Jian Tang 005; Le Song; Qi Liu 049 (ECAI, 2023)

Cardinality-Minimal Explanations for Monotonic Neural Networks. - Ouns El Harzli; Bernardo Cuenca Grau; Ian Horrocks 001 (IJCAI, 2023)

Revisiting Inferential Benchmarks for Knowledge Graph Completion. - Shuwen Liu 007; Bernardo Cuenca Grau; Ian Horrocks 001; Egor V. Kostylev (KR, 2023)

On the Correspondence Between Monotonic Max-Sum GNNs and Datalog. - David Tena Cucala; Bernardo Cuenca Grau; Boris Motik; Egor V. Kostylev (KR, 2023)

Finite Materialisability of Datalog Programs with Metric Temporal Operators. - Przemyslaw Andrzej Walega; Michal Zawidzki; Bernardo Cuenca Grau (J. Artif. Intell. Res., 2023)

Stream reasoning with DatalogMTL. - Przemyslaw Andrzej Walega; Mark Kaminski; Dingmin Wang; Bernardo Cuenca Grau (J. Web Semant., 2023)

Double-Descent Curves in Neural Networks: A New Perspective Using Gaussian Processes. - Ouns El Harzli; Bernardo Cuenca Grau; Guillermo Valle Pérez; Ard A. Louis (AAAI, 2024)

Orbit-Equivariant Graph Neural Networks. - Matthew Morris; Bernardo Cuenca Grau; Ian Horrocks 001 (ICLR, 2024)

Faithful Rule Extraction for Differentiable Rule Learning Models. - Xiaxia Wang 001; David Jaime Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (ICLR, 2024)

Bridging Max Graph Neural Networks and Datalog with Negation. - David J. Tena Cucala; Bernardo Cuenca Grau (KR, 2024)

Relational Graph Convolutional Networks Do Not Learn Sound Rules. - Matthew Morris; David J. Tena Cucala; Bernardo Cuenca Grau; Ian Horrocks 001 (KR, 2024)

MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. - Dingmin Wang; Przemyslaw Andrzej Walega; Bernardo Cuenca Grau (KR, 2024)

The Stable Model Semantics of Datalog with Metric Temporal Operators. - Przemyslaw Andrzej Walega; David J. Tena Cucala; Bernardo Cuenca Grau; Egor V. Kostylev (Theory Pract. Log. Program., 2024)

Bayesian Treatment of the Spectrum of the Empirical Kernel in (Sub)Linear-Width Neural Networks. - Ouns El Harzli; Bernardo Cuenca Grau (ICLR, 2025)

Parallel Reasoning in Sequoia. - Alexander Furmston; David J. Tena Cucala; Jieying Chen; Bernardo Cuenca Grau (ISWC (1), 2025)

Practical Reasoning in DatalogMTL. - Dingmin Wang; Bernardo Cuenca Grau; Przemyslaw Andrzej Walega; Pan Hu 001 (Theory Pract. Log. Program., 2025)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. - Bernardo Cuenca Grau; Przemyslaw Andrzej Walega (CoRR, 2025)

Logical Expressivity and Explanations for Monotonic GNNs with Scoring Functions. - Matthew Morris; David J. Tena Cucala; Bernardo Cuenca Grau (CoRR, 2025)

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks. - Ouns El Harzli; Bernardo Cuenca Grau; Artur d'Avila Garcez; Ian Horrocks 001; Tarek R. Besold (CoRR, 2025)