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 Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October − 2 November 2018.. Pages 571–581. 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−18)‚ New Orleans‚ Louisiana‚ USA‚ February 2–7‚ 2018. Pages 1941–1948. 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