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
@inproceedings{HoPa04a,
  author = {Ian Horrocks and Peter F.\ Patel-Schneider},
  booktitle = {Proc.\ of the Thirteenth International World Wide Web Conference (WWW 2004)},
  date-modified = {2007-03-07 20:44:29 +0000},
  isbn = {1-58113-844-X},
  pages = {723--731},
  publisher = {ACM},
  title = {A Proposal for an {OWL} Rules Language},
  url = {download/2004/HoPa04a.pdf},
  year = 2004,
  bdsk-url-1 = {download/2004/HoPa04a.pdf}
}
@article{HoSa04a,
  author = {Ian Horrocks and Ulrike Sattler},
  date-modified = {2007-06-11 18:45:06 +0100},
  issn = {09401121},
  journal = {Artificial Intelligence},
  month = dec,
  number = {1--2},
  pages = {79--104},
  publisher = {Elsevier},
  title = {Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms},
  url = {download/2004/HoSa04a.pdf},
  volume = 160,
  year = 2004,
  bdsk-url-1 = {download/2004/HoSa04a.pdf}
}
@inproceedings{HLTB04a,
  author = {Ian Horrocks and Lei Li and Daniele Turi and Sean Bechhofer},
  booktitle = {Proc.\ of the 2004 Description Logic Workshop (DL~2004)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {31--40},
  title = {The Instance Store: {DL} Reasoning with Large Numbers of Individuals},
  url = {download/2004/HLTB04a.pdf},
  year = 2004,
  bdsk-url-1 = {download/2004/HLTB04a.pdf}
}
@inproceedings{TsHo04a,
  author = {Dmitry Tsarkov and Ian Horrocks},
  booktitle = {Proc.\ of the 2004 Description Logic Workshop (DL~2004)},
  date-modified = {2007-03-07 20:44:29 +0000},
  pages = {41--50},
  title = {Efficient Reasoning with Range and Domain Constraints},
  url = {download/2004/TsHo04a.pdf},
  year = 2004,
  bdsk-url-1 = {download/2004/TsHo04a.pdf}
}
@incollection{BaHS04a,
  author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
  booktitle = {Handbook on Ontologies},
  date-modified = {2007-07-26 16:08:40 +0100},
  editor = {Steffen Staab and Rudi Studer},
  isbn = {3-540-40834-7},
  pages = {3--28},
  publisher = {Springer},
  series = {International Handbooks on Information Systems},
  title = {Description Logics},
  url = {download/2004/BaHS04a.pdf},
  year = 2004,
  bdsk-url-1 = {download/2004/BaHS04a.pdf}
}
@inproceedings{TRBH04a,
  author = {Dmitry Tsarkov and Alexandre Riazanov and Sean Bechhofer and Ian Horrocks},
  booktitle = {Proc.\ of the 3rd International Semantic Web Conference (ISWC 2004)},
  date-modified = {2007-11-30 11:08:36 +0000},
  editor = {Sheila A.\ McIlraith and Dimitris Plexousakis and Frank van Harmelen},
  isbn = {3-540-23798-4},
  pages = {471--485},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Using {Vampire} to Reason with {OWL}},
  url = {download/2004/TRBH04a.pdf},
  volume = {3298},
  year = 2004,
  bdsk-url-1 = {download/2004/TRBH04a.pdf}
}
@article{LiHo04a,
  author = {Lei Li and Ian Horrocks},
  date-modified = {2008-06-20 14:32:33 +0100},
  issn = {1086-4415},
  journal = {Int.\ J.\ of Electronic Commerce},
  number = 4,
  pages = {39--60},
  title = {A Software Framework for Matchmaking Based on Semantic Web Technology},
  url = {download/2004/LiHo04a.pdf},
  volume = 8,
  year = 2004,
  bdsk-url-1 = {http://www.gvsu.edu/business/ijec/},
  bdsk-url-2 = {download/2004/LiHo04a.pdf}
}
@article{FiHH04a,
  author = {Richard Fikes and Patrick Hayes and Ian Horrocks},
  date-modified = {2007-03-07 20:44:29 +0000},
  issn = {1570-8268},
  journal = {J.\ of Web Semantics},
  number = 1,
  pages = {19--29},
  title = {{OWL-QL}---a language for deductive query answering on the {S}emantic {W}eb},
  url = {download/2004/FiHH04a.pdf},
  volume = 2,
  year = 2004,
  bdsk-url-1 = {download/2004/FiHH04a.pdf}
}
@article{HoPa04b,
  author = {Ian Horrocks and Peter Patel-Schneider},
  date-modified = {2007-06-11 18:43:26 +0100},
  issn = {1570-8268},
  journal = {J.\ of Web Semantics},
  number = 4,
  pages = {345--357},
  publisher = {Elsevier},
  title = {Reducing {OWL} entailment to description logic satisfiability},
  url = {download/2004/HoPa04b.pdf},
  volume = 1,
  year = 2004,
  bdsk-url-1 = {download/2004/HoPa04b.pdf}
}
@misc{owl-ref-w3c,
  author = {Sean Bechhofer and van Harmelen, Frank and Jim Hendler and Ian Horrocks and Deborah L. McGuinness and Peter F.\ Patel-Schneider and Lynn Andrea Stein},
  date-modified = {2008-06-20 14:01:41 +0100},
  howpublished = {{W3C} {R}ecommendation},
  institution = {World Wide Web Consortium},
  month = {10 February},
  note = {Available at \url{http://www.w3.org/TR/owl-ref/}},
  title = {{OWL} {W}eb {O}ntology {L}anguage Reference},
  url = {http://www.w3.org/TR/owl-ref/},
  year = 2004,
  bdsk-url-1 = {http://www.w3.org/TR/owl-ref/}
}
@misc{owl-sas-w3c,
  author = {Peter F. Patel-Schneider and Patrick Hayes and Ian Horrocks},
  date-modified = {2008-06-20 14:00:41 +0100},
  howpublished = {{W3C} {R}ecommendation},
  institution = {World Wide Web Consortium},
  month = {10 February},
  note = {Available at \url{http://www.w3.org/TR/owl-semantics/}},
  title = {{OWL} {W}eb {O}ntology {L}anguage Semantics and Abstract Syntax},
  url = {http://www.w3.org/TR/owl-semantics/},
  year = 2004,
  bdsk-url-1 = {http://www.w3.org/TR/owl-semantics/}
}
@misc{swrl-w3c,
  author = {Ian Horrocks and Patel-Schneider, Peter F. and Harold Boley and Said Tabet and Benjamin Grosof and Mike Dean},
  date-modified = {2011-01-22 18:41:17 +0000},
  howpublished = {{W3C} {M}ember {S}ubmission},
  institution = {World Wide Web Consortium},
  month = {21 May},
  note = {Available at \url{http://www.w3.org/Submission/SWRL/}},
  title = {{SWRL}: A Semantic Web Rule Language Combining {OWL} and {RuleML}},
  url = {http://www.w3.org/Submission/SWRL/},
  year = 2004,
  bdsk-url-1 = {http://www.w3.org/Submission/SWRL/}
}
@comment{{BibDesk Smart Groups




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