Bernardo Cuenca Grau : Publications

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

MTLearn: Extracting Temporal Rules Using Datalog Rule Learners

Dingming Wang‚ Przemyslaw Walega and Bernardo Cuenca Grau

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

Details about MTLearn: Extracting Temporal Rules Using Datalog Rule Learners | BibTeX data for MTLearn: Extracting Temporal Rules Using Datalog Rule Learners

Relational Graph Convolutional Networks Do Not Learn Sound Rules

Matthew Morris‚ David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

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

Details about Relational Graph Convolutional Networks Do Not Learn Sound Rules | BibTeX data for Relational Graph Convolutional Networks Do Not Learn Sound Rules

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

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

Orbit−equivariant Graph Neural Networks

Matthew Morris‚ Bernardo Cuenca Grau and Ian Horrocks

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

Details about Orbit−equivariant Graph Neural Networks | BibTeX data for Orbit−equivariant Graph Neural Networks

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

The Stable Models Semantics of Datalog with Metric Temporal Operators

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

In Theory and Practice of Logic Programming (TPLP). 2023.

To Appear

Details about The Stable Models Semantics of Datalog with Metric Temporal Operators | BibTeX data for The Stable Models Semantics of Datalog with Metric Temporal Operators

Stream Reasoning with DatalogMTL

Przemyslaw Walega‚ Mark Kaminski‚ Dingmin Wang and Bernardo Cuenca Grau

In Journal of Web Semantics (JWS). 2023.

Details about Stream Reasoning with DatalogMTL | BibTeX data for Stream Reasoning with DatalogMTL

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

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

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

On the Correspondence Between Monotonic Max−Sum GNNs and Datalog

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

In Proceedings of the 20th International Conference on the Principles of Knowledge Representation and Reasoning. 2023.

Details about On the Correspondence Between Monotonic Max−Sum GNNs and Datalog | BibTeX data for On the Correspondence Between Monotonic Max−Sum GNNs and Datalog

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

Materialisation−based Reasoning in DatalogMTL with Bounded Intervals

Przemyslaw Walega‚ Michal Zawidzki‚ Dingmin Wang and Bernardo Cuenca Grau

In Proceedings of AAAI−2023. 2023.

Details about Materialisation−based Reasoning in DatalogMTL with Bounded Intervals | BibTeX data for Materialisation−based Reasoning in DatalogMTL with Bounded Intervals

Revisiting Inferential Benchmarks for Knowledge Graph Completion

Details about Revisiting Inferential Benchmarks for Knowledge Graph Completion | BibTeX data for Revisiting Inferential Benchmarks for Knowledge Graph Completion

The Complexity and Expressive Power of Limit Datalog

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

In Journal of the ACM (JACM). Vol. 62. February, 2022.

Details about The Complexity and Expressive Power of Limit Datalog | BibTeX data for The Complexity and Expressive Power of Limit Datalog | Link to The Complexity and Expressive Power of Limit Datalog

The Delay and Window Size Problems in Rule−based Stream Reasoning

Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

In Artificial Intelligence Journal (AIJ). Vol. 306. 2022.

Details about The Delay and Window Size Problems in Rule−based Stream Reasoning | BibTeX data for The Delay and Window Size Problems in Rule−based Stream Reasoning | Link to The Delay and Window Size Problems in Rule−based Stream Reasoning

Reasoning Techniques in DatalogMTL

Przemyslaw Walega‚ Michal Zawidzki and Bernardo Cuenca Grau

In Proceedings of Datalog 2.0. 2022.

Details about Reasoning Techniques in DatalogMTL | BibTeX data for Reasoning Techniques in DatalogMTL

Seminaive Materialisation in DatalogMTL

Dingmin Wang‚ Przemyslaw Walega and Bernardo Cuenca Grau

In Proceedings of Declarative−AI (RR + RuleML). 2022.

Details about Seminaive Materialisation in DatalogMTL | BibTeX data for Seminaive Materialisation in DatalogMTL

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

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

Dingmin Wang‚ Pan Hu‚ Przemyslaw Walega and Bernardo Cuenca Grau

In Proceedings of AAAI−2022. 2022.

Details about MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators | BibTeX data for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators

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

Pay−as−you−go Consequence−based Reasoning for the Description Logic SROIQ

David Tena Cucala‚ Bernardo Cuenca Grau and Ian Horrocks

In Artificial Intelligence Journal (AIJ). Vol. 298. 2021.

Details about Pay−as−you−go Consequence−based Reasoning for the Description Logic SROIQ | BibTeX data for Pay−as−you−go Consequence−based Reasoning for the Description Logic SROIQ

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

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

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

Stratified Negation in Datalog With Metric Temporal Operators

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

In Proceedings of AAAI−2021. 2021.

Details about Stratified Negation in Datalog With Metric Temporal Operators | BibTeX data for Stratified Negation in Datalog With Metric Temporal Operators

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

Tractable Fragments of Datalog with Metric Temporal Operators

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

In Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020). 2020.

Details about Tractable Fragments of Datalog with Metric Temporal Operators | BibTeX data for Tractable Fragments of Datalog with Metric Temporal Operators

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

Logical Foundations of Linked Data Anonymisation

Bernardo Cuenca Grau and Egor V. Kostylev

In Journal of Artificial Intelligence Research (JAIR). Vol. 64. Pages 253−314. 2019.

Details about Logical Foundations of Linked Data Anonymisation | BibTeX data for Logical Foundations of Linked Data Anonymisation

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)

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

Query−based Entity Comparison in Knowledge Graphs Revisited

Bernardo Cuenca Grau Alina Petrova Egor V. Kostylev and Ian Horrocks.

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

Details about Query−based Entity Comparison in Knowledge Graphs Revisited | BibTeX data for Query−based Entity Comparison in Knowledge Graphs Revisited

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

Satisfaction and Implication of Integrity Constraints in Ontology−based Data Access.

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

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

Details about Satisfaction and Implication of Integrity Constraints in Ontology−based Data Access. | BibTeX data for Satisfaction and Implication of Integrity Constraints in Ontology−based Data Access.

Reasoning over Streaming Data in Metric Temporal Datalog

Przemyslaw Andrzej Walega‚ Mark Kaminski and Bernardo Cuenca Grau

In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.

Details about Reasoning over Streaming Data in Metric Temporal Datalog | BibTeX data for Reasoning over Streaming Data in Metric Temporal Datalog

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

Logical foundations of information disclosure in ontology−based data integration

Michael Benedikt‚ Bernardo Cuenca Grau and Egor V. Kostylev

In Artificial Intelligence. Vol. 262. Pages 52–95. 2018.

Details about Logical foundations of information disclosure in ontology−based data integration | BibTeX data for Logical foundations of information disclosure in ontology−based data integration | DOI (10.1016/j.artint.2018.06.002)

The Window Validity Problem in Rule−Based Stream Reasoning

Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR). 2018.

Details about The Window Validity Problem in Rule−Based Stream Reasoning | BibTeX data for The Window Validity Problem in Rule−Based Stream Reasoning | Link to The Window Validity Problem in Rule−Based Stream Reasoning

Stream Reasoning in Temporal Datalog

Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks

In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence (AAAI). 2018.

Details about Stream Reasoning in Temporal Datalog | BibTeX data for Stream Reasoning in Temporal Datalog | Link to Stream Reasoning in Temporal Datalog

Stratified Negation in Limit Datalog Programs

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

In Proceedings of the Twenty−Seventh International Joint Conference on Artificial Intelligence‚ IJCAI 2018‚ July 13−19‚ 2018‚ Stockholm‚ Sweden.. Pages 1875–1881. 2018.

Details about Stratified Negation in Limit Datalog Programs | BibTeX data for Stratified Negation in Limit Datalog Programs | DOI (10.24963/ijcai.2018/259) | Link to Stratified Negation in Limit Datalog Programs

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

Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1

Mark Kaminski‚ Egor V. Kostylev and Bernardo Cuenca Grau

In ACM Trans. Database Syst.. Vol. 42. No. 3. Pages 17:1–17:46. 2017.

Details about Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1 | BibTeX data for Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1 | DOI (10.1145/3083898) | Link to Query Nesting‚ Assignment‚ and Aggregation in SPARQL 1.1

Source Information Disclosure in Ontology−Based Data Integration

Egor V. Kostylev Michael Benedikt Bernardo Cuenca Grau

In Proceedings of of the Thirty−First AAAI Conference on Artificial Intelligence. Pages 1056−1062. 2017.

Details about Source Information Disclosure in Ontology−Based Data Integration | BibTeX data for Source Information Disclosure in Ontology−Based Data Integration

SemFacet: Making Hard Faceted Search Easier

Evgeny Kharlamov‚ Luca Giacomelli‚ Evgeny Sherkhonov‚ Bernardo Cuenca Grau‚ Egor V. Kostylev and Ian Horrocks

In Proceedings of the 2017 ACM on Conference on Information and Knowledge Management‚ CIKM 2017‚ Singapore‚ November 06 − 10‚ 2017. Pages 2475–2478. 2017.

Details about SemFacet: Making Hard Faceted Search Easier | BibTeX data for SemFacet: Making Hard Faceted Search Easier | DOI (10.1145/3132847.3133192) | Link to SemFacet: Making Hard Faceted Search Easier

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

Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet

Evgeny Kharlamov‚ Luca Giacomelli‚ Evgeny Sherkhonov‚ Bernardo Cuenca Grau‚ Egor V. Kostylev and Ian Horrocks

In Nadeschda Nikitina‚ Dezhao Song‚ Achille Fokoue and Peter Haase, editors, 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 − 25th‚ 2017. Vol. 1963 of CEUR Workshop Proceedings. CEUR−WS.org. 2017.

Details about Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet | BibTeX data for Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet | Link to Ranking‚ Aggregation‚ and Reachability in Faceted Search with SemFacet

Semantic Faceted Search with Aggregation and Recursion

Evgeny Sherkhonov‚ Bernardo Cuenca Grau‚ Evgeny Kharlamov and Egor V. Kostylev

In Claudia d'Amato‚ Miriam Fernández‚ Valentina A. M. Tamma‚ Freddy Lécué‚ Philippe Cudré−Mauroux‚ Juan F. Sequeda‚ Christoph Lange and Jeff Heflin, editors, The Semantic Web − ISWC 2017 − 16th International Semantic Web Conference‚ Vienna‚ Austria‚ October 21−25‚ 2017‚ Proceedings‚ Part I. Vol. 10587 of Lecture Notes in Computer Science. Pages 594–610. Springer. 2017.

Details about Semantic Faceted Search with Aggregation and Recursion | BibTeX data for Semantic Faceted Search with Aggregation and Recursion | DOI (10.1007/978-3-319-68288-4) | Link to Semantic Faceted Search with Aggregation and Recursion

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

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

The Bag Semantics of Ontology−Based Data Access

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

In Carles Sierra, editor, Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI 2017‚ Melbourne‚ Australia‚ August 19−25‚ 2017. Pages 1224–1230. ijcai.org. 2017.

Details about The Bag Semantics of Ontology−Based Data Access | BibTeX data for The Bag Semantics of Ontology−Based Data Access | DOI (10.24963/ijcai.2017/170) | Link to The Bag Semantics of Ontology−Based Data Access

Module Extraction in Expressive Ontology Languages via Datalog Reasoning

Ana Armas Romero‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

In Journal of Artificial Intelligence Research (JAIR). Vol. 55. Pages 499−564. February, 2016.

Details about Module Extraction in Expressive Ontology Languages via Datalog Reasoning | BibTeX data for Module Extraction in Expressive Ontology Languages via Datalog Reasoning | Download  (pdf) of Module Extraction in Expressive Ontology Languages via Datalog Reasoning

Extending Consequence−Based Reasoning to SRIQ

Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

arXiv:1602.04498 [cs.AI]. February, 2016.

Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Link to Extending Consequence−Based Reasoning to SRIQ

SOMM: Industry Oriented Ontology Management Tool

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)‚ Posters and Demonstrations Track. October, 2016.

Details about SOMM: Industry Oriented Ontology Management Tool | BibTeX data for SOMM: Industry Oriented Ontology Management Tool | Download  (pdf) of SOMM: Industry Oriented Ontology Management Tool | Link to SOMM: Industry Oriented Ontology Management Tool

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

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

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

Extending Consequence−Based Reasoning to SRIQ

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

In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference. Pages 187–196. AAAI Press. 2016.

Details about Extending Consequence−Based Reasoning to SRIQ | BibTeX data for Extending Consequence−Based Reasoning to SRIQ | Download paper.pdf of Extending Consequence−Based Reasoning to SRIQ | Download slides.pdf of Extending Consequence−Based Reasoning to SRIQ

SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs

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

In International Semantic Web Conference‚ Posters Posters & Demos (ISWC PD). 2016.

Details about SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs | BibTeX data for SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs | Download  (pdf) of SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs

Extending Consequence−Based Reasoning to SHIQ

Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ František Simančík and Ian Horrocks

In Diego Calvanese and Boris Konev, editors, Proceedings of the 28th International Workshop on Description Logics. Vol. 1350 of CEUR Workshop Proceedings. CEUR−WS.org. June, 2015.

Details about Extending Consequence−Based Reasoning to SHIQ | BibTeX data for Extending Consequence−Based Reasoning to SHIQ | Download  (pdf) of Extending Consequence−Based Reasoning to SHIQ

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)

PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner

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

In Journal of Artificial Intelligence Research (JAIR). Vol. 54. Pages 309−367. November, 2015.

Details about PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner | BibTeX data for PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner | Download  (pdf) of PAGOdA: Pay−As−You−Go Ontology Query Answering Using a Datalog Reasoner

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

Semantics of SPARQL under OWL 2 Entailment Regimes

Egor Kostylev and Bernardo Cuenca Grau

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

Details about Semantics of SPARQL under OWL 2 Entailment Regimes | BibTeX data for Semantics of SPARQL under OWL 2 Entailment Regimes

Polynomial Horn Rewritings for Description Logics Ontologies

Mark Kaminski and Bernardo Cuenca Grau

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

Details about Polynomial Horn Rewritings for Description Logics Ontologies | BibTeX data for Polynomial Horn Rewritings for Description Logics Ontologies

PAGOdA: Pay−as−you−go ABox Reasoning

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

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

Details about PAGOdA: Pay−as−you−go ABox Reasoning | BibTeX data for PAGOdA: Pay−as−you−go ABox Reasoning

The Combined Approach to Query Answering Beyond the OWL 2 Profiles

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

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

Details about The Combined Approach to Query Answering Beyond the OWL 2 Profiles | BibTeX data for The Combined Approach to Query Answering Beyond the OWL 2 Profiles

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

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

Ontology Module Extraction via Datalog Reasoning

Ana Armas Romero‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI). 2015.

Details about Ontology Module Extraction via Datalog Reasoning | BibTeX data for Ontology Module Extraction via Datalog Reasoning | Download (pdf) of Ontology Module Extraction via Datalog Reasoning

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

Pushing the Boundaries of Tractable Ontology Reasoning

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

In Proceedings of the 13th International Semantic Web Conference (ISWC). 2014.

Details about Pushing the Boundaries of Tractable Ontology Reasoning | BibTeX data for Pushing the Boundaries of Tractable Ontology Reasoning | Download  (pdf) of Pushing the Boundaries of Tractable Ontology Reasoning

On the Semantics of SPARQL Queries with Optional Matching Under Entailment Regimes

Bernardo Cuenca Grau Egor V. Kostylev

In Proceedings of the 13th International Semantic Web Conference (ISWC). 2014.

Details about On the Semantics of SPARQL Queries with Optional Matching Under Entailment Regimes | BibTeX data for On the Semantics of SPARQL Queries with Optional Matching Under Entailment Regimes | Download  (pdf) of On the Semantics of SPARQL Queries with Optional Matching Under Entailment Regimes

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

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

Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner

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

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

Details about Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner | BibTeX data for Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner | Download  (pdf) of Pay−as−you−go Ontology Query Answering Using a Datalog Reasoner

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 and Ian Horrocks

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

Details about Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs | BibTeX data for Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs | Download  (pdf) of Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs

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

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

Pay−as−you−go OWL Query Answering Using a Triple Store

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

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

Details about Pay−as−you−go OWL Query Answering Using a Triple Store | BibTeX data for Pay−as−you−go OWL Query Answering Using a Triple Store | Download (pdf) of Pay−as−you−go OWL Query Answering Using a Triple Store

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

SemFacet: Semantic Faceted Search over Yago

Bernardo Cuenca Grau‚ Evgeny Kharlamov‚ Sarunas Marciuska‚ Dmitriy Zheleznyakov‚ Marcelo Arenas and Ernesto Jimenez−Ruiz

In WWW Demo. Pages 123−126. 2014.

http://www.cs.ox.ac.uk/isg/tools/SemFacet/

Details about SemFacet: Semantic Faceted Search over Yago | BibTeX data for SemFacet: Semantic Faceted Search over Yago | Download  (pdf) of SemFacet: Semantic Faceted Search over Yago | Link to SemFacet: Semantic Faceted Search over Yago

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

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

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

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.

Sufficient Conditions for First−Order and Datalog Rewritability in ELU

Mark Kaminski and Bernardo Cuenca Grau

In Proc. of the 26th International Workshop on Description Logics (DL). 2013.

Details about Sufficient Conditions for First−Order and Datalog Rewritability in ELU | BibTeX data for Sufficient Conditions for First−Order and Datalog Rewritability in ELU | Download  (pdf) of Sufficient Conditions for First−Order and Datalog Rewritability in ELU

Towards Query Formulation and Query−Driven Ontology Extensions in OBDA

Bernardo Cuenca Grau‚ Martin Giese‚ Ian Horrocks‚ Thomas Hubauer‚ Ernesto Jiménez−Ruiz‚ Evgeny Kharlamov‚ Michael Schmidt‚ Ahmet Soylu and Dmitriy Zheleznyakov

In OWL Experiences and Directions Workshop (OWLED). 2013.

Details about Towards Query Formulation and Query−Driven Ontology Extensions in OBDA | BibTeX data for Towards Query Formulation and Query−Driven Ontology Extensions in OBDA | Download  (pdf) of Towards Query Formulation and Query−Driven Ontology Extensions in OBDA

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

Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner

Yujiao Zhou‚ Bernardo Cuenca Grau‚ Ian Horrocks‚ Zhe Wu and Jay Banerjee

In Proceedings of the 22nd International World Wide Web Conference (WWW). 2013.

Details about Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner | BibTeX data for Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner | Download  (pdf) of Making the Most of your Triple Store: Query Answering in OWL 2 Using an RL Reasoner

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

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

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

Modular Combination of Reasoners for Ontology Classification

Ana Armas Romero‚ Bernardo Cuenca Grau and Ian Horrocks

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

Details about Modular Combination of Reasoners for Ontology Classification | BibTeX data for Modular Combination of Reasoners for Ontology Classification | Download PublicationFile of Modular Combination of Reasoners for Ontology Classification | Download PublicationFile of Modular Combination of Reasoners for Ontology Classification | Download ModClassDL12.pdf of Modular Combination of Reasoners for Ontology Classification

Ontology Contraction: Beyond Propositional Paradise

Bernardo Cuenca Grau‚ Evgeny Kharlamov and Dmitriy Zheleznyakov

In Proceedings of the 6th AMW Workshop on Data Management. June, 2012.

Details about Ontology Contraction: Beyond Propositional Paradise | BibTeX data for Ontology Contraction: Beyond Propositional Paradise | Download  (pdf) of Ontology Contraction: Beyond Propositional Paradise

LogMap and LogMapLt results for OAEI 2012

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

In The Seventh International Workshop on Ontology Matching (OM). November, 2012.

Details about LogMap and LogMapLt results for OAEI 2012 | BibTeX data for LogMap and LogMapLt results for OAEI 2012 | Download  (pdf) of LogMap and LogMapLt results for OAEI 2012 | Download (pdf) of LogMap and LogMapLt results for OAEI 2012

Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach

Bernardo Cuenca Grau and Boris Motik

In Journal of Artificial Intelligence Research (JAIR). Vol. 45. Pages 197−255. October, 2012.

Details about Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach | BibTeX data for Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach | Download PublicationFile of Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach | Download CuencaGrau12b.pdf of Reasoning over Ontologies with Hidden Content: The Import−by−Query Approach

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

Ontology Evolution Under Semantic Constraints

Bernardo Cuenca Grau‚ Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov and Dmitry Zheleznyakov

In Proc. of International Conference on Principles of Knowledge Representation and Reasoning (KR). Pages 137−147. 2012.

Acceptance rate: 26%

Details about Ontology Evolution Under Semantic Constraints | BibTeX data for Ontology Evolution Under Semantic Constraints | Download  (pdf) of Ontology Evolution Under Semantic Constraints

Ontology Contraction: Beyond Propositional Paradise

Bernardo Cuenca Grau‚ Evgeny Kharlamov and Dmitry Zheleznyakov

In Proc. of AMW workshop. Pages 62−74. 2012.

Details about Ontology Contraction: Beyond Propositional Paradise | BibTeX data for Ontology Contraction: Beyond Propositional Paradise | Download  (pdf) of Ontology Contraction: Beyond Propositional Paradise

How to Contract Ontologies: Statement of Interest

Bernardo Cuenca Grau‚ Evgeny Kharlamov and Dmitry Zheleznyakov

In Proc. of OWL: Experiences and Directions Workshop (OWLED). 2012.

Details about How to Contract Ontologies: Statement of Interest | BibTeX data for How to Contract Ontologies: Statement of Interest | Download  (pdf) of How to Contract Ontologies: Statement of Interest

MORe: Modular Combination of OWL Reasoners for Ontology Classification

Ana Armas Romero‚ Bernardo Cuenca Grau and Ian Horrocks

In Proceedings of the 11th International Semantic Web Conference (ISWC 2012). Springer. 2012.

Details about MORe: Modular Combination of OWL Reasoners for Ontology Classification | BibTeX data for MORe: Modular Combination of OWL Reasoners for Ontology Classification | Download  (pdf) of MORe: Modular Combination of OWL Reasoners for Ontology Classification

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems

Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau and Ian Horrocks

In OWL Reasoner Evaluation Workshop (ORE). 2012.

Details about On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems | BibTeX data for On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems | Download  (pdf) of On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems

Large−scale Interactive Ontology Matching: Algorithms and Implementation

Ernesto Jimenez Ruiz‚ Bernardo Cuenca Grau‚ Yujiao Zhou and Ian Horrocks

In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI). Pages 444−449. IOS Press. 2012.

Details about Large−scale Interactive Ontology Matching: Algorithms and Implementation | BibTeX data for Large−scale Interactive Ontology Matching: Algorithms and Implementation | Download  (pdf) of Large−scale Interactive Ontology Matching: Algorithms and Implementation | DOI (doi:10.3233/978-1-61499-098-7-444)

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

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

LogMap: Logic−Based and Scalable Ontology Matching

Ernesto Jiménez−Ruiz and Bernardo Cuenca Grau

In International Semantic Web Conference (ISWC). Vol. 7031 of Lecture Notes in Computer Science. Pages 273−288. Springer. October, 2011.

Details about LogMap: Logic−Based and Scalable Ontology Matching | BibTeX data for LogMap: Logic−Based and Scalable Ontology Matching | Download  (pdf) of LogMap: Logic−Based and Scalable Ontology Matching | Download (pdf) of LogMap: Logic−Based and Scalable Ontology Matching

Supporting concurrent ontology development: Framework‚ algorithms and tool

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

In Data and Knowledge Engineering. Vol. 70:1. January, 2011.

Details about Supporting concurrent ontology development: Framework‚ algorithms and tool | BibTeX data for Supporting concurrent ontology development: Framework‚ algorithms and tool | Download  (pdf) of Supporting concurrent ontology development: Framework‚ algorithms and tool | Download (pdf) of Supporting concurrent ontology development: Framework‚ algorithms and tool

Logic−based Assessment of the Compatibility of UMLS Ontology Sources

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

In BMC Journal of Biomedical Semantics. Vol. 2. 2011.

Details about Logic−based Assessment of the Compatibility of UMLS Ontology Sources | BibTeX data for Logic−based Assessment of the Compatibility of UMLS Ontology Sources | DOI (doi:10.1186/2041-1480-2-S1-S2) | Link to Logic−based Assessment of the Compatibility of UMLS Ontology Sources

Towards more challenging problems for ontology matching tools

E. Jiménez−Ruiz and B. Cuenca Grau

In Proc. of the 6th International Workshop on Ontology Matching (OM). Vol. 814. CEUR Workshop Proceedings (CEUR−WS.org). 2011.

Details about Towards more challenging problems for ontology matching tools | BibTeX data for Towards more challenging problems for ontology matching tools | Download  (pdf) of Towards more challenging problems for ontology matching tools | Link to Towards more challenging problems for ontology matching tools

LogMap results for OAEI 2011

E. Jiménez−Ruiz‚ A. Morant and B. Cuenca Grau

In Proc. of the 6th International Workshop on Ontology Matching (OM). Vol. 814. CEUR Workshop Proceedings (CEUR−WS.org). 2011.

http://ceur−ws.org/Vol−814/

Details about LogMap results for OAEI 2011 | BibTeX data for LogMap results for OAEI 2011 | Download  (pdf) of LogMap results for OAEI 2011 | Link to LogMap results for OAEI 2011

Repairing Ontologies for Incomplete Reasoners

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

In Proceedings of the 10th International Semantic Web Conference (ISWC 2011). Springer LNCS. 2011.

Details about Repairing Ontologies for Incomplete Reasoners | BibTeX data for Repairing Ontologies for Incomplete Reasoners | Download  (pdf) of Repairing Ontologies for Incomplete Reasoners | Download (pdf) of Repairing Ontologies for Incomplete Reasoners

Repairing Incomplete Reasoners

Giorgos Stoilos and Bernardo Cuenca Grau

In Proceedings of the 24th International Workshop on Description Logics (DL 2011). CEUR. 2011.

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

What to ask to an incomplete Semantic Web reasoner?

Bernardo Cuenca Grau and Giorgos Stoilos

In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI−2011). Pages 2226−2231. 2011.

Details about What to ask to an incomplete Semantic Web reasoner? | BibTeX data for What to ask to an incomplete Semantic Web reasoner? | Download  (pdf) of What to ask to an incomplete Semantic Web reasoner?

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 Description Logics Ontologies | DOI (10.1007/s10817-009-9159-0)

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

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?

Pushing the Limits of Reasoning over Ontologies with Hidden Content

Bernardo Cuenca Grau and Boris Motik

In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010). Pages 214−224. AAAI Press. 2010.

Details about Pushing the Limits of Reasoning over Ontologies with Hidden Content | BibTeX data for Pushing the Limits of Reasoning over Ontologies with Hidden Content | Download  (pdf) of Pushing the Limits of Reasoning over Ontologies with Hidden Content | Download (pdf) of Pushing the Limits of Reasoning over Ontologies with Hidden Content

Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

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

In Proc. of the 6th European Semantic Web Conference (ESWC 2009). Springer. June, 2009.

Details about Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences | BibTeX data for Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences | Download  (pdf) of Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences | Link to Ontology Integration Using Mappings: Towards Getting the Right Logical Consequences

Representing Ontologies Using Description Logics‚ Description Graphs and Rules

Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler

In Artificial Intelligence (AIJ). Vol. 173. No. 14. Pages 1275–1309. 2009.

Details about Representing Ontologies Using Description Logics‚ Description Graphs and Rules | BibTeX data for Representing Ontologies Using Description Logics‚ Description Graphs and Rules | Download  (pdf) of Representing Ontologies Using Description Logics‚ Description Graphs and Rules | Download (pdf) of Representing Ontologies Using Description Logics‚ Description Graphs and Rules

Towards a Logic−based Assessment of the compatibility of UMLS sources

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 Towards a Logic−based Assessment of the compatibility of UMLS sources | BibTeX data for Towards a Logic−based Assessment of the compatibility of UMLS sources

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)

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

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

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

Proceedings of the 22nd International Workshop on Description Logics

Details about Proceedings of the 22nd International Workshop on Description Logics | BibTeX data for Proceedings of the 22nd International Workshop on Description Logics | Link to Proceedings of the 22nd International Workshop on Description Logics

OWL 2 Web Ontology Language: Profiles

Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks‚ Zhe Wu‚ Achille Fokoue and Carsten Lutz

World Wide Web Consortium (W3C) Recommendation. 2009.

Details about OWL 2 Web Ontology Language: Profiles | BibTeX data for OWL 2 Web Ontology Language: Profiles

OWL 2 Web Ontology Language: Direct Semantics

Peter F. Patel−Schneider Boris Motik and Bernardo Cuenca Grau

World Wide Web Consortium (W3C) Recommendation. 2009.

Details about OWL 2 Web Ontology Language: Direct Semantics | BibTeX data for OWL 2 Web Ontology Language: Direct Semantics | Link to OWL 2 Web Ontology Language: Direct Semantics

Ontology Integration Using E−connections

Bernardo Cuenca Grau‚ Bijan Parsia and Evren Sirin

In Heiner Stuckenschmidt and Stefano Spaccapietra, editors, Modular Ontologies: Concepts‚ Theories and Techniques for Knowledge Modularization. Springer. 2009.

Details about Ontology Integration Using E−connections | BibTeX data for Ontology Integration Using E−connections

Extracting Modules from Ontologies: A Logic−based Approach

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

In Heiner Stuckenschmidt and Stefano Spaccapietra, editors, Modular Ontologies: Concepts‚ Theories and Techniques for Knowledge Modularization. Springer. 2009.

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

Metalevel Information in Ontology−Based Applications

Duc Thanh Tran‚ Peter Haase‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks

In Proceedings of the 23thrd National Conference on Artificial Intelligence (AAAI 2008). AAAI Press. July, 2008.

Details about Metalevel Information in Ontology−Based Applications | BibTeX data for Metalevel Information in Ontology−Based Applications | Download  (pdf) of Metalevel Information in Ontology−Based Applications | Download (pdf) of Metalevel Information in Ontology−Based Applications

OWL 2: The Next Step for OWL

Bernardo Cuenca Grau‚ Ian Horrocks‚ Boris Motik‚ Bijan Parsia‚ Peter Patel−Schneider and Ulrike Sattler

In Journal of Web Semantics. Vol. 6. No. 4. Pages 309−322. 2008.

Details about OWL 2: The Next Step for OWL | BibTeX data for OWL 2: The Next Step for OWL | Download  (pdf) of OWL 2: The Next Step for OWL | Download (pdf) of OWL 2: The Next Step for OWL

Modular Reuse of Ontologies: Theory and Practice

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

In J. of Artificial Intelligence Research (JAIR). Vol. 31. Pages 273−318. 2008.

Details about Modular Reuse of Ontologies: Theory and Practice | BibTeX data for Modular Reuse of Ontologies: Theory and Practice | Download  (pdf) of Modular Reuse of Ontologies: Theory and Practice | Download (pdf) of Modular Reuse of Ontologies: Theory and Practice

Modeling Ontologies Using OWL‚ Description Graphs and Rules

Boris Motik‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler

In Proc. of OWLEd 2008: OWL Experiences and Directions Workshop. 2008.

Details about Modeling Ontologies Using OWL‚ Description Graphs and Rules | BibTeX data for Modeling Ontologies Using OWL‚ Description Graphs and Rules | Download  (pdf) of Modeling Ontologies Using OWL‚ Description Graphs and Rules

Representing Structured Objects using Description Graphs

Boris Motic‚ Bernardo Cuenca Grau‚ Ian Horrocks and Ulrike Sattler

In 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR−2008). 2008.

Details about Representing Structured Objects using Description Graphs | BibTeX data for Representing Structured Objects using Description Graphs | Download  (pdf) of Representing Structured Objects using Description Graphs | Download (pdf) of Representing Structured Objects using Description Graphs

Privacy−preserving Query Answering in Logic−based Information Systems

Bernardo Cuenca Grau and Ian Horrocks

In 18th European Conference on Artificial Intelligence (ECAI−2008). IOS Press. 2008.

Details about Privacy−preserving Query Answering in Logic−based Information Systems | BibTeX data for Privacy−preserving Query Answering in Logic−based Information Systems | Download  (pdf) of Privacy−preserving Query Answering in Logic−based Information Systems

The Representation of Structured Objects in DLs using Description Graphs

Boris Motik‚ Bernardo Cuenca Grau and Ulrike Sattler

In The 21st international Description Logics Workshop (DL−2008). 2008.

Details about The Representation of Structured Objects in DLs using Description Graphs | BibTeX data for The Representation of Structured Objects in DLs using Description Graphs | Download  (pdf) of The Representation of Structured Objects in DLs using Description Graphs

Safe and Economic re−use of ontologies: a logic−based methodology and tool support

Ernesto Jimenez−Ruiz‚ Bernardo Cuenca Grau‚ Thomas Schneider‚ Ulrike Sattler and Rafael Berlanga

In OWLEd 2008‚ Proceedings of the 4th International Workshop: OWL Experiences and Directions‚ April 1−2‚ 2008. 2008.

Another version of this paper will also appear in Procedings of the 21st Description Logics Workshop (DL−2008)

Details about Safe and Economic re−use of ontologies: a logic−based methodology and tool support | BibTeX data for Safe and Economic re−use of ontologies: a logic−based methodology and tool support

Safe and Economic re−use of ontologies: a logic−based methodology and tool support

Ernesto Jimenez−Ruiz‚ Bernardo Cuenca Grau‚ Thomas Schneider‚ Ulrike Sattler and Rafael Berlanga

In ESWC 2008‚ Proceedings of the 5th European Semantic Web Conference‚ Tenerife‚ Spain‚ June 1−5‚ 2008. Springer LNCS. 2008.

Details about Safe and Economic re−use of ontologies: a logic−based methodology and tool support | BibTeX data for Safe and Economic re−use of ontologies: a logic−based methodology and tool support | Download safe-eco-reuse-report.pdf of Safe and Economic re−use of ontologies: a logic−based methodology and tool support | Download Safe-economic-reuse.pdf of Safe and Economic re−use of ontologies: a logic−based methodology and tool support

Structured Objects in OWL: Representation and Reasoning

Boris Motik‚ Bernardo Cuenca Grau and Ulrike Sattler

In Karl Aberer‚ Key−Sun Choi‚ Natasha Fridman Noy‚ Dean Allemang‚ Kyung−Il Lee‚ Lyndon J. B. Nixon‚ Jennifer Golbeck‚ Peter Mika‚ Diana Maynard‚ Riichiro Mizoguchi‚ Guus Schreiber and Philippe Cudré−Mauroux, editors, Proc. of the 17th Int. World Wide Web Conference (WWW 2008). Pages 169–182. Beijing‚ China. April, 2008. ACM Press.

Details about Structured Objects in OWL: Representation and Reasoning | BibTeX data for Structured Objects in OWL: Representation and Reasoning | Download  (pdf) of Structured Objects in OWL: Representation and Reasoning | Download (pdf) of Structured Objects in OWL: Representation and Reasoning

Pellet: A Practical OWL DL Reasoner

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

In Journal of Web Semantics. Vol. 5. No. 2. Pages 51–53. 2007.

Details about Pellet: A Practical OWL DL Reasoner | BibTeX data for Pellet: A Practical OWL DL Reasoner | Download (pdf) of Pellet: A Practical OWL DL Reasoner

Ontology Reuse: Better Safe than Sorry

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

In DL 2007‚ Proceedings of the 20th International Workshop on Description Logics‚ Brixen‚ Italy‚ June 8−10‚ 2007. 2007.

Details about Ontology Reuse: Better Safe than Sorry | BibTeX data for Ontology Reuse: Better Safe than Sorry | Download  (pdf) of Ontology Reuse: Better Safe than Sorry | Download (pdf) of Ontology Reuse: Better Safe than Sorry

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

Modular Ontology Languages Revisited

Bernardo Cuenca Grau and Oliver Kutz

In SWeCKa 2007: Proc. of the IJCAI−2007 Workshop on Semantic Web for Collaborative Knowledge Acquisition ‚ Hyderabad‚ India‚ January 7‚ 2007. 2007.

Details about Modular Ontology Languages Revisited | BibTeX data for Modular Ontology Languages Revisited | Download  (pdf) of Modular Ontology Languages Revisited | Download (pdf) of Modular Ontology Languages Revisited

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.

Just the Right Amount: Extracting Modules from Ontologies

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

In WWW 2007‚ Proceedings of the 16th International World Wide Web Conference‚ Banff‚ Canada‚ May 8−12‚ 2007. Pages 717−727. 2007.

Details about Just the Right Amount: Extracting Modules from Ontologies | BibTeX data for Just the Right Amount: Extracting Modules from Ontologies | Download  (pdf) of Just the Right Amount: Extracting Modules from Ontologies | Download (pdf) of Just the Right Amount: Extracting Modules from Ontologies

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

Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007

Details about Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007 | BibTeX data for Proceedings of the 2nd International Workshop on Modular Ontologies‚ WoMO 2007

OWL Experiences And Directions Workshop Proceedings‚ 2006

Bernardo Cuenca Grau‚ Pascal Hitzler‚ Connor Shankey and Evan Wallace, editors

Details about OWL Experiences And Directions Workshop Proceedings‚ 2006 | BibTeX data for OWL Experiences And Directions Workshop Proceedings‚ 2006 | Link to OWL Experiences And Directions Workshop Proceedings‚ 2006

Swoop: A Web Ontology Editing Browser

James A. Hendler Aditya Kalyanpur Bijan Parsia Evren Sirin Bernardo Cuenca Grau

In Journal of Web Semantics (JWS). Vol. 4. No. 2. Pages 144−153. 2006.

Details about Swoop: A Web Ontology Editing Browser | BibTeX data for Swoop: A Web Ontology Editing Browser | Download  (pdf) of Swoop: A Web Ontology Editing Browser

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.

Will my Ontologies Fit Together?

Bernardo Cuenca Grau‚ Ian Horrocks‚ Oliver Kutz and Ulrike Sattler

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

Details about Will my Ontologies Fit Together? | BibTeX data for Will my Ontologies Fit Together? | Download  (pdf) of Will my Ontologies Fit Together? | Download (pdf) of Will my Ontologies Fit Together?

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

Next Steps for OWL

Bernardo Cuenca Grau‚ Ian Horrocks‚ Peter Patel−Schneider and Ulrike Sattler

In OWLEd 2006‚ Proceedings of the 2nd International Workshop: OWL Experiences and Directions‚ Athens‚ Georgia November 10−11‚ 2006. 2006.

Details about Next Steps for OWL | BibTeX data for Next Steps for OWL

Integrating Datalog with OWL: Exploring the AL−log Approach.

Edna Ruckhaus‚ Vladimir Kolovski‚ Bijan Parsia and Bernardo Cuenca Grau

In Logic Programming‚ 22nd International Conference‚ ICLP 2006‚ Seattle‚ WA‚ USA‚ August 17−20‚ 2006‚ Proceedings. Vol. 4079 of Lecture Notes in Computer Science. Pages 455−456. Springer. 2006.

Details about Integrating Datalog with OWL: Exploring the AL−log Approach. | BibTeX data for Integrating Datalog with OWL: Exploring the AL−log Approach.

Repairing Unsatisfiable Concepts in OWL Ontologies.

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

In The Semantic Web: Research and Applications‚ 3rd European Semantic Web Conference‚ ESWC 2006‚ Budva‚ Montenegro‚ June 11−14‚ 2006‚ Proceedings. Vol. 4011 of Lecture Notes in Computer Science. Pages 170−184. Springer. 2006.

Details about Repairing Unsatisfiable Concepts in OWL Ontologies. | BibTeX data for Repairing Unsatisfiable Concepts in OWL Ontologies. | Download  (pdf) of Repairing Unsatisfiable Concepts in OWL Ontologies. | Download (pdf) of Repairing Unsatisfiable Concepts in OWL Ontologies.

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.

Modularity and Web Ontologies.

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

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 198−209. AAAI Press. 2006.

Details about Modularity and Web Ontologies. | BibTeX data for Modularity and Web Ontologies. | Download  (pdf) of Modularity and Web Ontologies. | Download (pdf) of Modularity and Web Ontologies.

OWL Experiences And Directions Workshop Proceedings‚ 2005

Bernardo Cuenca Grau‚ Ian Horrocks‚ Bijan Parsia and Peter Patel−Schneider, editors

Details about OWL Experiences And Directions Workshop Proceedings‚ 2005 | BibTeX data for OWL Experiences And Directions Workshop Proceedings‚ 2005 | Link to OWL Experiences And Directions Workshop Proceedings‚ 2005

Swoop: A Web Ontology Engineering Framework

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

In Proceedings ISWC 2005‚ the 4th International Semantic Web Conference (Poster Track). 2005.

Details about Swoop: A Web Ontology Engineering Framework | BibTeX data for Swoop: A Web Ontology Engineering Framework

Modularizing OWL Ontologies

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

In Proceedings of the 4th International Semantic Web Conference (Poster Track). 2005.

Details about Modularizing OWL Ontologies | BibTeX data for Modularizing OWL Ontologies

Representing Qualitative Spatial Information in OWL DL

Yarden Katz and Bernardo Cuenca Grau

In Proceedings of the First International Workshop: OWL Experiences and Directions. Galway‚ Ireland‚ November 2005. 2005.

Details about Representing Qualitative Spatial Information in OWL DL | BibTeX data for Representing Qualitative Spatial Information in OWL DL | Download  (pdf) of Representing Qualitative Spatial Information in OWL DL

Modularizing OWL Ontologies

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

In Proceedings of the KCAP 2005 Workshop on Ontology Management. Banff‚ Canada‚ October 2005. 2005.

Details about Modularizing OWL Ontologies | BibTeX data for Modularizing OWL Ontologies

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

Semantic Web Research Trends and Directions

Jennifer Golbeck‚ Bernardo Cuenca Grau‚ Christian Halaschek−Wiener‚ Aditya Kalyanpur‚ Bijan Parsia‚ Andrew Schain‚ Evren Sirin and James A. Hendler

In Pattern Recognition and Machine Intelligence‚ First International Conference‚ PReMI 2005‚ Kolkata‚ India‚ December 20−22‚ 2005‚ Proceedings. Pages 160−169. Springer. 2005.

Details about Semantic Web Research Trends and Directions | BibTeX data for Semantic Web Research Trends and Directions

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.

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

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

Working with Multiple Ontologies on the Semantic Web.

Bernardo Cuenca Grau‚ Bijan Parsia and Evren Sirin

In International Semantic Web Conference. Vol. 3298 of Lecture Notes in Computer Science. Pages 620−634. Springer. 2004.

Details about Working with Multiple Ontologies on the Semantic Web. | BibTeX data for Working with Multiple Ontologies on the Semantic Web. | Download (pdf) of Working with Multiple Ontologies on the Semantic Web.

Details about | BibTeX data for