@incollection{PaHo02b,
address = {Amsterdam (NL)},
author = {Jeff Pan and Ian Horrocks},
booktitle = {The emerging semantic web},
date-modified = {2011-11-17 17:01:35 +0000},
editor = {Cruz, Isabel and Decker, Stefan and Euzenat, J\'{e}r\^{o}me and McGuinness, Deborah},
isbn = {1-58603-255-0},
pages = {21--45},
publisher = {IOS press},
series = {Frontiers in artificial intelligence and applications},
title = {Metamodeling Architecture of Web Ontology Languages},
url = {download/2002/PaHo02b.pdf},
year = 2002,
bdsk-url-1 = {download/2002/PaHo02b.pdf}
}
@inproceedings{PaHo02c,
author = {Jeff Z. Pan and Ian Horrocks},
booktitle = {Proc.\ of the 2002 Int.\ Conference on Ontologies, Databases and Applications of SEmantics (ODBASE 2002)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {3-540-00106-9},
number = {2519},
pages = {1067--1081},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Extending Datatype Support in Web Ontology Reasoning}},
url = {download/2002/Pan-Horrocks-datatype-2002.pdf},
year = {2002},
bdsk-url-1 = {download/2002/Pan-Horrocks-datatype-2002.pdf}
}
@article{BaHS02a,
author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
date-modified = {2007-03-07 20:44:29 +0000},
issn = {09331875},
journal = {KI -- K{\"u}nstliche Intelligenz},
number = 4,
pages = {57--59},
title = {Description Logics for the Semantic Web},
url = {download/2002/BaHS02a.pdf},
volume = 16,
year = 2002,
bdsk-url-1 = {download/2002/BaHS02a.pdf}
}
@techreport{LAHS02,
author = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
date-modified = {2007-03-07 20:44:29 +0000},
institution = {Lehrstuhl f{\"u}r Automatentheorie Institut f{\"u}r Theoretische Informatik, TU Dresden},
number = {02-04},
title = {Keys, Nominals, and Concrete Domains},
type = {LTCS-Report},
url = {download/2002/LAHS02.pdf},
year = 2002,
bdsk-url-1 = {download/2002/LAHS02.pdf}
}
@techreport{HoSa02b,
author = {Ian Horrocks and Ulrike Sattler},
date-modified = {2007-03-07 20:44:29 +0000},
institution = {Lehrstuhl f{\"u}r Automatentheorie Institut f{\"u}r Theoretische Informatik, TU Dresden},
number = {02-06},
title = {Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms},
type = {LTCS-Report},
url = {download/2002/HoSa02b.pdf},
year = 2002,
bdsk-url-1 = {download/2002/HoSa02b.pdf}
}
@article{SGHB02a,
author = {Robert Stevens and Carole Goble and Ian Horrocks and Sean Bechhofer},
date-modified = {2007-03-07 20:44:29 +0000},
issn = {1089-7771},
journal = {IEEE Transactions on Information Technology in Biomedicine},
number = 2,
pages = {135--141},
title = {Building a bioinformatics ontology using {OIL}},
url = {download/2002/oiling.pdf},
volume = 6,
year = 2002,
bdsk-url-1 = {download/2002/oiling.pdf}
}
@article{SGHB02b,
author = {Robert Stevens and Carole Goble and Ian Horrocks and Sean Bechhofer},
date-modified = {2007-03-07 20:44:29 +0000},
issn = {1089-7771},
journal = {IEEE Transactions on Information Technology in Biomedicine},
number = 2,
pages = {129--134},
title = {{OIL}ing the way to machine understandable bioinformatics resources},
url = {download/2002/building.pdf},
volume = 6,
year = 2002,
bdsk-url-1 = {download/2002/building.pdf}
}
@inproceedings{Horr02a,
author = {Ian Horrocks},
booktitle = {Proc.\ of EDBT 2002},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {3-540-43324-4},
month = mar,
number = 2287,
pages = {2--13},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{DAML+OIL}: a Reason-able Web Ontology Language},
url = {download/2002/edbt02.pdf},
year = 2002,
bdsk-url-1 = {download/2002/edbt02.pdf}
}
@inproceedings{TeHG02a,
author = {Sergio Tessaris and Ian Horrocks and Graham Gough},
booktitle = {Proc.\ of the 8th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {1-55860-847-8},
pages = {227--235},
publisher = {Morgan Kaufmann},
title = {Evaluating a modular {Abox} algorithm},
url = {download/2002/kr02.pdf},
year = {2002},
bdsk-url-1 = {download/2002/kr02.pdf}
}
@inproceedings{HoPH02a,
author = {Ian Horrocks and Peter F. Patel-Schneider and Frank van Harmelen},
booktitle = {Proc.\ of the 18th Nat.\ Conf.\ on Artificial Intelligence (AAAI~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {0-26251-129-0},
pages = {792--797},
publisher = {AAAI Press},
title = {Reviewing the Design of {DAML+OIL}: An Ontology Language for the Semantic Web},
url = {download/2002/AAAI02IHorrocks.pdf},
year = 2002,
bdsk-url-1 = {download/2002/AAAI02IHorrocks.pdf}
}
@article{Horr02,
annote = {AKA: Horr02b},
author = {Ian Horrocks},
date-modified = {2007-03-07 20:44:29 +0000},
journal = {Bull.\ of the IEEE Computer Society Technical Committee on Data Engineering},
month = mar,
number = 1,
pages = {4--9},
title = {{DAML+OIL}: a Description Logic for the Semantic Web},
url = {download/2002/ieeede2002.pdf},
volume = 25,
year = 2002,
bdsk-url-1 = {download/2002/ieeede2002.pdf}
}
@inproceedings{Horr02c,
author = {Ian Horrocks},
booktitle = {Proc.\ of the 2002 Description Logic Workshop (DL~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
pages = {99--106},
series = {CEUR},
title = {Backtracking and Qualified Number Restrictions: Some Preliminary Results},
url = {download/2002/dl02-backtracking.pdf},
volume = 63,
year = 2002,
bdsk-url-1 = {download/2002/dl02-backtracking.pdf}
}
@inproceedings{PaHo02a,
author = {Jeff Z.~Pan and Ian Horrocks},
booktitle = {Proc.\ of the 2002 Description Logic Workshop (DL~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
pages = {53--62},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Semantic Web Ontology Reasoning in the $\mathcal{SHOQ({\bf D_n})}$ Description Logic},
url = {download/2002/dl02-shoqdn.pdf},
volume = 63,
year = 2002,
bdsk-url-1 = {download/2002/dl02-shoqdn.pdf}
}
@article{Horr02d,
author = {Ian Horrocks},
date-modified = {2007-03-07 20:44:29 +0000},
issn = {1094-7167},
journal = {{IEEE} Intelligent Systems},
note = {Trends and Controversies},
number = 2,
pages = {74--75},
title = {An Ontology Language for the Semantic Web},
url = {http://www.computer.org/intelligent/},
volume = 17,
year = 2002,
bdsk-url-1 = {http://www.computer.org/intelligent/}
}
@inproceedings{HoTe02a,
author = {Ian~Horrocks and Sergio~Tessaris},
booktitle = {Proc.\ of the 1st International Semantic Web Conference (ISWC 2002)},
date-modified = {2007-11-30 10:57:01 +0000},
editor = {Ian Horrocks and James Hendler},
isbn = {3-540-43760-6},
pages = {177--191},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {Querying the Semantic Web: a Formal Approach},
url = {download/2002/iswc2002.pdf},
volume = {2342},
year = 2002,
bdsk-url-1 = {download/2002/iswc2002.pdf}
}
@inproceedings{HoSa02a,
author = {Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 15th Eur.\ Conf.\ on Artificial Intelligence (ECAI~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {1-58603-257-7},
month = jul,
pages = {277--281},
title = {Optimised Reasoning for $\mathcal{SHIQ}$},
url = {download/2002/HorrocksSattlerECAI2002.pdf},
year = 2002,
bdsk-url-1 = {download/2002/HorrocksSattlerECAI2002.pdf}
}
@inproceedings{TeHo02a,
author = {Sergio Tessaris and Ian Horrocks},
booktitle = {Proc.\ of the 9th Int.\ Conf.\ on Logic for Programming, Artificial Intelligence and Reasoning (LPAR~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {3-540-00010-0},
number = 2514,
pages = {435--449},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics},
url = {download/2002/lpar02.pdf},
year = {2002},
bdsk-url-1 = {download/2002/lpar02.pdf}
}
@inproceedings{Horr02e,
author = {Ian Horrocks},
booktitle = {Proc.\ of the 19th Int.\ Conf.\ on Automated Deduction (CADE~2002)},
date-modified = {2007-03-07 20:44:29 +0000},
editor = {Andrei Voronkov},
isbn = {3-540-43931-5},
number = 2392,
pages = {1--15},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Reasoning with Expressive Description Logics: Theory and Practice},
url = {download/2002/cade02.pdf},
year = 2002,
bdsk-url-1 = {download/2002/cade02.pdf}
}
@article{Horrocks01m,
author = {B. Bennett and C. Dixon and M. Fisher and U. Hustadt and E. Franconi and I. Horrocks and M. de Rijke},
date-modified = {2008-06-20 18:31:01 +0100},
issn = {0269-2821},
journal = {AI Review},
month = mar,
number = 1,
pages = {1--20},
title = {Combinations of Modal Logics},
url = {download/2002/Horrocks01m.pdf},
volume = 17,
year = 2002,
bdsk-url-1 = {download/2002/ai-review-final.ps},
bdsk-url-2 = {download/2002/Horrocks01m.pdf}
}
@article{Horrocks01n,
author = {J. Broekstra and M. Klein and S. Decker and D. Fensel and F. van Harmelen and I. Horrocks},
date-modified = {2007-07-25 11:55:07 +0100},
journal = {Computer Networks},
number = 5,
pages = {609--634},
title = {Enabling knowledge representation on the Web by Extending {RDF} Schema},
url = {download/2002/Horrocks01n.pdf},
volume = 39,
year = 2002,
bdsk-url-1 = {download/2002/Horrocks01n.pdf}
}
@article{HoPa02,
annote = {AKA: Horrocks99f},
author = {I. Horrocks and P. F. Patel-Schneider},
date-modified = {2008-06-20 19:15:50 +0100},
isbn = {1586030612},
issn = {0168-7433},
journal = {J.\ of Automated Reasoning},
month = feb,
number = 2,
pages = {173--204},
publisher = {Springer},
title = {Evaluating Optimised Decision Procedures for Propositional Modal $\mathbf{K}_{(\mathbf{m})}$ Satisfiability},
url = {download/2002/HoPaJAR.pdf},
volume = 28,
year = 2002,
bdsk-url-1 = {download/2002/HoPaJAR.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