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
@article{PSSTH06,
  author = {Jeff Z. Pan and Giorgos Stoilos and Giorgos B. Stamou and Vassilis Tzouvaras and Ian Horrocks},
  date-added = {2007-01-31 10:10:48 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  journal = {J.\ on Data Semantics},
  pages = {28--46},
  publisher = {SV},
  title = {{f-SWRL}: A Fuzzy Extension of {SWRL}},
  url = {download/2006/PSSTH06.pdf},
  volume = {VI},
  year = {2006},
  bdsk-url-1 = {download/2006/PSSTH06.pdf}
}
@incollection{HHSS06,
  author = {Ian Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate Schmidt},
  booktitle = {Handbook of Modal Logic},
  chapter = {4},
  date-added = {2006-11-22 21:49:24 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  editor = {Patrick Blackburn and Johan {van Benthem} and Frank Wolter},
  pages = {181--245},
  publisher = {Elsevier},
  title = {Computational modal logic},
  url = {download/2006/HHSS06.pdf},
  year = {2006},
  bdsk-url-1 = {download/2006/HHSS06.pdf}
}
@inproceedings{CHPP+06,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler},
  booktitle = {Proc.\ of the 2nd Int.\ Workshop on OWL Experiences and Directions (OWLED 2006)},
  date-added = {2006-11-15 09:21:40 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Next Steps for {OWL}},
  url = {download/2006/CHPP+06.pdf},
  volume = {216},
  year = {2006},
  bdsk-url-1 = {download/2006/CHPP+06.pdf}
}
@inproceedings{MoHo06,
  author = {Boris Motik and Ian Horrocks},
  booktitle = {Proc.\ of the 2nd Int.\ Workshop on OWL Experiences and Directions (OWLED 2006)},
  date-added = {2006-11-15 09:16:01 +0000},
  date-modified = {2007-03-07 20:44:26 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Problems with {OWL} Syntax},
  url = {download/2006/MoHo06.pdf},
  volume = {216},
  year = {2006},
  bdsk-url-1 = {download/2006/MoHo06.pdf}
}
@inproceedings{GaTH06b,
  author = {Tom Gardiner and Dmitry Tsarkov and Ian Horrocks},
  booktitle = {Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)},
  date-added = {2006-09-12 20:39:38 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  pages = {654--667},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Framework For an Automated Comparison of Description Logic Reasoners},
  url = {download/2006/GaTH06b.pdf},
  volume = {4273},
  year = 2006,
  bdsk-url-1 = {download/2006/GaTH06b.pdf}
}
@inproceedings{MHRS06,
  author = {Boris Motik and Ian Horrocks and Riccardo Rosati and Ulrike Sattler},
  booktitle = {Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)},
  date-added = {2006-09-12 18:58:56 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  pages = {501--514},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Can {OWL} and Logic Programming Live Together Happily Ever After?},
  url = {download/2006/MHRS06.pdf},
  volume = {4273},
  year = 2006,
  bdsk-url-1 = {download/2006/MHRS06.pdf}
}
@article{PaHo06b,
  author = {Jeff Pan and Ian Horrocks},
  date-added = {2006-09-12 18:44:17 +0100},
  date-modified = {2007-08-09 16:31:05 +0100},
  issn = {1570-8268},
  journal = {J.\ of Web Semantics},
  number = 1,
  pages = {29--39},
  publisher = {Elsevier},
  title = {{OWL-Eu}: Adding Customised Datatypes into {OWL}},
  url = {download/2006/PaHo06b.pdf},
  volume = 4,
  year = 2006,
  bdsk-url-1 = {download/2006/PaHo06b.pdf}
}
@inproceedings{GlHS06a,
  author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  booktitle = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
  date-added = {2006-07-15 10:32:11 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Conjunctive Query Answering for Description Logics with Transitive Roles},
  url = {download/2006/GlHS06a.pdf},
  volume = {189},
  year = {2006},
  bdsk-url-1 = {download/2006/GlHS06a.pdf}
}
@techreport{GHLS06a,
  author = {Birte Glimm and Ian Horrocks and Carsten Lutz and Ulrike Sattler},
  date-added = {2006-07-03 19:00:50 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  institution = {University of Manchester},
  title = {Conjunctive Query Answering for $\mathcal{SHIQ}$},
  url = {download/2006/GHLS06a.pdf},
  year = {2006},
  bdsk-url-1 = {download/2006/GHLS06a.pdf}
}
@inproceedings{CHKS06,
  author = {Bernardo {Cuenca Grau} and Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  booktitle = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
  date-added = {2006-06-17 14:43:06 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Will my Ontologies Fit Together?},
  url = {download/2006/CHKS06.pdf},
  volume = {189},
  year = {2006},
  bdsk-url-1 = {download/2006/CHKS06.pdf}
}
@inproceedings{GaHT06a,
  author = {Tom Gardiner and Ian Horrocks and Dmitry Tsarkov},
  booktitle = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
  date-added = {2006-06-17 14:37:57 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Automated Benchmarking of Description Logic Reasoners},
  url = {download/2006/GaHT06a.pdf},
  volume = {189},
  year = {2006},
  bdsk-url-1 = {download/2006/GaHT06a.pdf}
}
@techreport{GlHS06b,
  author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
  date-added = {2006-06-17 14:31:23 +0100},
  date-modified = {2007-03-07 20:44:26 +0000},
  institution = {University of Manchester, School of Computer Science},
  title = {Conjunctive Query Answering for the Description Logic $\mathcal{SHOIQ}$},
  url = {download/2006/GlHS06b.pdf},
  year = {2006},
  bdsk-url-1 = {download/2006/GlHS06b.pdf}
}
@misc{OWL11-overview,
  author = {Peter Patel-Schneider and Ian Horrocks},
  date-modified = {2007-07-24 21:49:24 +0100},
  howpublished = {{W3C} {M}ember {S}ubmission},
  institution = {{W}orld {W}ide {W}eb {C}onsortium},
  key = {OWL11},
  month = {19 December},
  note = {Available at \url{http://www.w3.org/Submission/owl11-overview/}},
  title = {{OWL} 1.1 {W}eb {O}ntology {L}anguage Overview},
  url = {http://www.webont.org/owl/1.1/},
  year = 2006,
  bdsk-url-1 = {http://www.webont.org/owl/1.1/}
}
@inproceedings{HoVo06a,
  author = {Ian Horrocks and Andrei Voronkov},
  booktitle = {Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {3-540-31782-1},
  number = {3861},
  pages = {201--218},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Reasoning Support for Expressive Ontology Languages Using a Theorem Prover},
  url = {download/2006/HoVo06a.pdf},
  year = 2006,
  bdsk-url-1 = {download/2006/HoVo06a.pdf}
}
@inproceedings{HoKS06a,
  author = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
  booktitle = {Proc.\ of the 10th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2006)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {978-1-57735-271-6},
  pages = {57--67},
  publisher = {AAAI Press},
  title = {The Even More Irresistible $\mathcal{SROIQ}$},
  url = {download/2006/HoKS06a.pdf},
  year = 2006,
  bdsk-url-1 = {download/2006/HoKS06a.pdf}
}
@inproceedings{PaHo06a,
  author = {Peter F.\ Patel-Schneider and Ian Horrocks},
  booktitle = {Proc.\ of the Fifteenth International World Wide Web Conference (WWW 2006)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {1-59593-323-9},
  pages = {3--12},
  publisher = {ACM},
  title = {A Comparison of Two Modelling Paradigms in the Semantic Web},
  url = {download/2006/PaHo06a.pdf},
  year = 2006,
  bdsk-url-1 = {download/2006/PaHo06a.pdf}
}
@inproceedings{HZBH+06,
  author = {Duncan Hull and Evgeny Zolin and Andrey Bovykin and Ian Horrocks and Ulrike Sattler and Robert Stevens},
  booktitle = {Proc.\ of the 21st Nat.\ Conf.\ on Artificial Intelligence (AAAI-06)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {978-1-57735-281-5},
  pages = {1319--1324},
  title = {Deciding semantic matching of stateless services},
  url = {download/2006/HZBH+06.pdf},
  year = 2006,
  bdsk-url-1 = {download/2006/HZBH+06.pdf}
}
@inproceedings{TsHo06a,
  author = {Dmitry Tsarkov and Ian Horrocks},
  booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2006)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {292--297},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{FaCT}++ Description Logic Reasoner: System Description},
  url = {download/2006/TsHo06a.pdf},
  volume = {4130},
  year = 2006,
  bdsk-url-1 = {download/2006/TsHo06a.pdf}
}
@comment{{BibDesk Smart Groups




	
		conditions
		
			
				comparison
				2
				key
				Author
				value
				Baader
				version
				1
			
		
		conjunction
		0
		group name
		Baader
	
	
		conditions