@ARTICLE{DSKB+13a,
AUTHOR = {Emanuele {Della Valle} and Stefan Schlobach and Markus
Kr{\"o}tzsch and Alessandro Bozzon and Stefano Ceri and Ian
Horrocks},
DATE-ADDED = {2013-02-16 22:28:53 +0000},
DATE-MODIFIED = {2013-02-16 22:55:51 +0000},
JOURNAL = {Semantic Web},
NUMBER = {2},
PAGES = {219--231},
TITLE = {Order matters! {H}arnessing a world of orderings for
reasoning over massive data},
URL = {download/2013/DSKB+13a.pdf},
VOLUME = {4},
YEAR = {2013},
BDSK-URL-1 = {download/2013/DSKB+13a.pdf}
}
@INCOLLECTION{Horr13a,
AUTHOR = {Ian Horrocks},
BOOKTITLE = {Evolution of Semantic Systems},
DATE-ADDED = {2013-05-01 09:36:32 +0000},
DATE-MODIFIED = {2013-05-01 09:42:45 +0000},
EDITOR = {Bernd-Olaf K\"{u}ppers and Udo Hahn and Stefan Artmann},
PAGES = {175--188},
PUBLISHER = {Springer},
TITLE = {What are ontologies good for?},
URL = {download/2013/Horr13a.pdf},
YEAR = {2013},
BDSK-URL-1 = {download/2007/BaHS07a.pdf}
}
@INPROCEEDINGS{ZhCH13a,
AUTHOR = {Yujiao Zhou and Bernardo {Cuenca Grau} and Ian Horrocks
and Zhe Wu and Jay Banerjee},
BOOKTITLE = {Proc.\ of the Twentysecond International World Wide Web
Conference (WWW 2013)},
DATE-ADDED = {2013-02-16 22:45:37 +0000},
DATE-MODIFIED = {2013-04-27 13:03:37 +0000},
PUBLISHER = {ACM},
TITLE = {Making the Most of your Triple Store: Query Answering in
{OWL 2} Using an {RL} Reasoner},
URL = {download/2013/ZhCH13a.pdf},
YEAR = {2013},
BDSK-URL-1 = {download/2013/ZhCH13a.pdf}
}
@INPROCEEDINGS{ArCH12b,
AUTHOR = {Ana {Armas Romero} and Bernardo {Cuenca Grau} and Ian
Horrocks},
BOOKTITLE = {Proc.\ of the 11th International Semantic Web Conference
(ISWC 2012)},
DATE-ADDED = {2013-02-16 19:39:26 +0000},
DATE-MODIFIED = {2013-02-16 22:19:42 +0000},
PAGES = {1--16},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{MORe}: Modular Combination of {OWL} Reasoners for
Ontology Classification},
URL = {download/2012/ArCH12b.pdf},
VOLUME = {7649},
YEAR = {2012},
BDSK-URL-1 = {download/2012/ArCH12a.pdf}
}
@INPROCEEDINGS{JCZH12a,
AUTHOR = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and
Yujiao Zhou and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 20th Eur.\ Conf.\ on Artificial Intelligence
(ECAI~2012)},
DATE-ADDED = {2013-02-16 19:25:46 +0000},
DATE-MODIFIED = {2013-02-16 19:33:40 +0000},
PAGES = {444--449},
PUBLISHER = {IOS Press},
TITLE = {Large-scale Interactive Ontology Matching: Algorithms and
Implementation},
URL = {download/2012/JCZH12a.pdf},
YEAR = {2012},
BDSK-URL-1 = {download/2012/JCZH12a.pdf}
}
@INPROCEEDINGS{ZhCH12a,
AUTHOR = {Yujiao Zhou and Bernardo {Cuenca Grau} and Ian Horrocks},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Proc.\ of the 2012 Description Logic Workshop (DL~2012)},
DATE-ADDED = {2012-06-23 15:05:02 +0100},
DATE-MODIFIED = {2013-02-16 22:50:37 +0000},
EE = {http://ceur-ws.org/Vol-846/paper_43.pdf},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Efficient Upper Bound Computation of Query Answers in
Expressive Description Logics},
URL = {download/2012/ZhCH12a.pdf},
VOLUME = {846},
YEAR = {2012},
BDSK-URL-1 = {download/2012/ZhCH12a.pdf}
}
@INPROCEEDINGS{MaMH12c,
AUTHOR = {Despoina Magka and Boris Motik and Ian Horrocks},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Proc.\ of the 2012 Description Logic Workshop (DL~2012)},
DATE-ADDED = {2012-06-23 15:03:17 +0100},
DATE-MODIFIED = {2012-06-23 15:04:26 +0100},
EE = {http://ceur-ws.org/Vol-846/paper_22.pdf},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Modelling Structured Domains Using Description Graphs and
Logic Programming},
URL = {download/2012/MaMH12c.pdf},
VOLUME = {846},
YEAR = {2012},
BDSK-URL-1 = {download/2012/MaMH12c.pdf}
}
@INPROCEEDINGS{ArCH12a,
AUTHOR = {Ana {Armas Romero} and Bernardo {Cuenca Grau} and Ian
Horrocks},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Proc.\ of the 2012 Description Logic Workshop (DL~2012)},
DATE-ADDED = {2012-06-23 14:59:10 +0100},
DATE-MODIFIED = {2012-06-23 15:02:36 +0100},
EE = {http://ceur-ws.org/Vol-846/paper_35.pdf},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Modular Combination of Reasoners for Ontology
Classification},
URL = {download/2012/ArCH12a.pdf},
VOLUME = {846},
YEAR = {2012},
BDSK-URL-1 = {download/2012/ArCH12a.pdf}
}
@INPROCEEDINGS{StMH12a,
AUTHOR = {Giorgio Stefanoni and Boris Motik and Ian Horrocks},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Proc.\ of the 2012 Description Logic Workshop (DL~2012)},
DATE-ADDED = {2012-06-23 14:57:10 +0100},
DATE-MODIFIED = {2012-06-23 15:01:27 +0100},
EE = {http://ceur-ws.org/Vol-846/paper_27.pdf},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Small Datalog Query Rewritings for EL},
URL = {download/2012/StMH12a.pdf},
VOLUME = {846},
YEAR = {2012},
BDSK-URL-1 = {download/2012/StMH12a.pdf}
}
@INPROCEEDINGS{MaMH12a,
AUTHOR = {Despoina Magka and Boris Motik and Ian Horrocks},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Proc.\ of the 9th European Semantic Web Conf.\ (ESWC 2012)},
DATE-ADDED = {2012-06-23 12:52:04 +0100},
DATE-MODIFIED = {2012-06-23 14:49:53 +0100},
EE = {http://dx.doi.org/10.1007/978-3-642-30284-8_29},
PAGES = {330-344},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Modelling Structured Domains Using Description Graphs and
Logic Programming},
URL = {download/2012/MaMH12a.pdf},
VOLUME = {7295},
YEAR = {2012},
BDSK-URL-1 = {download/2012/MaMH12a.pdf}
}
@INPROCEEDINGS{MaMH12b,
AUTHOR = {Despoina Magka and Boris Motik and Ian Horrocks},
BIBSOURCE = {DBLP, http://dblp.uni-trier.de},
BOOKTITLE = {Proc.\ of the 9th Int.\ Workshop on OWL Experiences and
Directions (OWLED 2012)},
DATE-ADDED = {2012-06-23 12:46:36 +0100},
DATE-MODIFIED = {2012-06-23 14:49:40 +0100},
EE = {http://ceur-ws.org/Vol-849/paper_23.pdf},
TITLE = {Classifying Chemicals Using Description Graphs and Logic
Programming},
URL = {download/2012/MaMH12b.pdf},
YEAR = {2012},
BDSK-URL-1 = {download/2012/MaMH12b.pdf}
}
@ARTICLE{Horr12a,
AUTHOR = {Ian Horrocks},
DATE-ADDED = {2012-04-06 09:02:39 +0100},
DATE-MODIFIED = {2012-04-06 09:12:05 +0100},
DOI = {10.1631/jzus.C1101001},
JOURNAL = {Journal of Zhejiang University - Science C},
NUMBER = {4},
PAGES = {241--244},
TITLE = {$\mbox{Semantics} \sqcap \mbox{scalability} \models \bot$?},
URL = {download/2012/Horr12a.pdf},
VOLUME = {13},
YEAR = {2012},
BDSK-URL-1 = {download/2012/Horr12a.pdf},
BDSK-URL-2 = {http://dx.doi.org/10.1631/jzus.C1101001}
}
@INPROCEEDINGS{CHKKMMW12a,
AUTHOR = {Bernardo {Cuenca Grau} and Ian Horrocks and Markus
Kr\"{o}tzsch and Clemens Kupke and Despoina Magka and Boris
Motik and Zhe Wang},
BOOKTITLE = {Proc.\ of the 13th Int.\ Conf.\ on Principles of Knowledge
Representation and Reasoning (KR~2012)},
DATE-ADDED = {2012-02-08 19:12:20 +0000},
DATE-MODIFIED = {2012-04-23 11:16:36 +0100},
TITLE = {Acyclicity Conditions and their Application to Query
Answering in Description Logics},
URL = {download/2012/CHKKMMW12a.pdf},
YEAR = {2012},
BDSK-URL-1 = {download/2012/CHKKMMW12a}
}
@INPROCEEDINGS{MoHK12a,
AUTHOR = {Boris Motik and Ian Horrocks and {Su Myeon} Kim},
BOOKTITLE = {Proc.\ of the Twentyfirst International World Wide Web
Conference (WWW 2012)},
DATE-ADDED = {2012-02-04 17:38:22 +0000},
DATE-MODIFIED = {2012-02-05 15:06:52 +0000},
PUBLISHER = {ACM},
TITLE = {Delta-Reasoner: a Semantic Web Reasoner for an Intelligent
Mobile Platform},
URL = {download/2012/MoHK12a.pdf},
YEAR = {2012},
BDSK-URL-1 = {download/2012/MoHK12a.pdf}
}
@ARTICLE{dlprimer,
AUTHOR = {Markus Kr\"{o}tzsch and Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
DATE-ADDED = {2012-01-20 10:30:50 +0000},
DATE-MODIFIED = {2012-01-20 10:46:15 +0000},
EE = {http://arxiv.org/abs/1201.4089},
JOURNAL = {CoRR},
TITLE = {A Description Logic Primer},
URL = {http://arxiv.org/abs/1201.4089},
VOLUME = {abs/1201.4089},
YEAR = {2012},
BDSK-URL-1 = {http://arxiv.org/abs/1201.4089}
}
@ARTICLE{MaKH11a,
AUTHOR = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
DATE-ADDED = {2012-01-19 11:28:38 +0000},
DATE-MODIFIED = {2012-01-19 11:31:15 +0000},
JOURNAL = {J.\ of Automated Reasoning},
NUMBER = {4},
PAGES = {427--450},
TITLE = {Tractable Extensions of the Description Logic
$\mathcal{EL}$ with Numerical Datatypes},
URL = {download/2011/MaKH11a.pdf},
VOLUME = {47},
YEAR = {2011},
BDSK-URL-1 = {download/2010/MaKH10a.pdf}
}
@INPROCEEDINGS{SCMH11a,
AUTHOR = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Boris Motik
and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 10th International Semantic Web Conference
(ISWC 2011)},
DATE-ADDED = {2012-01-19 11:15:49 +0000},
DATE-MODIFIED = {2012-01-19 11:31:43 +0000},
PAGES = {681--696},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Repairing Ontologies for Incomplete Reasoners},
URL = {download/2011/SCMH11a.pdf},
VOLUME = {7031},
YEAR = {2011},
BDSK-URL-1 = {download/2011/SCMH11a.pdf}
}
@ARTICLE{CMSH11a,
AUTHOR = {Bernardo {Cuenca Grau} and Boris Motik and Giorgos Stoilos
and Ian Horrocks},
DATE-ADDED = {2011-10-04 17:41:21 +0100},
DATE-MODIFIED = {2012-03-29 08:28:06 +0100},
JOURNAL = {J.\ of Artificial Intelligence Research},
MONTH = {March},
PAGES = {419--476},
TITLE = {Completeness Guarantees for Incomplete Ontology Reasoners:
Theory and Practice},
URL = {download/2011/CMSH11a.pdf},
VOLUME = {43},
YEAR = {2012},
BDSK-URL-1 = {download/2010/StCH10b.pdf}
}
@ARTICLE{HMSS11a,
AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik and Rob
Shearer and Giorgos Stoilos},
DATE-ADDED = {2011-10-04 17:06:28 +0100},
DATE-MODIFIED = {2012-06-23 12:44:18 +0100},
JOURNAL = {J.\ of Web Semantics},
PAGES = {84--101},
TITLE = {A Novel Approach to Ontology Classification},
URL = {download/2011/HMSS11a.pdf},
VOLUME = {14},
YEAR = {2012},
BDSK-URL-1 = {download/2011/HMSS11a.pdf}
}
@INCOLLECTION{Horr11a,
AUTHOR = {Ian Horrocks},
BOOKTITLE = {Foundations for the Web of Information and Services},
DATE-ADDED = {2011-08-09 15:30:43 +0100},
DATE-MODIFIED = {2011-08-09 15:49:23 +0100},
DOI = {10.1007/978-3-642-19797-0},
EDITOR = {Dieter Fensel},
PAGES = {103--112},
PUBLISHER = {Springer},
TITLE = {Tool Support for Ontology Engineering},
URL = {download/2011/Horr11a.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2010/Horr11a.pdf},
BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-19797-0}
}
@INPROCEEDINGS{KoGH11c,
AUTHOR = {Ilianna Kollia and Birte Glimm and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 8th Int.\ Workshop on OWL Experiences and
Directions (OWLED 2011)},
DATE-ADDED = {2011-06-17 17:35:44 +0100},
DATE-MODIFIED = {2011-08-09 15:49:37 +0100},
TITLE = {Query Answering over {SROIQ} Knowledge Bases with
{SPARQL}},
URL = {download/2011/KoGH11c.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2010/GlHM10a}
}
@INPROCEEDINGS{KoGH11b,
AUTHOR = {Ilianna Kollia and Birte Glimm and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2011 Description Logic Workshop (DL~2011)},
DATE-ADDED = {2011-06-17 17:24:55 +0100},
DATE-MODIFIED = {2012-06-09 11:28:16 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Query Answering over {SROIQ} Knowledge Bases with
{SPARQL}},
URL = {download/2011/KoGH11b.pdf},
VOLUME = {745},
YEAR = {2011},
BDSK-URL-1 = {download/2010/GlHM10a}
}
@INPROCEEDINGS{SiKH11a,
AUTHOR = {Franti\v{s}ek Siman\v{c}\'{i}k and Yevgeny Kazakov and Ian
Horrocks},
BOOKTITLE = {Proc.\ of the 22nd Int.\ Joint Conf.\ on Artificial
Intelligence (IJCAI~2011)},
DATE-ADDED = {2011-04-21 17:21:14 +0100},
DATE-MODIFIED = {2011-08-30 10:08:51 +0100},
PAGES = {1093--1098},
TITLE = {Consequence-Based Reasoning beyond Horn Ontologies},
URL = {download/2011/SiKH11a.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2011/SiKH11a.pdf}
}
@ARTICLE{JCHB11b,
AUTHOR = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and
Ian Horrocks and Rafael {Berlanga Llavori}},
DATE-ADDED = {2011-03-08 16:05:44 +0000},
DATE-MODIFIED = {2011-04-21 17:37:50 +0100},
DOI = {doi:10.1186/2041-1480-2-S1-S2},
JOURNAL = {Journal of Biomedical Semantics},
TITLE = {Logic-based assessment of the compatibility of {UMLS}
ontology sources},
URL = {http://www.jbiomedsem.com/content/pdf/2041-1480-2-S1-S2.pdf},
VOLUME = {2(Suppl 1):S2},
YEAR = {2011},
BDSK-URL-1 = {download/2009/JCHB09a.pdf}
}
@INPROCEEDINGS{KoGH11a,
AUTHOR = {Ilianna Kollia and Birte Glimm and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 8th European Semantic Web Conf.\ (ESWC 2011)},
DATE-ADDED = {2011-03-01 15:01:33 +0000},
DATE-MODIFIED = {2011-08-30 10:10:27 +0100},
PAGES = {382--396},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{SPARQL} Query Answering over {OWL} Ontologies},
URL = {download/2011/KoGH11a.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2011/KoGH11a.pdf}
}
@ARTICLE{JCHB11a,
ANNOTE = {AKA: JCHB10a},
AUTHOR = {Ernesto Jim\'{e}nez-Ruiz and Bernardo {Cuenca Grau} and
Ian Horrocks and Rafael {Berlanga Llavori}},
DATE-ADDED = {2010-10-07 15:17:03 +0100},
DATE-MODIFIED = {2010-12-03 13:10:54 -0800},
JOURNAL = {Data and Knowledge Engineering},
NUMBER = {1},
PAGES = {146---164},
TITLE = {Supporting Concurrent Ontology Development: Framework,
Algorithms and Tool},
URL = {download/2011/JCHB11a.pdf},
VOLUME = {70},
YEAR = {2011},
BDSK-URL-1 = {download/2009/JCHB09a.pdf}
}
This file has been generated by bibtex2html 1.75