@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}
}
@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}
}
