|
|
Ian Horrocks's Publications
Recent
|
|
Birte Glimm, Ian Horrocks, and Ulrike Sattler.
Unions of Conjunctive Queries in SHOQ.
In Proc. of the 11th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2008), 2008.
[ bib |
.pdf ]
|
|
|
Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, and Ulrike Sattler.
Representing Structured Objects using Description Graphs.
In Proc. of the 11th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2008), 2008.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau and Ian Horrocks.
Privacy-Preserving Query Answering in Logic-based Information
Systems.
In Proc. of the 18th Eur. Conf. on Artificial Intelligence
(ECAI 2008), 2008.
[ bib |
.pdf ]
|
|
|
Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks.
Rewriting Conjunctive Queries over Description Logic
Constraints.
In Proc. of the Int. Workshop on Logics in Databases (LID
2008), 2008.
[ bib |
.pdf ]
|
|
|
Boris Motik and Ian Horrocks.
Individual Reuse in Description Logic Reasoning.
In Proc. of the Int. Joint Conf. on Automated Reasoning
(IJCAR 2008), 2008.
[ bib |
.pdf ]
|
|
|
Boris Motik, Rob Shearer, and Ian Horrocks.
Optimizing the Nominal Introduction Rule in (Hyper)Tableau
Calculi.
In Proc. of the 2008 Description Logic Workshop (DL 2008),
CEUR (http://ceur-ws.org/), 2008.
[ bib |
.pdf ]
|
|
|
Birte Glimm, Ian Horrocks, and Ulrike Sattler.
Deciding SHOQ Knowledge Base Consistency
using Alternating Automata.
In Proc. of the 2008 Description Logic Workshop (DL 2008),
CEUR (http://ceur-ws.org/), 2008.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Extracting Modules from Ontologies: A Logic-based Approach.
In Heiner Stuckenschmidt and Stefano Spaccapietra, editors,
Ontology Modularization. Springer, 2008.
[ bib |
.pdf ]
|
|
|
Duc Thanh Tran, Peter Haase, Bernardo Cunca Grau, Boris Motik, and Ian
Horrocks.
Metalevel Information in Ontology-Based Applications.
In Proc. of the 18th Nat. Conf. on Artificial Intelligence
(AAAI 08), 2008.
[ bib |
.pdf ]
|
|
|
Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler.
Conjunctive Query Answering for the Description Logic
SHIQ.
J. of Artificial Intelligence Research, 31:157-204, 2008.
[ bib |
.pdf ]
|
|
|
Héctor Pérez-Urbina, Boris Motik, and Ian Horrocks.
Rewriting Conjunctive Queries over Description Logic Knowledge
Bases.
In Proc. of the Int. Workshop on Semantics in Data and
Knowledge Bases (SDKB 2008). Springer, 2008.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Modular Reuse of Ontologies: Theory and Practice.
J. of Artificial Intelligence Research, 31:273-318, 2008.
[ bib |
.pdf ]
|
|
|
Ian Horrocks, Peter F. Patel-Schneider, Deborah L. McGuinness, and
Christopher A. Welty.
OWL: a Description Logic Based Ontology Language for the
Semantic Web.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi,
and Peter F. Patel-Schneider, editors, The Description Logic Handbook:
Theory, Implementation, and Applications (2nd Edition), chapter 14.
Cambridge University Press, 2007.
[ bib |
.pdf ]
|
|
|
Peter F. Patel-Schneider and Ian Horrocks.
A Comparison of Two Modelling Paradigms in the Semantic Web.
J. of Web Semantics, 2007.
[ bib |
.pdf ]
|
|
|
Giorgos Stoilos, Giorgos Stamou, Jeff Z. Pan, Vassilis Tzouvaras, and Ian
Horrocks.
Reasoning with Very Expressive Fuzzy Description Logics.
J. of Artificial Intelligence Research, 30:273-320, 2007.
[ bib |
.pdf ]
|
|
|
Franz Baader, Ian Horrocks, and Ulrike Sattler.
Description Logics.
In Frank van Harmelen, Vladimir Lifschitz, and Bruce Porter,
editors, Handbook of Knowledge Representation. Elsevier, 2007.
[ bib |
.pdf ]
|
|
|
Christine Golbreic, Matthew Horridge, Ian Horrocks, Boris Motik, and Rob
Shearer.
OBO and OWL: Leveraging Semantic Web Technologies for the
Life Sciences.
In Proc. of the 6th International Semantic Web Conference (ISWC
2007), volume 4825 of Lecture Notes in Computer Science, pages
169-182. Springer, 2007.
[ bib |
.pdf ]
|
|
|
Ian Horrocks and Ulrike Sattler.
A Tableau Decision Procedure for SHOIQ.
J. of Automated Reasoning, 39(3):249-276, 2007.
[ bib |
.pdf ]
|
|
|
Dmitry Tsarkov, Ian Horrocks, and Peter F. Patel-Schneider.
Optimizing Terminological Reasoning for Expressive Description
Logics.
J. of Automated Reasoning, 39(3):277-316, 2007.
[ bib |
.pdf ]
|
|
|
Boris Motik, Rob Shearer, and Ian Horrocks.
Optimized Reasoning in Description Logics using Hypertableaux.
In Proc. of the 21st Int. Conf. on Automated Deduction
(CADE-21), volume 4603 of Lecture Notes in Artificial Intelligence,
pages 67-83. Springer, 2007.
[ bib |
.pdf ]
|
|
|
Birte Glimm, Ian Horrocks, and Uli Sattler.
Conjunctive Query Entailment for SHOQ.
In Proc. of the 2007 Description Logic Workshop (DL 2007),
volume 250 of CEUR (http://ceur-ws.org/), 2007.
[ bib |
.pdf ]
|
|
|
Boris Motik, Rob Shearer, and Ian Horrocks.
A Hypertableau Calculus for SHIQ.
In Proc. of the 2007 Description Logic Workshop (DL 2007),
volume 250 of CEUR (http://ceur-ws.org/), 2007.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Ontology Reuse: Better Safe than Sorry.
In Proc. of the 2007 Description Logic Workshop (DL 2007),
volume 250 of CEUR (http://ceur-ws.org/), 2007.
[ bib |
.pdf ]
|
|
|
Boris Motik, Ian Horrocks, and Ulrike Sattler.
Adding Integrity Constraints to OWL.
In Proc. of the Third OWL Experiences and Directions Workshop,
number 258 in CEUR (http://ceur-ws.org/), 2007.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Extracting Modules from Ontologies: A Logic-based Approach.
In Proc. of the Third OWL Experiences and Directions Workshop,
number 258 in CEUR (http://ceur-ws.org/), 2007.
[ bib |
.pdf ]
|
|
|
Christine Golbreich and Ian Horrocks.
The OBO to OWL mapping, GO to OWL 1.1!
In Proc. of the Third OWL Experiences and Directions Workshop,
number 258 in CEUR (http://ceur-ws.org/), 2007.
[ bib |
.pdf ]
|
|
|
Boris Motik, Ian Horrocks, and Ulrike Sattler.
Bridging the Gap Between OWL and Relational Databases.
In Proc. of the Sixteenth International World Wide Web
Conference (WWW 2007), 2007.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, and Ulrike Sattler.
Just the Right Amount: Extracting Modules from Ontologies.
In Proc. of the Sixteenth International World Wide Web
Conference (WWW 2007), 2007.
[ bib |
.pdf ]
|
|
|
Bernardo Cuenca Grau, Yevgeny Kazakov, Ian Horrocks, and Ulrike Sattler.
A Logical Framework for Modular Integration of Ontologies.
In Proc. of the 20th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2007), pages 298-303, 2007.
[ bib |
.pdf ]
|
|
|
Birte Glimm, Ian Horrocks, Carsten Lutz, and Uli Sattler.
Conjunctive Query Answering for the Description Logic
SHIQ.
In Proc. of the 20th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2007), pages 399-404, 2007.
[ bib |
.pdf ]
|
|
|
Ian Horrocks, Birte Glimm, and Ulrike Sattler.
Hybrid Logics and Ontology Languages.
Electronic Notes in Theoretical Computer Science, 174(6):3-14,
2007.
Proceedings of the International Workshop on Hybrid Logic (HyLo
2006).
[ bib |
.pdf ]
|
|
|
Jeff Pan and Ian Horrocks.
RDFS(FA): Connecting RDF(S) and OWL DL.
IEEE Trans. on Knowledge and Data Engineering,
19(2):192-206, 2007.
[ bib |
.pdf ]
|
This file has been generated using
bibtex2html 1.75
Back to
Ian Horrocks' home page.
|
|
|
|
