@inproceedings{MCHS08b,
author = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 5th Int.\ Workshop on OWL Experiences and Directions (OWLED 2008)},
date-added = {2012-04-12 11:48:25 +0100},
date-modified = {2012-04-12 11:51:28 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Modeling Ontologies using {OWL}, Description Graphs, and Rules},
url = {download/2008/MCHS08b.pdf},
volume = {432},
year = {2008},
bdsk-url-1 = {download/2008/ShMH08b.pdf},
bdsk-url-2 = {download/2008/MCHS08b.pdf}
}
@inproceedings{ShMH08b,
author = {Rob Shearer and Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the 5th Int.\ Workshop on OWL Experiences and Directions (OWLED 2008)},
date-added = {2012-04-11 09:53:41 +0100},
date-modified = {2012-04-11 10:03:03 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {{HermiT}: A Highly-Efficient OWL Reasoner},
url = {download/2008/ShMH08b.pdf},
volume = {432},
year = {2008},
bdsk-url-1 = {download/2008/ShMH08b.pdf}
}
@incollection{HoBe08,
address = {London},
author = {Horrocks, Ian and Bechhofer, Sean},
chapter = {19},
date-added = {2009-01-27 19:46:44 +0000},
date-modified = {2009-02-04 15:43:33 +0000},
doi = {http://dx.doi.org/10.1007/978-1-84800-050-6_19},
edition = {1st},
editor = {Simon Harper and Yeliz Yesilada},
isbn = {978-1-84800-049-0},
journal = {Web Accessibility},
month = {September},
pages = {315--330},
publisher = {Springer},
rating = {5},
series = {Human-Computer Interaction Series},
title = {Semantic Web},
url = {download/2008/HoBe08.pdf},
year = {2008},
bdsk-url-1 = {http://dx.doi.org/10.1007/978-1-84800-050-6_19},
bdsk-url-2 = {download/2008/HoBe08.pdf}
}
@inproceedings{MoHo08b,
author = {Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the 7th International Semantic Web Conference (ISWC 2008)},
date-added = {2008-12-08 11:15:36 +0000},
date-modified = {2008-12-08 11:20:05 +0000},
pages = {307--322},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{OWL} Datatypes: Design and Implementation},
url = {download/2008/MoHo08b.pdf},
volume = {5318},
year = {2008},
bdsk-url-1 = {download/2008/MoHo08b.pdf}
}
@article{Horr08a,
author = {Ian Horrocks},
date-added = {2008-11-27 18:32:29 +0000},
date-modified = {2008-12-08 11:24:39 +0000},
journal = {Communications of the {ACM}},
month = {December},
number = {12},
pages = {58--67},
title = {Ontologies and the semantic web},
url = {download/2008/Horr08a.pdf},
volume = {51},
year = {2008},
bdsk-url-1 = {download/2008/Horr08a.pdf}
}
@article{CHMP+08,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Boris Motik and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler},
date-added = {2008-10-20 10:54:05 +0100},
date-modified = {2008-11-23 09:22:54 +0000},
doi = {10.1016/j.websem.2008.05.001},
journal = {J.\ of Web Semantics},
month = {November},
number = {4},
pages = {309--322},
title = {{OWL 2}: The next step for {OWL}},
url = {download/2008/CHMP+08.pdf},
volume = {6},
year = {2008},
bdsk-url-1 = {download/2008/CHMP+08.pdf},
bdsk-url-2 = {http://dx.doi.org/10.1016/j.websem.2008.05.001}
}
@inproceedings{CuHo08a,
author = {Bernardo {Cuenca Grau} and Ian Horrocks},
booktitle = {Proc.\ of the 18th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2008)},
date-added = {2008-06-30 16:47:46 +0100},
date-modified = {2009-09-21 23:58:01 +0100},
pages = {40--44},
publisher = {IOS Press},
title = {Privacy-Preserving Query Answering in Logic-based Information Systems},
url = {download/2008/CuHo08a.pdf},
year = {2008},
bdsk-url-1 = {download/2008/CHKS08b.pdf},
bdsk-url-2 = {download/2008/CuHo08a.pdf}
}
@inproceedings{GlHS08b,
author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2008)},
date-added = {2008-06-14 19:12:08 +0100},
date-modified = {2008-09-21 12:55:02 +0100},
pages = {252--262},
title = {Unions of Conjunctive Queries in $\mathcal{SHOQ}$},
url = {download/2008/GlHS08b.pdf},
year = {2008},
bdsk-url-1 = {download/2008/GlHS08b.pdf}
}
@inproceedings{MCHS08a,
author = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 11th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2008)},
date-added = {2008-06-14 19:06:52 +0100},
date-modified = {2008-09-21 12:56:27 +0100},
pages = {296--306},
title = {Representing Structured Objects using Description Graphs},
url = {download/2008/MCHS08a.pdf},
year = {2008},
bdsk-url-1 = {download/2008/MCHS08a.pdf}
}
@inproceedings{PeMH08b,
author = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the Int.\ Workshop on Logics in Databases (LID 2008)},
date-added = {2008-05-01 17:20:22 +0100},
date-modified = {2008-05-01 17:21:45 +0100},
title = {Rewriting Conjunctive Queries over Description Logic Constraints},
url = {download/2008/PeMH08b.pdf},
year = {2008},
bdsk-url-1 = {download/2008/PeMH08b.pdf}
}
@inproceedings{MoHo08a,
author = {Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2008)},
date-added = {2008-04-29 20:57:19 +0100},
date-modified = {2008-09-19 08:00:14 +0100},
pages = {242--258},
title = {Individual Reuse in Description Logic Reasoning},
url = {download/2008/MoHo08a.pdf},
year = {2008},
bdsk-url-1 = {download/2008/MoHo08a.pdf}
}
@inproceedings{ShMH08a,
author = {Rob Shearer and Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
date-added = {2008-04-27 11:19:00 +0100},
date-modified = {2008-12-08 11:14:07 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi},
url = {download/2008/MoSH08a.pdf},
year = {2008},
bdsk-url-1 = {download/2008/MoSH08a.pdf}
}
@inproceedings{GlHS08a,
author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 2008 Description Logic Workshop (DL~2008)},
date-added = {2008-04-27 11:12:10 +0100},
date-modified = {2008-04-27 11:16:04 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Deciding $\mathcal{SHOQ}^\sqcap$ Knowledge Base Consistency using Alternating Automata},
url = {download/2008/GlHS08a.pdf},
year = {2008},
bdsk-url-1 = {download/2008/GlHS08a.pdf}
}
@inproceedings{THCM08a,
author = {Duc Thanh Tran and Peter Haase and Bernardo {Cuenca Grau} and Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the 23rd Nat.\ Conf.\ on Artificial Intelligence (AAAI~08)},
date-added = {2008-04-25 19:00:54 +0100},
date-modified = {2011-11-01 10:49:09 +0000},
isbn = {978-1-57735-368-3},
pages = {1237--1242},
title = {Metalevel Information in Ontology-Based Applications},
url = {download/2008/THCM08a.pdf},
year = {2008},
bdsk-url-1 = {download/2008/THCM08a.pdf}
}
@article{GHLS08a,
author = {Birte Glimm and Ian Horrocks and Carsten Lutz and Uli Sattler},
date-added = {2008-04-25 18:55:53 +0100},
date-modified = {2008-04-25 19:09:23 +0100},
journal = {J.\ of Artificial Intelligence Research},
pages = {157--204},
title = {Conjunctive Query Answering for the Description Logic $\mathcal{SHIQ}$},
url = {download/2008/GHLS08a.pdf},
volume = {31},
year = {2008},
bdsk-url-1 = {download/2008/GHLS08a.pdf}
}
@inproceedings{PeMH08a,
author = {H\'{e}ctor P\'{e}rez-Urbina and Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the Int.\ Workshop on Semantics in Data and Knowledge Bases (SDKB 2008)},
date-added = {2008-04-25 18:12:49 +0100},
date-modified = {2008-09-03 14:08:50 +0100},
pages = {199--214},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Rewriting Conjunctive Queries over Description Logic Knowledge Bases},
url = {download/2008/PeMH08a.pdf},
volume = {4925},
year = {2008},
bdsk-url-1 = {download/2008/PeMH08a.pdf}
}
@article{CHKS08a,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Yevgeny Kazakov and Ulrike Sattler},
date-added = {2008-02-22 09:28:07 +0000},
date-modified = {2008-02-22 09:29:24 +0000},
journal = {J.\ of Artificial Intelligence Research},
pages = {273-318},
title = {Modular Reuse of Ontologies: Theory and Practice},
url = {download/2008/CHKS08a.pdf},
volume = {31},
year = {2008},
bdsk-url-1 = {download/2008/CHKS08a.pdf}
}
@incollection{BaHS07a,
author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
booktitle = {Handbook of Knowledge Representation},
chapter = {3},
date-added = {2007-07-25 18:14:15 +0100},
date-modified = {2011-09-01 20:15:01 +0100},
editor = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce Porter},
pages = {135--180},
publisher = {Elsevier},
title = {{D}escription {L}ogics},
url = {download/2007/BaHS07a.pdf},
year = {2008},
bdsk-url-1 = {download/2007/BaHS07a.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
