@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},
bdsk-url-2 = {download/2011/MaKH11a.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}
}
@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},
bdsk-url-3 = {download/2011/Horr11a.pdf}
}
@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},
bdsk-url-2 = {download/2011/KoGH11c.pdf}
}
@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},
bdsk-url-2 = {download/2011/KoGH11b.pdf}
}
@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 = {2014-10-07 10:54:06 +0000},
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},
bdsk-url-2 = {http://www.jbiomedsem.com/content/pdf/2041-1480-2-S1-S2.pdf},
bdsk-url-3 = {http://dx.doi.org/10.1186/2041-1480-2-S1-S2}
}
@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},
bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-540-92913-0}
}
@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},
bdsk-url-2 = {download/2011/JCHB11a.pdf}
}
@comment{{BibDesk Smart Groups
conditions
comparison
2
key
Author
value
Horrocks
version
1
conjunction
0
group name
Horrocks
conditions
comparison
2
key
value
version
1
conjunction
0
group name
Last Import
conditions
