@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},
bdsk-url-2 = {download/2010/GHMS10a.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},
bdsk-url-2 = {download/2010/GlHM10b.pdf}
}
@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},
bdsk-url-2 = {download/2010/MaKH10b.pdf}
}
@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 24th 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}
}
@article{PeMH09a,
author = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
date-added = {2009-07-02 12:42:57 +0100},
date-modified = {2010-07-23 11:49:09 +0100},
doi = {10.1016/j.jal.2009.09.004},
journal = {J.\ of Applied Logic},
note = {DOI \url{10.1016/j.jal.2009.09.004}},
number = {2},
pages = {186--209},
title = {Tractable Query Answering and Rewriting under Description Logic Constraints},
url = {download/2009/PeMH09a.pdf},
volume = {8},
year = {2010},
bdsk-url-1 = {download/2009/PeMH09a.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.jal.2009.09.004}
}
@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
