@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},
bdsk-url-2 = {download/2003/FiHH03a.pdf}
}
@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}
}
@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
