@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{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}
}
@INCOLLECTION{HoPa10a,
AUTHOR = {Ian Horrocks and Peter F.\ Patel-Schneider},
BOOKTITLE = {Handbook of Semantic Web Technologies},
CHAPTER = {9},
DATE-ADDED = {2010-10-29 10:10:08 +0100},
DATE-MODIFIED = {2011-08-30 10:05:50 +0100},
DOI = {10.1007/978-3-540-92913-0},
EDITOR = {John Domingue and Dieter Fensel and James A. Hendler},
ISBN = {978-3-540-92912-3},
PAGES = {365--398},
PUBLISHER = {Springer},
TITLE = {{KR} and Reasoning on the Semantic Web: {OWL}},
URL = {download/2010/HoPa10a.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2010/HoPa10a.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}
}
