University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon
@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
				Baader
				version
				1
			
		
		conjunction
		0
		group name
		Baader
	
	
		conditions