Complete, | Selected, | Recent, | Most-cited |
Recent Publications
Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro
Bozzon, Stefano Ceri, and Ian Horrocks.
Order matters! Harnessing a world of orderings for reasoning
over massive data.
Semantic Web, 4(2):219-231, 2013. [ bib | .pdf ] |
|
Yujiao Zhou, Bernardo Cuenca Grau, and Ian Horrocks.
Making the Most of your Triple Store: Query Answering in OWL 2
Using an RL Reasoner.
In Proc. of the Twentysecond International World Wide Web
Conference (WWW 2013). ACM, 2013. [ bib | .pdf ] |
|
Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks.
MORe: Modular Combination of OWL Reasoners for Ontology
Classification.
In Proc. of the 11th International Semantic Web Conference
(ISWC 2012), volume 7649 of Lecture Notes in Computer Science, pages
1-16. Springer, 2012. [ bib | .pdf ] |
|
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Yujiao Zhou, and Ian
Horrocks.
Large-scale Interactive Ontology Matching: Algorithms and
Implementation.
In Proc. of the 20th Eur. Conf. on Artificial Intelligence
(ECAI 2012), pages 444-449. IOS Press, 2012. [ bib | .pdf ] |
|
Yujiao Zhou, Bernardo Cuenca Grau, and Ian Horrocks.
Efficient Upper Bound Computation of Query Answers in Expressive
Description Logics.
In Proc. of the 2012 Description Logic Workshop (DL 2012),
volume 846 of CEUR (ceur-ws.org/), 2012. [ bib | .pdf ] |
|
Despoina Magka, Boris Motik, and Ian Horrocks.
Modelling Structured Domains Using Description Graphs and Logic
Programming.
In Proc. of the 2012 Description Logic Workshop (DL 2012),
volume 846 of CEUR (ceur-ws.org/), 2012. [ bib | .pdf ] |
|
Ana Armas Romero, Bernardo Cuenca Grau, and Ian Horrocks.
Modular Combination of Reasoners for Ontology Classification.
In Proc. of the 2012 Description Logic Workshop (DL 2012),
volume 846 of CEUR (ceur-ws.org/), 2012. [ bib | .pdf ] |
|
Giorgio Stefanoni, Boris Motik, and Ian Horrocks.
Small Datalog Query Rewritings for EL.
In Proc. of the 2012 Description Logic Workshop (DL 2012),
volume 846 of CEUR (ceur-ws.org/), 2012. [ bib | .pdf ] |
|
Despoina Magka, Boris Motik, and Ian Horrocks.
Modelling Structured Domains Using Description Graphs and Logic
Programming.
In Proc. of the 9th European Semantic Web Conf. (ESWC 2012),
volume 7295 of Lecture Notes in Computer Science, pages 330-344, 2012. [ bib | .pdf ] |
|
Despoina Magka, Boris Motik, and Ian Horrocks.
Classifying Chemicals Using Description Graphs and Logic
Programming.
In Proc. of the 9th Int. Workshop on OWL Experiences and
Directions (OWLED 2012), 2012. [ bib | .pdf ] |
|
Ian Horrocks.
Semantics scalability ?
Journal of Zhejiang University - Science C, 13(4):241-244,
2012. [ bib | .pdf ] |
|
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke,
Despoina Magka, Boris Motik, and Zhe Wang.
Acyclicity Conditions and their Application to Query Answering
in Description Logics.
In Proc. of the 13th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2012), 2012. [ bib | .pdf ] |
|
Boris Motik, Ian Horrocks, and Su Myeon Kim.
Delta-Reasoner: a Semantic Web Reasoner for an Intelligent
Mobile Platform.
In Proc. of the Twentyfirst International World Wide Web
Conference (WWW 2012). ACM, 2012. [ bib | .pdf ] |
|
Markus Krötzsch, Frantisek Simancík, and Ian Horrocks.
A Description Logic Primer.
CoRR, abs/1201.4089, 2012. [ bib | http ] |
|
Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL
with Numerical Datatypes.
J. of Automated Reasoning, 47(4):427-450, 2011. [ bib | .pdf ] |
|
Giorgos Stoilos, Bernardo Cuenca Grau, Boris Motik, and Ian Horrocks.
Repairing Ontologies for Incomplete Reasoners.
In Proc. of the 10th International Semantic Web Conference
(ISWC 2011), volume 7031 of Lecture Notes in Computer Science, pages
681-696. Springer, 2011. [ bib | .pdf ] |
|
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, and Ian Horrocks.
Completeness Guarantees for Incomplete Ontology Reasoners:
Theory and Practice.
J. of Artificial Intelligence Research, 43:419-476, March
2012. [ bib | .pdf ] |
|
Birte Glimm, Ian Horrocks, Boris Motik, Rob Shearer, and Giorgos Stoilos.
A Novel Approach to Ontology Classification.
J. of Web Semantics, 14:84-101, 2012. [ bib | .pdf ] |
|
Ian Horrocks.
Tool Support for Ontology Engineering.
In Dieter Fensel, editor, Foundations for the Web of Information
and Services, pages 103-112. Springer, 2011. [ bib | .pdf ] |
|
Ilianna Kollia, Birte Glimm, and Ian Horrocks.
Query Answering over SROIQ Knowledge Bases with SPARQL.
In Proc. of the 8th Int. Workshop on OWL Experiences and
Directions (OWLED 2011), 2011. [ bib | .pdf ] |
|
Ilianna Kollia, Birte Glimm, and Ian Horrocks.
Query Answering over SROIQ Knowledge Bases with SPARQL.
In Proc. of the 2011 Description Logic Workshop (DL 2011),
volume 745 of CEUR (ceur-ws.org/), 2011. [ bib | .pdf ] |
|
Frantisek Simancík, Yevgeny Kazakov, and Ian Horrocks.
Consequence-Based Reasoning beyond Horn Ontologies.
In Proc. of the 22nd Int. Joint Conf. on Artificial
Intelligence (IJCAI 2011), pages 1093-1098, 2011. [ bib | .pdf ] |
|
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael
Berlanga Llavori.
Logic-based assessment of the compatibility of UMLS ontology
sources.
Journal of Biomedical Semantics, 2(Suppl 1):S2, 2011. [ bib | .pdf ] |
|
Ilianna Kollia, Birte Glimm, and Ian Horrocks.
SPARQL Query Answering over OWL Ontologies.
In Proc. of the 8th European Semantic Web Conf. (ESWC 2011),
Lecture Notes in Computer Science, pages 382-396. Springer, 2011. [ bib | .pdf ] |
|
Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael
Berlanga Llavori.
Supporting Concurrent Ontology Development: Framework,
Algorithms and Tool.
Data and Knowledge Engineering, 70(1):146-164, 2011. [ bib | .pdf ] |
This file has been generated using bibtex2html 1.75
Back to Ian Horrocks' home page.