@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}
}
@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 = {2011-10-04 17:44:02 +0100},
JOURNAL = {J.\ of Artificial Intelligence Research},
TITLE = {Completeness Guarantees for Incomplete Ontology Reasoners:
Theory and Practice},
URL = {download/2011/CMSH11a.pdf},
YEAR = {2011},
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-01-19 11:59:50 +0000},
JOURNAL = {J.\ of Web Semantics},
NUMBER = {1},
TITLE = {A Novel Approach to Ontology Classification},
URL = {download/2011/HMSS11a.pdf},
VOLUME = {10},
YEAR = {2011},
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 Eigth 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 = {2011-08-09 15:49:48 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Query Answering over {SROIQ} Knowledge Bases with
{SPARQL}},
URL = {download/2011/KoGH11b.pdf},
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}
}
@INPROCEEDINGS{GHMS10a,
AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik and Giorgos
Stoilos},
BOOKTITLE = {Proc.\ of the 9th International Semantic Web Conference
(ISWC 2010)},
DATE-ADDED = {2010-08-24 22:48:09 +0100},
DATE-MODIFIED = {2010-12-16 12:33:45 -0800},
PAGES = {225--240},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Optimising Ontology Classification},
URL = {download/2010/GHMS10a.pdf},
VOLUME = {6496},
YEAR = {2010},
BDSK-URL-1 = {download/2010/StCH10b.pdf}
}
@INPROCEEDINGS{StCH10b,
AUTHOR = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian
Horrocks},
BOOKTITLE = {Proc.\ of the 9th International Semantic Web Conference
(ISWC 2010)},
DATE-ADDED = {2010-08-24 22:43:10 +0100},
DATE-MODIFIED = {2010-12-16 12:34:31 -0800},
PAGES = {747--763},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Completeness Guarantees for Incomplete Reasoners},
URL = {download/2010/StCH10b.pdf},
VOLUME = {6496},
YEAR = {2010},
BDSK-URL-1 = {download/2010/StCH10b.pdf}
}
@INPROCEEDINGS{GlHM10b,
AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik},
BOOKTITLE = {Proc.\ of the 2010 Description Logic Workshop (DL~2010)},
DATE-ADDED = {2010-04-01 15:28:56 +0100},
DATE-MODIFIED = {2010-08-29 18:58:26 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Optimized Description Logic Reasoning via Core Blocking},
URL = {download/2010/GlHM10b.pdf},
VOLUME = {573},
YEAR = {2010},
BDSK-URL-1 = {download/2010/GlHM10a}
}
@INPROCEEDINGS{MaKH10b,
AUTHOR = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2010 Description Logic Workshop (DL~2010)},
DATE-ADDED = {2010-04-01 15:26:08 +0100},
DATE-MODIFIED = {2010-08-29 18:57:55 +0100},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Tractable Extensions of the Description Logic
$\mathcal{EL}$ with Numerical Datatypes},
URL = {download/2010/MaKH10b.pdf},
VOLUME = {573},
YEAR = {2010},
BDSK-URL-1 = {download/2010/MaKH10a}
}
@INPROCEEDINGS{GlHM10a,
AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik},
BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning
(IJCAR~2010)},
DATE-ADDED = {2010-04-01 15:23:17 +0100},
DATE-MODIFIED = {2010-07-23 14:40:16 +0100},
EDITOR = {J\"{u}rgen Giesl and Reiner H\"{a}hnle},
PAGES = {457--471},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
TITLE = {Optimized Description Logic Reasoning via Core Blocking},
URL = {download/2010/GlHM10a.pdf},
VOLUME = {6173},
YEAR = {2010},
BDSK-URL-1 = {download/2010/GlHM10a.pdf}
}
@INPROCEEDINGS{MaKH10a,
AUTHOR = {Despoina Magka and Yevgeny Kazakov and Ian Horrocks},
BOOKTITLE = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning
(IJCAR~2010)},
DATE-ADDED = {2010-04-01 15:19:22 +0100},
DATE-MODIFIED = {2010-07-23 14:41:05 +0100},
EDITOR = {J\"{u}rgen Giesl and Reiner H\"{a}hnle},
PAGES = {61--75},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
TITLE = {Tractable Extensions of the Description Logic
$\mathcal{EL}$ with Numerical Datatypes},
URL = {download/2010/MaKH10a.pdf},
VOLUME = {6173},
YEAR = {2010},
BDSK-URL-1 = {download/2010/MaKH10a.pdf}
}
@INPROCEEDINGS{StCH10a,
AUTHOR = {Giorgos Stoilos and Bernardo {Cuenca Grau} and Ian
Horrocks},
BOOKTITLE = {Proc.\ of the 20th Nat.\ Conf.\ on Artificial Intelligence
(AAAI~10)},
DATE-ADDED = {2010-02-10 18:38:23 +0000},
DATE-MODIFIED = {2010-08-26 17:59:24 +0100},
PAGES = {1431--1436},
PUBLISHER = {{AAAI} Publications},
READ = {No},
TITLE = {How Incomplete is your Semantic Web Reasoner?},
URL = {download/2010/StCH10a.pdf},
YEAR = {2010},
BDSK-URL-1 = {download/2010/StCH10a.pdf}
}
This file has been generated by bibtex2html 1.75