@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/}
}
@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}
}
@ARTICLE{LAHS04a,
AUTHOR = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
JOURNAL = {J.\ of Artificial Intelligence Research},
PAGES = {667--726},
TITLE = {Keys, Nominals, and Concrete Domains},
URL = {download/2004/LAHS04a.pdf},
VOLUME = 23,
YEAR = 2004,
BDSK-URL-1 = {download/2004/LAHS04a.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/}
}
