@INPROCEEDINGS{HoPa03,
AUTHOR = {Ian Horrocks and Peter F.\ Patel-Schneider},
BOOKTITLE = {Proc.\ of the Twelfth International World Wide Web Conference (WWW 2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
ISBN = {1-58113-680-3},
PAGES = {39--47},
PUBLISHER = {ACM},
TITLE = {Three Theses of Representation in the Semantic Web},
URL = {download/2003/p50-horrocks.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/p50-horrocks.pdf}
}
@INPROCEEDINGS{GHVD03,
AUTHOR = {Benjamin N. Grosof and Ian Horrocks and Raphael Volz and Stefan Decker},
BOOKTITLE = {Proc.\ of the Twelfth International World Wide Web Conference (WWW 2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
ISBN = {1-58113-680-3},
PAGES = {48--57},
PUBLISHER = {ACM},
TITLE = {Description Logic Programs: Combining Logic Programs with Description Logic},
URL = {download/2003/p117-grosof.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/p117-grosof.pdf}
}
@INPROCEEDINGS{LiHo03,
AUTHOR = {Lei Li and Ian Horrocks},
BOOKTITLE = {Proc.\ of the Twelfth International World Wide Web Conference (WWW 2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
ISBN = {1-58113-680-3},
PAGES = {331--339},
PUBLISHER = {ACM},
TITLE = {A Software Framework For Matchmaking Based on Semantic Web Technology},
URL = {download/2003/p815-li.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/p815-li.pdf}
}
@INPROCEEDINGS{HoSa03a,
AUTHOR = {Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 18th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
ISBN = {0-92705-663-7},
PAGES = {343--348},
PUBLISHER = {Morgan Kaufmann, Los Altos},
TITLE = {Decidability of $\mathcal{SHIQ}$ with Complex Role Inclusion Axioms},
URL = {download/2003/HoSa03a.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/HoSa03a.pdf}
}
@INPROCEEDINGS{LAHS03a,
AUTHOR = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 18th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
ISBN = {0-92705-663-7},
PAGES = {349-354},
PUBLISHER = {Morgan Kaufmann, Los Altos},
TITLE = {Keys, Nominals, and Concrete Domains},
URL = {download/2003/LAHS03a.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/LAHS03a.pdf}
}
@INPROCEEDINGS{TsHo03a,
AUTHOR = {Dmitry Tsarkov and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2003 Description Logic Workshop (DL~2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
PAGES = {152--159},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {{DL} Reasoner vs.\ First-Order Prover},
URL = {download/2003/TsHo03a.pdf},
VOLUME = 81,
YEAR = 2003,
BDSK-URL-1 = {download/2003/TsHo03a.pdf}
}
@INPROCEEDINGS{PaHo03c,
AUTHOR = {Jeff Pan and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2003 Description Logic Workshop (DL~2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
PAGES = {95--102},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {{RDFS(FA)}: A {DL}-ised Sub-language of {RDFS}},
URL = {download/2003/PaHo03c.pdf},
VOLUME = 81,
YEAR = 2003,
BDSK-URL-1 = {download/2003/PaHo03c.pdf}
}
@INPROCEEDINGS{HoPa03c,
AUTHOR = {Ian Horrocks and Peter F. Patel-Schneider},
BOOKTITLE = {Proc.\ of the 2003 Description Logic Workshop (DL~2003)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
PAGES = {1--8},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Reducing {OWL} Entailment to Description Logic Satisfiability},
URL = {download/2003/HoPa03c.pdf},
VOLUME = 81,
YEAR = 2003,
BDSK-URL-1 = {download/2003/HoPa03c.pdf}
}
@INPROCEEDINGS{UCDF+03a,
AUTHOR = {Michael Uschold and Peter Clark and Fred Dickey and Casey Fung and Sonia Smith and Stephen Uczekaj Michael Wilke and Sean Bechhofer and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
DATE-MODIFIED = {2007-11-30 11:07:19 +0000},
EDITOR = {Dieter Fensel and Katia Sycara and John Mylopoulos},
ISBN = {3-540-20362-1},
NOTE = {Presentation available from \url{http://www.cs.man.ac.uk/~horrocks/Slides/ISWC-Presentation-SemanticFiltering.pdf}.},
PAGES = {882--896},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {A Semantic Infosphere},
URL = {download/2003/UCDF+03a.pdf},
VOLUME = {2870},
YEAR = 2003,
BDSK-URL-1 = {download/2003/UCDF+03a.pdf}
}
@INPROCEEDINGS{PaHo03a,
AUTHOR = {Jeff Pan and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
DATE-MODIFIED = {2007-11-30 11:06:27 +0000},
EDITOR = {Dieter Fensel and Katia Sycara and John Mylopoulos},
ISBN = {3-540-20362-1},
PAGES = {47--63},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Web Ontology Reasoning with Datatype Groups},
URL = {download/2003/PaHo03a.pdf},
VOLUME = {2870},
YEAR = 2003,
BDSK-URL-1 = {download/2003/PaHo03a.pdf}
}
@INPROCEEDINGS{PaHo03b,
AUTHOR = {Jeff Pan and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
DATE-MODIFIED = {2007-11-30 11:06:59 +0000},
EDITOR = {Dieter Fensel and Katia Sycara and John Mylopoulos},
ISBN = {3-540-20362-1},
PAGES = {30--46},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {{RDFS(FA)} and {RDF MT}: Two Semantics for {RDFS}},
URL = {download/2003/PaHo03b.pdf},
VOLUME = {2870},
YEAR = 2003,
BDSK-URL-1 = {download/2003/PaHo03b.pdf}
}
@INPROCEEDINGS{HoPa03b,
AUTHOR = {Ian Horrocks and Peter F. Patel-Schneider},
BOOKTITLE = {Proc.\ of the 2nd International Semantic Web Conference (ISWC 2003)},
DATE-MODIFIED = {2007-11-30 11:05:15 +0000},
EDITOR = {Dieter Fensel and Katia Sycara and John Mylopoulos},
ISBN = {3-540-20362-1},
PAGES = {17--29},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Reducing {OWL} Entailment to Description Logic Satisfiability},
URL = {download/2003/HoPa03b.pdf},
VOLUME = {2870},
YEAR = 2003,
BDSK-URL-1 = {download/2003/HoPa03b.pdf}
}
@ARTICLE{HoPH03a,
AUTHOR = {Ian Horrocks and Peter F. Patel-Schneider and Frank van Harmelen},
DATE-MODIFIED = {2007-06-11 18:42:34 +0100},
ISSN = {1570-8268},
JOURNAL = {J.\ of Web Semantics},
NUMBER = 1,
PAGES = {7--26},
PUBLISHER = {Elsevier},
TITLE = {From $\mathcal{SHIQ}$ and {RDF} to {OWL}: The Making of a Web Ontology Language},
URL = {download/2003/HoPH03a.pdf},
VOLUME = 1,
YEAR = 2003,
BDSK-URL-1 = {download/2003/HoPH03a.pdf}
}
@TECHREPORT{FiHH03a,
AUTHOR = {Richard Fikes and Patrick Hayes and Ian Horrocks},
DATE-MODIFIED = {2008-06-20 17:51:26 +0100},
INSTITUTION = {Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA},
NUMBER = {KSL-03-14},
TITLE = {{OWL-QL}---a language for deductive query answering on the {S}emantic {W}eb},
URL = {download/2003/FiHH03a.pdf},
YEAR = 2003,
BDSK-URL-1 = {ftp://ftp.ksl.stanford.edu/pub/KSL_Reports/KSL-03-14.pdf.gz}
}
@ARTICLE{HADK+03,
AUTHOR = {Ian Horrocks and J{\"u}rgen Angele and Stefan Decker and Michael Kifer and Benjamin N. Grosof and Gerd Wagner},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
ISSN = {1094-7167},
JOURNAL = {{IEEE} Intelligent Systems},
NUMBER = 5,
PAGES = {76--83},
TITLE = {Where Are the Rules?},
URL = {http://csdl.computer.org/comp/mags/ex/2003/05/x5076abs.htm},
VOLUME = 18,
YEAR = 2003,
BDSK-URL-1 = {http://csdl.computer.org/comp/mags/ex/2003/05/x5076abs.htm}
}
@INCOLLECTION{Horrocks01i,
AUTHOR = {M. Klein and J. Broekstra and D. Fensel and F. van Harmelen and I. Horrocks},
AVAILABLE = {http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=9182},
BOOKTITLE = {Spinning the Semantic Web: Bringing the World Wide Web to its full potential},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
EDITOR = {Dieter Fensel and James Hendler and Henry Lieberman and Wolfgang Wahlster},
ISBN = {0-262-06232-1},
PUBLISHER = {MIT Press},
TITLE = {Ontologies and Schema Languages on the Web},
YEAR = {2003}
}
@INCOLLECTION{Horrocks01k,
AUTHOR = {I. Horrocks},
AVAILABLE = {http://books.cambridge.org/0521781760.htm},
BOOKTITLE = {The Description Logic Handbook: Theory, Implementation, and Applications},
CHAPTER = {9},
DATE-MODIFIED = {2007-07-26 16:11:01 +0100},
EDITOR = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
ISBN = {0-521-78176-0},
PAGES = {306--346},
PUBLISHER = {Cambridge University Press},
TITLE = {Implementation and Optimisation Techniques},
URL = {download/2003/Horrocks01k.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/Horrocks01k.pdf}
}
@INCOLLECTION{Horrocks01l,
AUTHOR = {Ian Horrocks and Deborah McGuinness and Christopher Welty},
AVAILABLE = {http://books.cambridge.org/0521781760.htm},
BOOKTITLE = {The Description Logic Handbook: Theory, Implementation, and Applications},
CHAPTER = {14},
DATE-MODIFIED = {2007-07-26 16:10:22 +0100},
EDITOR = {Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F.~Patel-Schneider},
ISBN = {0-521-78176-0},
PAGES = {427--449},
PUBLISHER = {Cambridge University Press},
TITLE = {Digital Libraries and Web-Based Information Systems},
URL = {download/2003/Horrocks01l.pdf},
YEAR = 2003,
BDSK-URL-1 = {download/2003/Horrocks01l.pdf}
}
