| Complete, | Selected, | Recent, | Most-cited |
Recent Publications
|
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, 10(1), 2011. [ 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 Eigth 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),
CEUR (http://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 ] |
|
|
Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos.
Optimising Ontology Classification.
In Proc. of the 9th International Semantic Web Conference (ISWC
2010), volume 6496 of Lecture Notes in Computer Science, pages
225-240. Springer, 2010. [ bib | .pdf ] |
|
|
Giorgos Stoilos, Bernardo Cuenca Grau, and Ian Horrocks.
Completeness Guarantees for Incomplete Reasoners.
In Proc. of the 9th International Semantic Web Conference (ISWC
2010), volume 6496 of Lecture Notes in Computer Science, pages
747-763. Springer, 2010. [ bib | .pdf ] |
|
|
Birte Glimm, Ian Horrocks, and Boris Motik.
Optimized Description Logic Reasoning via Core Blocking.
In Proc. of the 2010 Description Logic Workshop (DL 2010),
volume 573 of CEUR (http://ceur-ws.org/), 2010. [ bib | .pdf ] |
|
|
Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL
with Numerical Datatypes.
In Proc. of the 2010 Description Logic Workshop (DL 2010),
volume 573 of CEUR (http://ceur-ws.org/), 2010. [ bib | .pdf ] |
|
|
Birte Glimm, Ian Horrocks, and Boris Motik.
Optimized Description Logic Reasoning via Core Blocking.
In Jürgen Giesl and Reiner Hähnle, editors, Proc. of
the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), volume 6173 of
Lecture Notes in Artificial Intelligence, pages 457-471. Springer,
2010. [ bib | .pdf ] |
|
|
Despoina Magka, Yevgeny Kazakov, and Ian Horrocks.
Tractable Extensions of the Description Logic EL
with Numerical Datatypes.
In Jürgen Giesl and Reiner Hähnle, editors, Proc. of
the Int. Joint Conf. on Automated Reasoning (IJCAR 2010), volume 6173 of
Lecture Notes in Artificial Intelligence, pages 61-75. Springer, 2010. [ bib | .pdf ] |
|
|
Giorgos Stoilos, Bernardo Cuenca Grau, and Ian Horrocks.
How Incomplete is your Semantic Web Reasoner?
In Proc. of the 20th Nat. Conf. on Artificial Intelligence
(AAAI 10), pages 1431-1436. AAAI Publications, 2010. [ bib | .pdf ] |
This file has been generated using bibtex2html 1.75
Back to Ian Horrocks' home page.