Bernardo Cuenca Grau : Publications

Details about | BibTeX data for

A Logical Framework for Modularity of Ontologies.

Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler

In IJCAI 2007‚ Proceedings of the 20th International Joint Conference on Artificial Intelligence‚ Hyderabad‚ India‚ January 6−12‚ 2007. Pages 298−303. 2007.

Details about A Logical Framework for Modularity of Ontologies. | BibTeX data for A Logical Framework for Modularity of Ontologies. | Download  (pdf) of A Logical Framework for Modularity of Ontologies. | Download (pdf) of A Logical Framework for Modularity of Ontologies.

A possible simplification of the semantic web architecture

Bernardo Cuenca Grau

In Proceedings of the 13th international conference on World Wide Web‚ WWW 2004‚ New York‚ NY‚ USA‚ May 17−20‚ 2004. Pages 704−713. ACM. 2004.

Details about A possible simplification of the semantic web architecture | BibTeX data for A possible simplification of the semantic web architecture

Acyclicity Conditions and their Application to Query Answering in Description Logics

Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Kroetsch‚ Clemens Kupke‚ Despoina Magka‚ Boris Motik and Zhe Wang

In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012). 2012.

Accepted for Publication

Details about Acyclicity Conditions and their Application to Query Answering in Description Logics | BibTeX data for Acyclicity Conditions and their Application to Query Answering in Description Logics | Download  (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics

Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Kroetsch‚ Clemens Kupke‚ Despoina Magka and Zhe Wang

In Journal of Artificial Intelligence Research (JAIR). Vol. 47. 2013.

Details about Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies | BibTeX data for Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

An Empirical Study of Retrieval−enhanced Graph Neural Networks

Dingmin Wang‚ Shengchao Liu‚ Hanchen Wang‚ Bernardo Cuenca Grau‚ Linfeng Song‚ Jian Tang‚ Le Song and Qi Liu

In In Proceedings of the 26th European Conference of Artificial Intelligence (ECAI−2023). 2023.

Details about An Empirical Study of Retrieval−enhanced Graph Neural Networks | BibTeX data for An Empirical Study of Retrieval−enhanced Graph Neural Networks

Automatic Partitioning of OWL Ontologies Using E−connections

Bernardo Cuenca Grau‚ Bijan Parsia‚ Evren Sirin and Aditya Kalyanpur

In DL 2005‚ Proceedings of the 18th International Workshop on Description Logics‚ Edinburgh‚ UK‚ 2005. 2005.

Details about Automatic Partitioning of OWL Ontologies Using E−connections | BibTeX data for Automatic Partitioning of OWL Ontologies Using E−connections

Bag Semantics of DL−Lite with Functionality Axioms

Bernardo Cuenca Grau Gianluca Cima Charalampos Nikolaou Egor V. Kostylev Mark Kaminski and Ian Horrocks.

In Proceedings of the 18th International Semantic Web Conference (ISWC 2019). Auckland‚ New Zealand‚ October 2019.. 2019.

Details about Bag Semantics of DL−Lite with Functionality Axioms | BibTeX data for Bag Semantics of DL−Lite with Functionality Axioms

Benchmarking Ontology−based Query Rewriting Systems

Martha Imprialou‚ Giorgos Stoilos and Bernardo Cuenca Grau

In Proceedings of the Twenty−Sixth AAAI Conference on Artificial Intelligence (AAAI 2012). AAAI Press. July, 2012.

Details about Benchmarking Ontology−based Query Rewriting Systems | BibTeX data for Benchmarking Ontology−based Query Rewriting Systems | Download  (pdf) of Benchmarking Ontology−based Query Rewriting Systems

Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

Aditya Kalyanpur‚ Bijan Parsia‚ Evren Sirin and Bernardo Cuenca Grau

In DL 2006‚ Proceedings of the 19th International Workshop on Description Logics‚ Lake District‚ UK‚ June 2006. 2006.

Details about Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments | BibTeX data for Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments

Bridging Max Graph Neural Networks and Datalog with Negation

David Tena Cucala and Bernardo Cuenca Grau

In Proceedings of the 21st International Conference on the Principles of Knowledge Representation and Reasoning (KR−2024). 2024.

Details about Bridging Max Graph Neural Networks and Datalog with Negation | BibTeX data for Bridging Max Graph Neural Networks and Datalog with Negation

Building Ontologies Collaboratively Using ContentCVS

Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga

In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). 2009.

Details about Building Ontologies Collaboratively Using ContentCVS | BibTeX data for Building Ontologies Collaboratively Using ContentCVS | Download  (pdf) of Building Ontologies Collaboratively Using ContentCVS | Download (pdf) of Building Ontologies Collaboratively Using ContentCVS

Capturing Industrial Information Models with Ontologies and Constraints

Evgeny Kharlamov‚ Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Steffen Lamparter‚ Gulnar Mehdi‚ Martin Ringsquandl‚ Yavor Nenov‚ Stephan Grimm‚ Mikhail Roshchin and Ian Horrocks

In Proc. of International Semantic Web Conference (ISWC). Vol. 9981 of LNCS. October, 2016.

Details about Capturing Industrial Information Models with Ontologies and Constraints | BibTeX data for Capturing Industrial Information Models with Ontologies and Constraints | Download  (pdf) of Capturing Industrial Information Models with Ontologies and Constraints | Link to Capturing Industrial Information Models with Ontologies and Constraints

Cardinality−Minimal Explanations for Monotonic Neural Networks

Ouns El−Harzli‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the 32nd International Joint Conference on Artificial Intelligence (IJCAI−2023). 2023.

Details about Cardinality−Minimal Explanations for Monotonic Neural Networks | BibTeX data for Cardinality−Minimal Explanations for Monotonic Neural Networks

Combining OWL ontologies using E−connections.

Bernardo Cuenca Grau‚ Bijan Parsia and Evren Sirin

In J. Web Semantics. Vol. 4. No. 1. Pages 40−59. 2006.

Details about Combining OWL ontologies using E−connections. | BibTeX data for Combining OWL ontologies using E−connections. | Download  (pdf) of Combining OWL ontologies using E−connections.

Complete Query Answering over Horn Ontologies Using a Triple Store.

Yujiao Zhou‚ Yavor Nenov‚ Bernardo Cuenca Grau and Ian Horrocks

In Proc. of the 12th International Semantic Web Conference (ISWC). Springer LNCS. 2013.

Details about Complete Query Answering over Horn Ontologies Using a Triple Store. | BibTeX data for Complete Query Answering over Horn Ontologies Using a Triple Store.

Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice

Bernardo Cuenca Grau‚ Boris Motik‚ Giorgos Stoilos and Ian Horrocks

In Journal of Artificial Intelligence Research (JAIR). Vol. 43. Pages 419−476. 2012.

Details about Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice | BibTeX data for Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice | Download  (pdf) of Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice

Completeness Guarantees for Incomplete Reasoners

Giorgos Stoilos‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the Ninth International Semantic Web Conference (ISWC 2010). Springer. 2010.

Details about Completeness Guarantees for Incomplete Reasoners | BibTeX data for Completeness Guarantees for Incomplete Reasoners | Download  (pdf) of Completeness Guarantees for Incomplete Reasoners

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

Mark Kaminski‚ Egor V. Kostylev‚ Bernardo Cuenca Grau and Ian Horrocks.

In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.

Details about Complexity and Expressive Power of Disjunction and Negation in Limit Datalog | BibTeX data for Complexity and Expressive Power of Disjunction and Negation in Limit Datalog

Computing Datalog Rewritings Beyond Horn Ontologies

Bernardo Cuenca Grau‚ Boris Motik‚ Giorgos Stoilos and Ian Horrocks

In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press. 2013.

Details about Computing Datalog Rewritings Beyond Horn Ontologies | BibTeX data for Computing Datalog Rewritings Beyond Horn Ontologies | Download (pdf) of Computing Datalog Rewritings Beyond Horn Ontologies

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies

Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau

In Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR). 2014.

Details about Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies | BibTeX data for Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies | Download  (pdf) of Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies

Computing Horn Rewritings of Description Logics Ontologies

Mark Kaminski and Bernardo Cuenca Grau

In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015.

Details about Computing Horn Rewritings of Description Logics Ontologies | BibTeX data for Computing Horn Rewritings of Description Logics Ontologies | Link to Computing Horn Rewritings of Description Logics Ontologies

Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ David Tena Cucala‚ Frantisek Simancik and Ian Horrocks

In J. Artif. Intell. Res.. Vol. 63. Pages 625–690. 2018.

Details about Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | BibTeX data for Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions | DOI (10.1613/jair.1.11257) | Link to Consequence−Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

In Jérôme Lang, editor, Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden. Pages 1970–1976. ijcai.org. 2018.

Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals | DOI (10.24963/ijcai.2018/272) | Link to Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ Number Restrictions‚ and Nominals

Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals

David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

In Alessandro Artale‚ Birte Glimm and Roman Kontchakov, editors, Proceedings of the 30th International Workshop on Description Logics‚ Montpellier‚ France‚ July 18−21‚ 2017. Vol. 1879 of CEUR Workshop Proceedings. CEUR−WS.org. 2017.

Details about Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals | BibTeX data for Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals | Download (pdf) of Consequence−based Reasoning for Description Logics with Disjunction‚ Inverse Roles‚ and Nominals

ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper)

Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Ian Horrocks and Rafael Berlanga

In Proceedings of the International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2009). 2009.

Details about ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper) | BibTeX data for ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper) | Download  (pdf) of ContentCVS: A CVS−based Collaborative ONTology ENgineering Tool (Demo Paper)

Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies

Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Egor Kostylev and Dmitriy Zheleznyakov

In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015.

Details about Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies | BibTeX data for Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies | Link to Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies

Controlled Query Evaluation over Lightweight Ontologies

Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Egor Kostylev and Dmitriy Zheleznyakov

In Proc. of the International Workshop on Description Logics (DL). Pages 141−152. 2014.

Details about Controlled Query Evaluation over Lightweight Ontologies | BibTeX data for Controlled Query Evaluation over Lightweight Ontologies | Download  (pdf) of Controlled Query Evaluation over Lightweight Ontologies

Controlled Query Evaluation over OWL 2 RL Ontologies

Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Egor V. Kostylev and Dmitriy Zheleznyakov

In Proc. International Semantic Web Conference (ISWC). Pages 49−65. 2013.

Acceptance rate: 21.5%

Details about Controlled Query Evaluation over OWL 2 RL Ontologies | BibTeX data for Controlled Query Evaluation over OWL 2 RL Ontologies | Download  (pdf) of Controlled Query Evaluation over OWL 2 RL Ontologies

Datalog Rewritability of Disjunctive Datalog Programs and Non−Horn Ontologies

Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau

In Artificial Intelligence (AIJ). 2016.

Details about Datalog Rewritability of Disjunctive Datalog Programs and Non−Horn Ontologies | BibTeX data for Datalog Rewritability of Disjunctive Datalog Programs and Non−Horn Ontologies | Download  (pdf) of Datalog Rewritability of Disjunctive Datalog Programs and Non−Horn Ontologies

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau

In Proceedings of the Twenty−Eigth AAAI Conference on Artificial Intelligence (AAAI−2014). 2014.

Details about Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning | BibTeX data for Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning | Download (pdf) of Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning

Datalog Rewriting Techniques for Non−Horn Ontologies

Mark Kaminski‚ Yavor Nenov and Bernardo Cuenca Grau

In Proceedings of the 27th International Workshop on Description Logics (DL). 2014.

Details about Datalog Rewriting Techniques for Non−Horn Ontologies | BibTeX data for Datalog Rewriting Techniques for Non−Horn Ontologies | Download  (pdf) of Datalog Rewriting Techniques for Non−Horn Ontologies

DatalogMTL over Integer Timeline

Przemyslaw Walega‚ Bernardo Cuenca Grau‚ Mark Kaminski and Egor V. Kostylev.

In Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2020). 2020.

Details about DatalogMTL over Integer Timeline | BibTeX data for DatalogMTL over Integer Timeline

DatalogMTL with Negation under Stable Model Semantics

Przemyslaw Walega‚ David Tena Cucala‚ Egor V. Kostylev and Bernardo Cuenca Grau

In Proceedings of KR 2021. 2021.

Details about DatalogMTL with Negation under Stable Model Semantics | BibTeX data for DatalogMTL with Negation under Stable Model Semantics

DatalogMTL: Computational Complexity and Expressive Power

Przemyslaw Walega‚ Bernardo Cuenca Grau‚ Mark Kaminski and Egor V. Kostylev.

In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). 2019.

Details about DatalogMTL: Computational Complexity and Expressive Power | BibTeX data for DatalogMTL: Computational Complexity and Expressive Power

Double−descent Curves in Neural Networks: a New Perspective Using Gaussian Processes

Ouns El Harzli‚ Bernardo Cuenca Grau‚ Guillermo Valle Perez and Ard A. Louis

In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI−2024). 2024.

Details about Double−descent Curves in Neural Networks: a New Perspective Using Gaussian Processes | BibTeX data for Double−descent Curves in Neural Networks: a New Perspective Using Gaussian Processes

EL−ifying Ontologies

David Carral‚ Cristina Feier‚ Bernardo Cuenca Grau‚ Pascal Hitzler and Ian Horrocks

In Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR−2014). 2014.

Details about EL−ifying Ontologies | BibTeX data for EL−ifying Ontologies

Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs

Dingmin Wang‚ Yeyuan Chen and Bernardo Cuenca Grau

In Proceedings of AAAI−2023. 2023.

Details about Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs | BibTeX data for Efficient Embeddings of Logical Variables for Query Answering over Incomplete Knowledge Graphs

Efficient Upper Bound Computation of Query Answers in Expressive Description Logics

Yujiao Zhou‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the 25th International Workshop on Description Logics (DL 2012). CEUR. 2012.

Details about Efficient Upper Bound Computation of Query Answers in Expressive Description Logics | BibTeX data for Efficient Upper Bound Computation of Query Answers in Expressive Description Logics | Download  (pdf) of Efficient Upper Bound Computation of Query Answers in Expressive Description Logics

Entity Comparison in RDF Graphs

Alina Petrova‚ Evgeny Sherkhonov‚ Bernardo Cuenca Grau and Ian Horrocks

In The Semantic Web − ISWC 2017 − 16th International Semantic Web Conference‚ Vienna‚ Austria‚ October 21−25‚ 2017‚ Proceedings‚ Part I. Pages 526–541. 2017.

Details about Entity Comparison in RDF Graphs | BibTeX data for Entity Comparison in RDF Graphs | DOI (10.1007/978-3-319-68288-4_31) | Link to Entity Comparison in RDF Graphs

Evaluating Mapping Repair Systems with Large Biomedical Ontologies

Ernesto Jiménez−Ruiz‚ Christian Meilicke‚ Bernardo Cuenca Grau and Ian Horrocks

In 26th International Workshop on Description Logics. July, 2013.

Details about Evaluating Mapping Repair Systems with Large Biomedical Ontologies | BibTeX data for Evaluating Mapping Repair Systems with Large Biomedical Ontologies | Download  (pdf) of Evaluating Mapping Repair Systems with Large Biomedical Ontologies

Evaluating Ontology Matching Systems on Large‚ Multilingual and Real−world Test Cases

C. Meilicke O. Svab−Zamazal C. Trojahn E. Jimenez−Ruiz J.L. Aguirre H. Stuckenschmidt and B. Cuenca Grau

In ArXiv e−prints‚ 1208.3148. August, 2012.

Details about Evaluating Ontology Matching Systems on Large‚ Multilingual and Real−world Test Cases | BibTeX data for Evaluating Ontology Matching Systems on Large‚ Multilingual and Real−world Test Cases | Download  (pdf) of Evaluating Ontology Matching Systems on Large‚ Multilingual and Real−world Test Cases | Link to Evaluating Ontology Matching Systems on Large‚ Multilingual and Real−world Test Cases

Explainable GNN−Based Models over Knowledge Graphs

David Tena Cucala‚ Bernardo Cuenca Grau‚ Egor Kostylev and Boris Motik

In Proceedings of the 10th International Conference on Learning Representations (ICLR 2022). 2022.

Details about Explainable GNN−Based Models over Knowledge Graphs | BibTeX data for Explainable GNN−Based Models over Knowledge Graphs

Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative

Ernesto Jimenez−Ruiz‚ Bernardo Cuenca Grau and Ian Horrocks

In 2nd International Workshop on Exploiting Large Knowledge Repositories (E−LKR). CEUR−WS.org. September, 2012.

Details about Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative | BibTeX data for Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative | Download  (pdf) of Exploiting the UMLS Metathesaurus in the Ontology Alignment Evaluation Initiative

Extending the Combined Approach Beyond Lightweight Description Logics

Cristina Feier‚ David Carral‚ Giorgio Stefanoni‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the 28th International Workshop on Description Logics (DL). 2015.

Details about Extending the Combined Approach Beyond Lightweight Description Logics | BibTeX data for Extending the Combined Approach Beyond Lightweight Description Logics

Extracting Modules from Ontologies: A Logic−based Approach

Bernardo Cuenca Grau‚ Ian Horrocks‚ Yevgeny Kazakov and Ulrike Sattler

In OWLEd 2007‚ Proceedings of the 3thrd International Workshop: OWL Experiences and Directions‚ Innsbruck‚ Austria June 6−8‚ 2007. 2007.

Details about Extracting Modules from Ontologies: A Logic−based Approach | BibTeX data for Extracting Modules from Ontologies: A Logic−based Approach

Faceted Search over Ontology−Enhanced RDF Data

Marcelo Arenas‚ Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Šarūnas Marciuška and Dmitriy Zheleznyakov

In Proc. ACM International Conference on Information and Knowledge Management (CIKM). Pages 939−948. 2014.

Acceptance rate: 21%

Details about Faceted Search over Ontology−Enhanced RDF Data | BibTeX data for Faceted Search over Ontology−Enhanced RDF Data | Download  (pdf) of Faceted Search over Ontology−Enhanced RDF Data

Faceted search over RDF−based knowledge graphs

Marcelo Arenas‚ Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Sarunas Marciuska and Dmitriy Zheleznyakov

In Journal of Web Semantics. Vol. 37. Pages 55−74. 2016.

Details about Faceted search over RDF−based knowledge graphs | BibTeX data for Faceted search over RDF−based knowledge graphs | Download  (pdf) of Faceted search over RDF−based knowledge graphs

Faceted search over RDF−based knowledge graphs

Marcelo Arenas‚ ‚ Bernardo Cuenca Grau‚ ‚ Evgeny Kharlamov‚ ‚ Sarunas Marciuska‚ and Dmitriy Zheleznyakov

In Journal of Web Semantics (JWS). December, 2015.

Details about Faceted search over RDF−based knowledge graphs | BibTeX data for Faceted search over RDF−based knowledge graphs | DOI (10.1016/j.websem.2015.12.002)

Faithful Approaches to Rule Learning

David Tena Cucala‚ Bernardo Cuenca Grau and Boris Motik

In Proceedings of the 19th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2022). 2022.

Details about Faithful Approaches to Rule Learning | BibTeX data for Faithful Approaches to Rule Learning

Faithful Rule Extraction for Differentiable Rule Learning Models

Ian Horrocks Xiaxia Wang David J. Tena Cucala Bernardo Cuenca Grau

In The Twelfth International Conference on Learning Representations. 2024.

Details about Faithful Rule Extraction for Differentiable Rule Learning Models | BibTeX data for Faithful Rule Extraction for Differentiable Rule Learning Models | Link to Faithful Rule Extraction for Differentiable Rule Learning Models

Faithful Rule Extraction for Differential Rule Learning Models

Xiaxia Wang‚ David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of of the 12th International Conference on Learning Representations (ICLR−2024). 2024.

Details about Faithful Rule Extraction for Differential Rule Learning Models | BibTeX data for Faithful Rule Extraction for Differential Rule Learning Models

Finite Materialisability of Datalog Programs with Metric Temporal Operators

Przemysław Wałęga‚ Michal Zawidzki and Bernardo Cuenca Grau

In Journal of Artificial Intelligence Research (JAIR). 2023.

Details about Finite Materialisability of Datalog Programs with Metric Temporal Operators | BibTeX data for Finite Materialisability of Datalog Programs with Metric Temporal Operators

Finitely Materialisable Datalog Programs with Metric Temporal Operators

Przemyslaw Walega‚ Michal Zawidzki and Bernardo Cuenca Grau

In Proceedings of KR 2021. 2021.

Details about Finitely Materialisable Datalog Programs with Metric Temporal Operators | BibTeX data for Finitely Materialisable Datalog Programs with Metric Temporal Operators

Foundations of Declarative Data Analysis Using Limit Datalog Programs

Mark Kaminski‚ Bernardo Cuenca Grau‚ Egor V. Kostylev‚ Boris Motik and Ian Horrocks

In Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI−17. Pages 1123–1130. 2017.

Details about Foundations of Declarative Data Analysis Using Limit Datalog Programs | BibTeX data for Foundations of Declarative Data Analysis Using Limit Datalog Programs | DOI (10.24963/ijcai.2017/156) | Link to Foundations of Declarative Data Analysis Using Limit Datalog Programs

Foundations of Ontology−Based Data Access under Bag Semantics

Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

In Artificial Intelligence. 2019.

Details about Foundations of Ontology−Based Data Access under Bag Semantics | BibTeX data for Foundations of Ontology−Based Data Access under Bag Semantics | DOI (10.1016/j.artint.2019.02.003)

From SHOQ(D) Toward E−connections

Bernardo Cuenca Grau and Bijan Parsia

In Proceedings of the 2004 International Workshop on Description Logics (DL2004)‚ Whistler‚ British Columbia‚ Canada‚ June 6−8‚ 2004. Vol. 104. CEUR−WS.org. 2004.

Details about From SHOQ(D) Toward E−connections | BibTeX data for From SHOQ(D) Toward E−connections

From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

Evren Sirin‚ Bernardo Cuenca Grau and Bijan Parsia

In Proceedings of KR−2006‚ Tenth International Conference on Principles of Knowledge Representation and Reasoning‚ Lake District of the United Kingdom‚ June 2−5‚ 2006. Pages 90−99. AAAI Press. 2006.

Details about From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | BibTeX data for From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | Download  (pdf) of From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | Download (pdf) of From Wine to Water: Optimizing Description Logic Reasoning for Nominals.

Generalized Link Properties for Expressive E−connections of Description Logics.

Bijan Parsia and Bernardo Cuenca Grau

In Proceedings‚ The Twentieth National Conference on Artificial Intelligence (AAAI−2005)‚ July 9−13‚ 2005‚ Pittsburgh‚ Pennsylvania‚ USA. Pages 657−662. AAAI Press / The MIT Press. 2005.

Details about Generalized Link Properties for Expressive E−connections of Description Logics. | BibTeX data for Generalized Link Properties for Expressive E−connections of Description Logics. | Download (pdf) of Generalized Link Properties for Expressive E−connections of Description Logics.

History Matters: Incremental Ontology Reasoning Using Modules

Bernardo Cuenca Grau‚ Christian Halasheck−Wiener and Yevgeny Kazakov

In Proceedings of the 6th International Semantic Web Conference (ISWC−2007)‚ Busan‚ Korea‚ November 11−15 2007‚ Lecture Notes in Computer Science Vol. 4825. Springer. 2007.

Details about History Matters: Incremental Ontology Reasoning Using Modules | BibTeX data for History Matters: Incremental Ontology Reasoning Using Modules | Download  (pdf) of History Matters: Incremental Ontology Reasoning Using Modules | Download (pdf) of History Matters: Incremental Ontology Reasoning Using Modules

How Incomplete is your Semantic Web Reasoner?

Giorgos Stoilos‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the Twenty−Fourth AAAI Conference on Artificial Intelligence (AAAI 2010). Pages 1431−1436. AAAI Press. 2010.

Outstanding Paper Award Winner

Details about How Incomplete is your Semantic Web Reasoner? | BibTeX data for How Incomplete is your Semantic Web Reasoner? | Download  (pdf) of How Incomplete is your Semantic Web Reasoner? | Download (pdf) of How Incomplete is your Semantic Web Reasoner?

INDIGO: GNN−Based Inductive Knowledge Graph Completion Using Pair−Wise Encoding

Shuwen Liu‚ Bernardo Cuenca Grau‚ Ian Horrocks and Egor V. Kostylev

In Proceedings of NeurIPS. 2021.

Details about INDIGO: GNN−Based Inductive Knowledge Graph Completion Using Pair−Wise Encoding | BibTeX data for INDIGO: GNN−Based Inductive Knowledge Graph Completion Using Pair−Wise Encoding

Import−by−Query: Ontology Reasoning under Access Limitations

Bernardo Guenca Grau‚ Boris Motik and Yevgeny Kazakov

In n Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009). AAAI Press. 2009.

Details about Import−by−Query: Ontology Reasoning under Access Limitations | BibTeX data for Import−by−Query: Ontology Reasoning under Access Limitations | Download  (pdf) of Import−by−Query: Ontology Reasoning under Access Limitations | Download (pdf) of Import−by−Query: Ontology Reasoning under Access Limitations

Importing Ontologies with Hidden Content

Bernardo Cuenca Grau and Boris Motik

In Proceedings of the 22nd International Workshop on Description Logics (DL 2009). 2009.

Details about Importing Ontologies with Hidden Content | BibTeX data for Importing Ontologies with Hidden Content | Download  (pdf) of Importing Ontologies with Hidden Content | Download (pdf) of Importing Ontologies with Hidden Content

Incremental Classification of Description Logics Ontologies

Bernardo Cuenca Grau‚ Christian Halaschek−Wiener‚ Yevgeny Kazakov and Boontawee Suntisrivaraporn

In Journal of Automated Reasoning (JAR). Vol. 44. No. 4. Pages 337−369. April, 2010.

Details about Incremental Classification of Description Logics Ontologies | BibTeX data for Incremental Classification of Descrip