Bernardo Cuenca Grau : Publications
Book chapters
-
[1]
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
-
[2]
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
Journal papers
-
[1]
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
-
[2]
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
-
[3]
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
-
[4]
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
-
[5]
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
-
[6]
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
-
[7]
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
-
[8]
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)
-
[9]
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
-
[10]
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)
-
[11]
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
-
[12]
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
-
[13]
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
-
[14]
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
-
[15]
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)
-
[16]
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
-
[17]
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
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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)
-
[23]
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
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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
-
[28]
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.
Conference papers
-
[1]
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
-
[2]
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
-
[3]
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
-
[4]
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
-
[5]
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
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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
-
[10]
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
-
[11]
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
-
[12]
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
-
[13]
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
-
[14]
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
-
[15]
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
-
[16]
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
-
[17]
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
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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
-
[23]
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
-
[24]
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
-
[25]
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
-
[26]
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
-
[27]
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
-
[28]
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.
-
[29]
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
-
[30]
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
-
[31]
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
-
[32]
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
-
[33]
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
-
[34]
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
-
[35]
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
-
[36]
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
-
[37]
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
-
[38]
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
-
[39]
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
-
[40]
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
-
[41]
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
-
[42]
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
-
[43]
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
-
[44]
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
-
[45]
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
-
[46]
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
-
[47]
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
-
[48]
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
-
[49]
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
-
[50]
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
-
[51]
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
-
[52]
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
-
[53]
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
-
[54]
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
-
[55]
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
-
[56]
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
-
[57]
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
-
[58]
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
-
[59]
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
-
[60]
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
-
[61]
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
-
[62]
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
-
[63]
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
-
[64]
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
-
[65]
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
-
[66]
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
-
[67]
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
-
[68]
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.
-
[69]
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
-
[70]
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
-
[71]
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
-
[72]
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
-
[73]
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
-
[74]
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
-
[75]
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
-
[76]
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
-
[77]
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
-
[78]
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
-
[79]
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
-
[80]
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
-
[81]
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
-
[82]
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)
-
[83]
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
-
[84]
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
-
[85]
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
-
[86]
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
-
[87]
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
-
[88]
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
-
[89]
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
-
[90]
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
-
[91]
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
-
[92]
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
-
[93]
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?
-
[94]
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
-
[95]
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?
-
[96]
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
-
[97]
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
-
[98]
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)
-
[99]
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
-
[100]
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
-
[101]
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
-
[102]
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
-
[103]
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
-
[104]
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
-
[105]
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
-
[106]
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
-
[107]
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
-
[108]
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
-
[109]
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
-
[110]
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
-
[111]
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
-
[112]
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
-
[113]
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
-
[114]
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.
-
[115]
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
-
[116]
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
-
[117]
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?
-
[118]
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
-
[119]
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
-
[120]
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.
-
[121]
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.
-
[122]
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.
-
[123]
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.
-
[124]
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
-
[125]
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
-
[126]
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
-
[127]
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
-
[128]
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
-
[129]
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
-
[130]
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.
-
[131]
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
-
[132]
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
-
[133]
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.
-
[134]
Miscellaneous
-
[1]
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
-
[2]
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
-
[3]
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