Publications

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

Contextual Semantic Embeddings for Ontology Subsumption Prediction

Jiaoyan Chen‚ Yuan He‚ Ernesto Jiménez−Ruiz‚ Hang Dong and Ian Horrocks

In World Wide Web Journal (WWWJ−2023). 2023.

Details about Contextual Semantic Embeddings for Ontology Subsumption Prediction | BibTeX data for Contextual Semantic Embeddings for Ontology Subsumption Prediction | DOI (https://doi.org/10.1007/s11280-023-01169-9)

BERTMap: A BERT−based Ontology Alignment System

Yuan He‚ Jiaoyan Chen‚ Denvar Antonyrajah and Ian Horrocks

In Proceedings of 36th AAAI Conference on Artificial Intelligence 2022 (AAAI 2022). 2022.

Details about BERTMap: A BERT−based Ontology Alignment System | BibTeX data for BERTMap: A BERT−based Ontology Alignment System | Download  (pdf) of BERTMap: A BERT−based Ontology Alignment System | DOI (10.1609/aaai.v36i5.20510)

Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching

Yuan He‚ Jiaoyan Chen‚ Hang Dong‚ Ernesto Jiménez−Ruiz‚ Ali Hadian and Ian Horrocks

In The 21st International Semantic Web Conference (ISWC−2022). 2022.

Best Resource Paper Candidate

Details about Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | BibTeX data for Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | Download  (pdf) of Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | DOI (https://doi.org/10.1007/978-3-031-19433-7_33)

Modular Materialisation of Datalog Programs

Pan Hu‚ Boris Motik and Ian Horrocks

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

Details about Modular Materialisation of Datalog Programs | BibTeX data for Modular Materialisation of Datalog Programs

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

ColNet: Embedding the Semantics of Web Tables for Column Type Prediction

Jiaoyan Chen‚ Ernesto Jimenez−­‐Ruiz‚ Ian Horrocks and Charles Sutton

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

Details about ColNet: Embedding the Semantics of Web Tables for Column Type Prediction | BibTeX data for ColNet: Embedding the Semantics of Web Tables for Column Type Prediction

An ontology−mediated analytics−aware approach to support monitoring and diagnostics of static and streaming data

Evgeny Kharlamov‚ Yannis Kotidis‚ Theofilos Mailis‚ Christian Neuenstadt‚ Charalampos Nikolaou‚ Özgür Özçep‚ Christoforos Svingos‚ Dmitriy Zheleznyakov‚ Yannis Ioannidis‚ Steffen Lamparter‚ Ralf Möller and Arild Waaler

In Journal of Web Semantics. 2019.

Details about An ontology−mediated analytics−aware approach to support monitoring and diagnostics of static and streaming data | BibTeX data for An ontology−mediated analytics−aware approach to support monitoring and diagnostics of static and streaming data | DOI (10.1016/j.websem.2019.01.001)

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)

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

Knowledge−Based Transfer Learning Explanation

Jiaoyan Chen‚ Freddy Lécué‚ Jeff Z. Pan‚ Ian Horrocks and Huajun Chen

In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October − 2 November 2018.. Pages 349–358. 2018.

Details about Knowledge−Based Transfer Learning Explanation | BibTeX data for Knowledge−Based Transfer Learning Explanation

Complexity and Expressive Power of Weakly Well−Designed SPARQL

Mark Kaminski and Egor V. Kostylev

In Theory Comput. Syst.. Vol. 62. No. 4. Pages 772–809. 2018.

Details about Complexity and Expressive Power of Weakly Well−Designed SPARQL | BibTeX data for Complexity and Expressive Power of Weakly Well−Designed SPARQL | DOI (10.1007/s00224-017-9802-9) | Link to Complexity and Expressive Power of Weakly Well−Designed SPARQL

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

Optimised Maintenance of Datalog Materialisations

Pan Hu‚ Boris Motik and Ian Horrocks

In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ New Orleans‚ Louisiana‚ USA‚ February 2−7‚ 2018. 2018.

Details about Optimised Maintenance of Datalog Materialisations | BibTeX data for Optimised Maintenance of Datalog Materialisations | Link to Optimised Maintenance of Datalog Materialisations

Goal−Driven Query Answering for Existential Rules With Equality

Michael Benedikt‚ Boris Motik and Efthymia Tsamoura

In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ New Orleans‚ Louisiana‚ USA‚ February 2−7‚ 2018. 2018.

Details about Goal−Driven Query Answering for Existential Rules With Equality | BibTeX data for Goal−Driven Query Answering for Existential Rules With Equality | Link to Goal−Driven Query Answering for Existential Rules With Equality

Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation

Giorgio Stefanoni‚ Boris Motik and Egor V. Kostylev

In Proceedings of the 2018 World Wide Web Conference on World Wide Web‚ WWW 2018‚ Lyon‚ France‚ April 23−27‚ 2018. Pages 1043–1052. 2018.

Details about Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation | BibTeX data for Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation | DOI (10.1145/3178876.3186003) | Link to Estimating the Cardinality of Conjunctive Queries over RDF Data Using Graph Summarisation

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

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

Reformulating Queries: Theory and Practice

Michael Benedikt‚ Egor V. Kostylev‚ Fabio Mogavero and Efthymia Tsamoura

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

Details about Reformulating Queries: Theory and Practice | BibTeX data for Reformulating Queries: Theory and Practice | DOI (10.24963/ijcai.2017/116) | Link to Reformulating Queries: Theory and Practice

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

A Formalised Approach to Designing Sonification Systems for Network−Security Monitoring

Louise Axon; Jason R. C. Nurse; Michael Goldsmith; Sadie Creese

In International Journal On Advances in Security. 2017.

Details about A Formalised Approach to Designing Sonification Systems for Network−Security Monitoring | BibTeX data for A Formalised Approach to Designing Sonification Systems for Network−Security Monitoring | Download  (pdf) of A Formalised Approach to Designing Sonification Systems for Network−Security Monitoring

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

Modeling and Querying Greek Legislation Using Semantic Web Technologies

Ilias Chalkidis‚ Charalampos Nikolaou‚ Panagiotis Soursos and Manolis Koubarakis

In The Semantic Web − 14th International Conference‚ ESWC 2017‚ Portorož‚ Slovenia‚ May 28 − June 1‚ 2017‚ Proceedings‚ Part I. Pages 591–606. 2017.

Details about Modeling and Querying Greek Legislation Using Semantic Web Technologies | BibTeX data for Modeling and Querying Greek Legislation Using Semantic Web Technologies | DOI (10.1007/978-3-319-58068-5_36) | Link to Modeling and Querying Greek Legislation Using Semantic Web Technologies

Determining the veracity of rumours on Twitter

Georgios Giasemidis‚ Colin Singleton‚ Ioannis Agrafiotis‚ Jason R.C. Nurse‚ Alan Pilgrim and Chris Willis

In 8th International Conference on Social Informatics (SocInfo 2016). Pages 185–205. Springer. 2016.

Details about Determining the veracity of rumours on Twitter | BibTeX data for Determining the veracity of rumours on Twitter | Download  (pdf) of Determining the veracity of rumours on Twitter | DOI (10.1007/978-3-319-47880-7_12)

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

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

Towards Analytics Aware Ontology Based Access to Static and Streaming Data

Evgeny Kharlamov‚ Yannis Kotidis‚ Theofilos Mailis‚ Christian Neuenstadt‚ Charalampos Nikolaou‚ Oezguer Oezcep‚ Christoforos Svingos‚ Sebastian Brandt Dmitriy Zheleznyako and‚ Ian Horrocks‚ Yannis Ioannidis‚ Steffen Lamparter and Ralf Moeller

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

Details about Towards Analytics Aware Ontology Based Access to Static and Streaming Data | BibTeX data for Towards Analytics Aware Ontology Based Access to Static and Streaming Data | Download  (pdf) of Towards Analytics Aware Ontology Based Access to Static and Streaming Data

Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation

Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

In Knowledge and Information Systems. 2016.

Details about Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation | BibTeX data for Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation | Download  (pdf) of Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation | DOI (10.1007/s10115-016-0983-3) | Link to Minimizing Conservativity Violations in Ontology Alignments: Algorithms and Evaluation

Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans

Valentina Carapella‚ Ernesto Jimenez−Ruiz‚ Elena Lukaschuk‚ Nay Aung‚ Kenneth Fung‚ Jose Paiva‚ Mihir Sanghvi‚ Stefan Neubauer‚ Steffen Petersen‚ Ian Horrocks and Stefan Piechnik

In MICCAI Workshop on Large−scale Annotation of Biomedical data and Expert Label Synthesis (LABELS). 2016.

Details about Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans | BibTeX data for Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans | Download  (pdf) of Towards the Semantic Enrichment of Free−text Annotation of Image Quality Assessment for UK Biobank Cardiac Cine MRI Scans

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

User validation in ontology alignment

Zlatan Dragisic‚ Valentina Ivanova‚ Patrick Lambrix‚ Daniel Faria‚ Ernesto Jimenez−Ruiz and Catia Pesquita

In Proceedings of the International Semantic Web Conference. Vol. 9981 of LNCS. October, 2016.

Details about User validation in ontology alignment | BibTeX data for User validation in ontology alignment | Download  (pdf) of User validation in ontology alignment

Pushing the limits of OWL 2 reasoners in ontology alignment repair problems

Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

In Intelligenza Artificiale. Vol. 10. No. 1. Pages 1−18. 2016.

Details about Pushing the limits of OWL 2 reasoners in ontology alignment repair problems | BibTeX data for Pushing the limits of OWL 2 reasoners in ontology alignment repair problems | Download  (pdf) of Pushing the limits of OWL 2 reasoners in ontology alignment repair problems | DOI (10.3233/IA-160091) | Link to Pushing the limits of OWL 2 reasoners in ontology alignment repair problems

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

Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which?

Ahmet Soylu‚ Martin Giese‚ Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks

In Universal Access in the Information Society. Vol. (in press). 2016.

Details about Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which? | BibTeX data for Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which? | Download  (pdf) of Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which?

Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users

Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Guillermo Vega−Gorgojo and Ian Horrocks

In Universal Access in the Information Society. Vol. 15. Pages 129−152. 2016.

Details about Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users | BibTeX data for Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users | Download  (pdf) of Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users

Limiting Logical Violations in Ontology Alignment Through Negotiation

Ernesto Jimenez−Ruiz‚ Terry R. Payne‚ Alessandro Solimando and Valentina Tamma

In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR). AAAI Press. April, 2016.

Details about Limiting Logical Violations in Ontology Alignment Through Negotiation | BibTeX data for Limiting Logical Violations in Ontology Alignment Through Negotiation | Download  (pdf) of Limiting Logical Violations in Ontology Alignment Through Negotiation

Formal model−driven engineering of critical information systems

Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch

In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.

Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)

Ontology−based Visual Query Formulation: An Industry Experience

Ahmet Soylu‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov‚ Ernesto Jimenez−Ruiz‚ Martin Giese and Ian Horrocks

In Proc. of International Symposium on Visual Computing (ISVC). Springer. 2015.

Details about Ontology−based Visual Query Formulation: An Industry Experience | BibTeX data for Ontology−based Visual Query Formulation: An Industry Experience | Download  (pdf) of Ontology−based Visual Query Formulation: An Industry Experience

Ontology Based Access to Exploration Data at Statoil

Evgeny Kharlamov‚ Dag Hovland‚ Ernesto Jimenez−Ruiz‚ Davide Lanti‚ Hallstein Lie‚ Christoph Pinkel‚ Martin Rezk‚ Martin G. Skjæveland‚ Evgenij Thorstensen‚ Guohui Xiao‚ Dmitriy Zheleznyakov and Ian Horrocks

In Proc. of International Semantic Web Conference (ISWC). 2015.

Details about Ontology Based Access to Exploration Data at Statoil | BibTeX data for Ontology Based Access to Exploration Data at Statoil | Download  (pdf) of Ontology Based Access to Exploration Data at Statoil

Extending Consequence−Based Reasoning to SHIQ

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

Department of Computer Science‚ University of Oxford. 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

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

BootOX: Practical Mapping of RDBs to OWL 2

Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov‚ Ian Horrocks‚ Christoph Pinkel‚ Martin G. Skjæveland‚ Evgenij Thorstensen and Jose Mora

In Proc. of International Semantic Web Conference (ISWC). 2015.

Details about BootOX: Practical Mapping of RDBs to OWL 2 | BibTeX data for BootOX: Practical Mapping of RDBs to OWL 2 | Download  (pdf) of BootOX: Practical Mapping of RDBs to OWL 2 | Link to BootOX: Practical Mapping of RDBs to OWL 2

Optique: Zooming in on Big Data

Martin Giese‚ Ahmet Soylu‚ Guillermo Vega−Gorgojo‚ Arild Waaler‚ Peter Haase‚ Ernesto Jiménez−Ruiz‚ Davide Lanti‚ Martín Rezk‚ Guohui Xiao‚ Özgür L. Özçep and Riccardo Rosati

In IEEE Computer. Vol. 48. No. 3. Pages 60–67. 2015.

Details about Optique: Zooming in on Big Data | BibTeX data for Optique: Zooming in on Big Data | Download  (pdf) of Optique: Zooming in on Big Data | DOI (10.1109/MC.2015.82) | Link to Optique: Zooming in on Big Data

RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration

Christoph Pinkel‚ Carsten Binnig‚ Ernesto Jiménez−Ruiz‚ Wolfgang May‚ Dominique Ritze‚ Martin G. Skjæveland‚ Alessandro Solimando and Evgeny Kharlamov

In The Semantic Web. Latest Advances and New Domains − 12th European Semantic Web Conference‚ ESWC 2015‚ Portoroz‚ Slovenia‚ May 31 − June 4‚ 2015. Proceedings. Pages 21–37. 2015.

Details about RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration | BibTeX data for RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration | Download  (pdf) of RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration | DOI (10.1007/978-3-319-18818-8_2) | Link to RODI: A Benchmark for Automatic Mapping Generation in Relational−to−Ontology Data Integration

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

Visual Analytics for Open Source Intelligence

Rodrigo Carvalho

In Brazilian Journal of Police Science (RBCP). 2014.

Details about Visual Analytics for Open Source Intelligence | BibTeX data for Visual Analytics for Open Source Intelligence | Download  (pdf) of Visual Analytics for Open Source Intelligence

Towards annotating potential incoherences in BioPortal mappings

Daniel Faria‚ Ernesto Jiménez−Ruiz‚ Catia Pesquita‚ Emanuel Santos and Francisco M. Couto

In International Semantic Web Conference. Vol. LNCS 8797. October, 2014.

Details about Towards annotating potential incoherences in BioPortal mappings | BibTeX data for Towards annotating potential incoherences in BioPortal mappings | Download  (pdf) of Towards annotating potential incoherences in BioPortal mappings

Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings

Alessandro Solimando‚ Ernesto Jimenez−Ruiz and Giovanna Guerrini

In International Semantic Web Conference. Vol. LNCS 8797. Pages 1−16. October, 2014.

Details about Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings | BibTeX data for Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings | Download  (pdf) of Detecting and Correcting Conservativity Principle Violations in Ontology−to−Ontology Mappings

Narrowing the Gap: Random Forests In Theory and In Practice

Misha Denil‚ David Matheson and Nando de Freitas

In International Conference on Machine Learning (ICML). 2014.

Details about Narrowing the Gap: Random Forests In Theory and In Practice | BibTeX data for Narrowing the Gap: Random Forests In Theory and In Practice | Download (pdf) of Narrowing the Gap: Random Forests In Theory and In Practice

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

Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Edward Grefenstette

PhD Thesis June, 2013.

Details about Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics | BibTeX data for Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics | Link to Category−Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics

Concrete Results on Abstract Rules

Markus Krötzsch‚ Despoina Magka and Ian Horrocks

In Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning. September, 2013.

Details about Concrete Results on Abstract Rules | BibTeX data for Concrete Results on Abstract Rules | Download  (pdf) of Concrete Results on Abstract Rules

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

On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification

Diego Calvanese‚ Evgeny Kharlamov‚ Marco Montali‚ Ario Santoso and Dmitry Zheleznyakov

In Proc. of International Joint Conference on Artificial Intelligence (IJCAI). Pages 810−816. 2013.

Acceptance rate: 28%

Details about On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification | BibTeX data for On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification | Download  (pdf) of On Inconsistency−Aware Knowledge and Action Bases: Semantics and Verification

Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite

Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Diego Calvanese

In Journal of Computer and System Sciences (JCSS). Vol. 79. No. 6. Pages 835 − 872. 2013.

Details about Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite | BibTeX data for Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite | Download  (pdf) of Capturing Model−Based Ontology Evolution at the Instance Level: The Case of DL−Lite

Computing Stable Models for Nonmonotonic Existential Rules

Despoina Magka‚ Markus Krötzsch and Ian Horrocks

In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013). August, 2013.

Details about Computing Stable Models for Nonmonotonic Existential Rules | BibTeX data for Computing Stable Models for Nonmonotonic Existential Rules | Download slides.pdf of Computing Stable Models for Nonmonotonic Existential Rules | Download paper.pdf of Computing Stable Models for Nonmonotonic Existential Rules

Ontology−Based Classification of Molecules: a Logic Programming Approach

Despoina Magka

In Proceedings of the 5th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2012). November, 2012.

Best paper prize

Details about Ontology−Based Classification of Molecules: a Logic Programming Approach | BibTeX data for Ontology−Based Classification of Molecules: a Logic Programming Approach | Download slides (pdf) of Ontology−Based Classification of Molecules: a Logic Programming Approach | Download paper (pdf) of Ontology−Based Classification of Molecules: a Logic Programming Approach

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

Modelling Structured Domains Using Description Graphs and Logic Programming.

Despoina Magka‚ Boris Motik and Ian Horrocks

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

Details about Modelling Structured Domains Using Description Graphs and Logic Programming. | BibTeX data for Modelling Structured Domains Using Description Graphs and Logic Programming. | Download slides (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming. | Download paper (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming.

Classifying Chemicals Using Description Graphs and Logic Programming

Despoina Magka‚ Boris Motik and Ian Horrocks

In Proceedings of the 9th OWL: Experiences and Directions Workshop (OWLED 2012). Vol. 849. CEUR−WS.org. May, 2012.

Details about Classifying Chemicals Using Description Graphs and Logic Programming | BibTeX data for Classifying Chemicals Using Description Graphs and Logic Programming | Download slides (pdf) of Classifying Chemicals Using Description Graphs and Logic Programming | Download paper (pdf) of Classifying Chemicals Using Description Graphs and Logic Programming

Structure−based classification and ontology in chemistry

Janna Hastings‚ Despoina Magka‚ Colin Batchelor‚ Lian Duan‚ Robert Stevens‚ Marcus Ennis and Christoph Steinbeck

In Journal of Cheminformatics. Vol. 4. No. 8. 2012.

Details about Structure−based classification and ontology in chemistry | BibTeX data for Structure−based classification and ontology in chemistry | Download of Structure−based classification and ontology in chemistry

Acyclicity Conditions and their Application to Query Answering in Description Logics

Bernardo Cuenca Grau‚ Ian Horrocks‚ Markus Krötzsch‚ 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). AAAI Press. June, 2012.

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 slides (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics | Download paper (pdf) of Acyclicity Conditions and their Application to Query Answering in Description Logics

Modelling Structured Domains Using Description Graphs and Logic Programming.

Despoina Magka‚ Boris Motik and Ian Horrocks

In Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012). Vol. 7925. Springer. June, 2012.

Details about Modelling Structured Domains Using Description Graphs and Logic Programming. | BibTeX data for Modelling Structured Domains Using Description Graphs and Logic Programming. | Download slides (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming. | Download paper (pdf) of Modelling Structured Domains Using Description Graphs and Logic Programming.

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

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

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

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)

Chemical Knowledge Representation with Description Graphs and Logic Programming

Despoina Magka‚ Boris Motik and Ian Horrocks

In Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for Life Sciences (SWAT4LS 2011). Pages 74−75. ACM. December, 2011.

Details about Chemical Knowledge Representation with Description Graphs and Logic Programming | BibTeX data for Chemical Knowledge Representation with Description Graphs and Logic Programming | Download slides (pdf) of Chemical Knowledge Representation with Description Graphs and Logic Programming | Download paper (pdf) of Chemical Knowledge Representation with Description Graphs and Logic Programming

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks

In Journal of Automated Reasoning. Vol. 47. No. 4. Pages 427–450. 2011.

Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download of Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks

In 23rd International Workshop on Description Logics (DL 2010). May, 2010.

Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download slides (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download paper (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Despoina Magka‚ Yevgeny Kazakov and Ian Horrocks

In Int. Joint Conf. on Automated Reasoning (IJCAR 2010). Vol. 6173. Pages 61–75. LNAI. July, 2010.

Details about Tractable Extensions of the Description Logic EL with Numerical Datatypes | BibTeX data for Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download slides (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes | Download paper (pdf) of Tractable Extensions of the Description Logic EL with Numerical Datatypes