@incollection{HPMW07,
author = {Ian Horrocks and Peter F.~Patel-Schneider and Deborah L.~McGuinness and Christopher A.~Welty},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications (2nd Edition)},
chapter = {14},
date-added = {2007-12-21 12:12:20 +0000},
date-modified = {2007-12-21 12:20:58 +0000},
editor = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
publisher = {Cambridge University Press},
title = {{OWL: a Description Logic Based Ontology Language for the Semantic Web}},
url = {download/2003/HPMW07.pdf},
year = 2007,
bdsk-url-1 = {download/2003/HPMW07.pdf}
}
@article{PaHo07b,
author = {Peter F.\ Patel-Schneider and Ian Horrocks},
date-added = {2007-09-11 17:04:17 +0100},
date-modified = {2007-11-30 11:21:38 +0000},
doi = {10.1016/j.websem.2007.09.004},
journal = {J.\ of Web Semantics},
title = {A Comparison of Two Modelling Paradigms in the Semantic Web},
url = {download/2007/PaHo07b.pdf},
year = 2007,
bdsk-url-1 = {download/2007/PaHo07b.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.websem.2007.09.004}
}
@article{SSPTH07,
author = {Giorgos Stoilos and Giorgos Stamou and Jeff Z.~Pan and Vassilis Tzouvaras and Ian Horrocks},
date-added = {2007-08-06 19:58:29 +0100},
date-modified = {2007-10-19 11:20:00 +0100},
journal = {J.\ of Artificial Intelligence Research},
pages = {273--320},
title = {Reasoning with Very Expressive Fuzzy Description Logics},
url = {download/2007/SSPTH07.pdf},
volume = {30},
year = {2007},
bdsk-url-1 = {download/2007/SSPTH07.pdf}
}
@inproceedings{GHHMS07,
author = {Christine Golbreic and Matthew Horridge and Ian Horrocks and Boris Motik and Rob Shearer},
booktitle = {Proc.\ of the 6th International Semantic Web Conference (ISWC 2007)},
date-added = {2007-07-25 17:37:45 +0100},
date-modified = {2007-11-30 11:10:19 +0000},
isbn = {978-3-540-76297-3},
pages = {169--182},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{OBO} and {OWL}: Leveraging Semantic Web Technologies for the Life Sciences},
url = {download/2007/GHHMS07.pdf},
volume = {4825},
year = {2007},
bdsk-url-1 = {download/2007/GHHMS07.pdf}
}
@inproceedings{MoSH07b,
author = {Boris Motik and Rob Shearer and Ian Horrocks},
booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
date-added = {2007-07-25 17:10:07 +0100},
date-modified = {2007-07-25 17:11:18 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {A Hypertableau Calculus for $\mathcal{SHIQ}$},
url = {download/2007/MoSH07b.pdf},
volume = {250},
year = {2007},
bdsk-url-1 = {download/2007/MoSH07b.pdf}
}
@inproceedings{CHKS07b,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
date-added = {2007-07-25 17:02:25 +0100},
date-modified = {2007-07-25 17:12:10 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Ontology Reuse: Better Safe than Sorry},
url = {download/2007/CHKS07b.pdf},
volume = {250},
year = {2007},
bdsk-url-1 = {download/2007/CHKS07b.pdf}
}
@inproceedings{CHKS07c,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
booktitle = {Proc.\ of the 3rd Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)},
date-added = {2007-07-23 23:57:36 +0100},
date-modified = {2014-04-22 20:14:54 +0000},
number = {258},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Extracting Modules from Ontologies: A Logic-based Approach},
url = {download/2007/CHKS07c.pdf},
year = {2007},
bdsk-url-1 = {download/2007/CHKS07c.pdf}
}
@inproceedings{GoHo07a,
author = {Christine Golbreich and Ian Horrocks},
booktitle = {Proc.\ of the 3rd Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)},
date-added = {2007-07-23 23:55:37 +0100},
date-modified = {2007-07-24 00:03:51 +0100},
number = {258},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {The {OBO} to {OWL} mapping, {GO} to {OWL} 1.1!},
url = {download/2007/GoHo07a.pdf},
year = {2007},
bdsk-url-1 = {download/2007/GoHo07a.pdf}
}
@inproceedings{MoHS07b,
author = {Boris Motik and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 3rd Int.\ Workshop on OWL Experiences and Directions (OWLED 2007)},
date-added = {2007-07-23 23:53:02 +0100},
date-modified = {2007-07-24 00:05:08 +0100},
number = {258},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Adding Integrity Constraints to {OWL}},
url = {download/2007/MoHS07b.pdf},
year = {2007},
bdsk-url-1 = {download/2007/MoHS07b.pdf}
}
@inproceedings{GlHS07a,
author = {Glimm, Birte and Horrocks, Ian and Sattler, Uli},
booktitle = {Proc.\ of the 2007 Description Logic Workshop (DL~2007)},
date-added = {2007-06-04 16:52:57 +0100},
date-modified = {2007-07-24 21:39:55 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Conjunctive Query Entailment for $\mathcal{SHOQ}$},
url = {download/2007/GlHS07a.pdf},
volume = {250},
year = {2007},
bdsk-url-1 = {download/2007/GlHS07a.pdf}
}
@article{HoGS07a,
author = {Ian Horrocks and Birte Glimm and Ulrike Sattler},
date-added = {2007-05-27 15:12:28 +0100},
date-modified = {2007-05-29 09:20:07 +0100},
journal = {Electronic Notes in Theoretical Computer Science},
note = {Proceedings of the International Workshop on Hybrid Logic (HyLo 2006)},
number = {6},
pages = {3--14},
title = {Hybrid Logics and Ontology Languages},
url = {download/2007/HoGS07a.pdf},
volume = {174},
year = {2007},
bdsk-url-1 = {download/2007/HoGS07a.pdf}
}
@article{TsHP07,
author = {Dmitry Tsarkov and Ian Horrocks and Peter~F.\ Patel-Schneider},
date-added = {2007-05-25 10:45:31 +0100},
date-modified = {2007-09-01 13:02:09 +0100},
doi = {10.1007/s10817-007-9077-y},
journal = {J.\ of Automated Reasoning},
number = {3},
pages = {277--316},
title = {Optimizing Terminological Reasoning for Expressive Description Logics},
url = {download/2007/TsHP07.pdf},
volume = {39},
year = {2007},
bdsk-url-1 = {download/2007/TsHP07.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9077-y}
}
@article{HoSa07a,
author = {Ian Horrocks and Ulrike Sattler},
date-added = {2007-05-25 10:40:14 +0100},
date-modified = {2007-09-01 13:05:24 +0100},
doi = {10.1007/s10817-007-9079-9},
issn = {0168-7433},
journal = {J.\ of Automated Reasoning},
number = {3},
pages = {249--276},
title = {A Tableau Decision Procedure for $\mathcal{SHOIQ}$},
url = {download/2007/HoSa07a.pdf},
volume = {39},
year = 2007,
bdsk-url-1 = {download/2007/HoSa07a.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1007/s10817-007-9079-9}
}
@inproceedings{MoSH07a,
author = {Boris Motik and Rob Shearer and Ian Horrocks},
booktitle = {Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction (CADE-21)},
date-added = {2007-05-03 14:24:20 +0100},
date-modified = {2007-07-25 18:12:24 +0100},
pages = {67--83},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Optimized Reasoning in Description Logics using Hypertableaux},
url = {download/2007/MoSH07a.pdf},
volume = {4603},
year = {2007},
bdsk-url-1 = {download/2007/MoSH07a.pdf}
}
@inproceedings{CHKS07a,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
booktitle = {Proc.\ of the Sixteenth International World Wide Web Conference (WWW 2007)},
date-added = {2007-01-31 09:47:45 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
title = {Just the Right Amount: Extracting Modules from Ontologies},
url = {download/2007/CHKS07a.pdf},
year = {2007},
bdsk-url-1 = {download/2007/CHKS07a.pdf}
}
@inproceedings{MoHS07a,
author = {Boris Motik and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the Sixteenth International World Wide Web Conference (WWW 2007)},
date-added = {2007-01-31 09:40:30 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
title = {Bridging the Gap Between {OWL} and Relational Databases},
url = {download/2007/MoHS07a.pdf},
year = {2007},
bdsk-url-1 = {download/2007/MoHS07a.pdf}
}
@article{PaHo07a,
author = {Jeff Pan and Ian Horrocks},
date-added = {2006-12-04 20:44:35 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
journal = {{IEEE} Trans.\ on Knowledge and Data Engineering},
number = {2},
pages = {192--206},
title = {{RDFS(FA)}: Connecting {RDF(S)} and {OWL~DL}},
url = {download/2007/PaHo07a.pdf},
volume = {19},
year = {2007},
bdsk-url-1 = {download/2007/PaHo07a.pdf}
}
@inproceedings{CKHS07a,
author = {Bernardo {Cuenca Grau} and Yevgeny Kazakov and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)},
date-added = {2006-09-24 08:39:30 +0100},
date-modified = {2007-05-02 18:26:39 +0100},
pages = {298--303},
title = {A Logical Framework for Modular Integration of Ontologies},
url = {download/2007/CKHS07a.pdf},
year = {2007},
bdsk-url-1 = {download/2007/CKHS07a.pdf}
}
@inproceedings{GHLS07a,
author = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
booktitle = {Proc.\ of the 20th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2007)},
date-added = {2006-09-22 19:36:54 +0100},
date-modified = {2007-05-02 18:20:53 +0100},
pages = {399--404},
title = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
url = {download/2007/GHLS07a.pdf},
year = {2007},
bdsk-url-1 = {download/2007/GHLS07a.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
