@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
Horrocks
version
1
conjunction
0
group name
Horrocks
conditions
comparison
2
key
value
version
1
conjunction
0
group name
Last Import
conditions