@techreport{Antoniou:lr,
author = {Grigoris Antoniou and Carlos Viegas Dam\'{a}sio and Benjamin Grosof and Ian Horrocks and Michael Kifer and Jan Maluszynski and Peter F. Patel-Schneider},
date-added = {2011-11-17 17:40:15 +0000},
date-modified = {2011-11-17 17:43:22 +0000},
institution = {REWERSE},
number = {I3-D3},
title = {Combining Rules and Ontologies. A survey},
type = {Deliverable},
url = {http://rewerse.net/deliverables/m12/i3-d3.pdf},
year = {2005},
bdsk-url-1 = {http://rewerse.net/deliverables/m12/i3-d3.pdf}
}
@inproceedings{PaHo05b,
author = {Jeff Z.~Pan and Ian Horrocks},
booktitle = {Proc.\ of the 1st Int.\ Workshop on OWL Experiences and Directions (OWLED 2005)},
date-added = {2007-08-06 23:18:29 +0100},
date-modified = {2007-08-06 23:21:04 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Introducing Customised Datatypes and Datatype Predicates into {OWL}},
url = {download/2005/PaHo05b.pdf},
volume = {188},
year = {2005},
bdsk-url-1 = {download/2005/PaHo05b.pdf}
}
@inproceedings{SSTPH05,
author = {Giorgos Stoilos and Giorgos Stamou and Vassilis Tzouvaras and Jeff Z. Pan and Ian Horrocks},
booktitle = {Proc.\ of the 1st Int.\ Workshop on OWL Experiences and Directions (OWLED 2005)},
date-added = {2006-11-06 22:15:05 +0000},
date-modified = {2007-08-06 23:22:26 +0100},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Fuzzy {OWL}: Uncertainty and the Semantic Web},
url = {download/2005/SSTPH05.pdf},
volume = {188},
year = {2005},
bdsk-url-1 = {download/2005/SSTPH05.pdf}
}
@inproceedings{WBHL+05,
author = {Katherine Wolstencroft and Andy Brass and Ian Horrocks and Phil Lord and Ulrike Sattler and Robert Stevens and Daniele Turi},
booktitle = {Proc.\ of the 4th International Semantic Web Conference (ISWC 2005)},
date-added = {2006-07-22 17:29:02 +0100},
date-modified = {2007-11-30 10:52:54 +0000},
pages = {786--800},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {A Little Semantic Web Goes a Long Way in Biology},
url = {download/2005/WBHL05.pdf},
volume = {3729},
year = 2005,
bdsk-url-1 = {download/2005/WBHL05.pdf}
}
@incollection{BaHS03,
author = {Franz Baader and Ian Horrocks and Ulrike Sattler},
booktitle = {Mechanizing Mathematical Reasoning: Essays in Honor of J{\"o}rg Siekmann on the Occasion of His 60th Birthday},
date-modified = {2007-03-18 14:43:45 +0000},
editor = {Dieter Hutter and Werner Stephan},
isbn = {3-540-25051-4},
number = {2605},
pages = {228--248},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Description Logics as Ontology Languages for the Semantic Web},
url = {download/2003/BaHS03.pdf},
year = 2005,
bdsk-url-1 = {download/2003/BaHS03.pdf}
}
@article{LAHS04a,
author = {Carsten Lutz and Carlos Areces and Ian Horrocks and Ulrike Sattler},
date-modified = {2015-01-18 10:53:28 +0000},
journal = {J.\ of Artificial Intelligence Research},
pages = {667--726},
title = {Keys, Nominals, and Concrete Domains},
url = {download/2004/LAHS04a.pdf},
volume = 23,
year = 2005,
bdsk-url-1 = {download/2004/LAHS04a.pdf}
}
@inproceedings{HoSa05a,
author = {Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)},
date-modified = {2007-03-07 20:44:29 +0000},
pages = {448--453},
title = {A Tableaux Decision Procedure for $\mathcal{SHOIQ}$},
url = {download/2005/HoSa05a.pdf},
year = 2005,
bdsk-url-1 = {download/2005/HoSa05a.pdf}
}
@inproceedings{TsHo05a,
author = {Dmitry Tsarkov and Ian Horrocks},
booktitle = {Proc.\ of the 19th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2005)},
date-modified = {2007-03-07 20:44:29 +0000},
pages = {609--614},
title = {Ordering Heuristics for Description Logic Reasoning},
url = {download/2005/TsHo05a.pdf},
year = 2005,
bdsk-url-1 = {download/2005/TsHo05a.pdf}
}
@article{HPBT05,
author = {Ian Horrocks and Peter F.\ Patel-Schneider and Sean Bechhofer and Dmitry Tsarkov},
date-modified = {2007-03-07 20:44:29 +0000},
issn = {1570-8268},
journal = {J.\ of Web Semantics},
number = 1,
pages = {23--40},
title = {{OWL} Rules: A Proposal and Prototype Implementation},
url = {download/2005/HPBT05.pdf},
volume = 3,
year = 2005,
bdsk-url-1 = {download/2005/HPBT05.pdf}
}
@inproceedings{Horr05a,
author = {Ian Horrocks},
booktitle = {Proc.\ of the 13th Int.\ Conf.\ on Conceptual Structures (ICCS'05)},
date-modified = {2007-03-07 20:44:29 +0000},
editor = {Frithjof Dau and Marie-Laure Mugnier and Gerd Stumme},
isbn = {3-540-27783-8},
number = 3596,
pages = {78--90},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Applications of Description Logics: State of the Art and Research Challenges},
url = {download/2005/Horr05a.pdf},
year = 2005,
bdsk-url-1 = {download/2005/Horr05a.pdf}
}
@inproceedings{Horr05b,
author = {Ian Horrocks},
booktitle = {Proc.\ of the 9th Int.\ Conf.\ on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX~2005)},
date-modified = {2007-03-07 20:44:29 +0000},
editor = {B. Beckert},
isbn = {3-540-28931-3},
number = 3702,
pages = {2--13},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {Description Logics in Ontology Applications},
url = {download/2005/Horr05b.pdf},
year = 2005,
bdsk-url-1 = {download/2005/Horr05b.pdf}
}
@inproceedings{Horr05c,
author = {Ian Horrocks},
booktitle = {Proc.\ of Int.\ Conf.\ on Principles and Practice of Constraint Programming (CP 2005)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {3-540-29238-1},
pages = {5-8},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {OWL: A Description Logic Based Ontology Language.},
url = {download/2005/Horr05c.pdf},
volume = {3709},
year = {2005},
bdsk-url-1 = {download/2005/Horr05c.pdf}
}
@inproceedings{PaHo05a,
author = {Jeff Pan and Ian Horrocks},
booktitle = {Proc.\ of The Second European Semantic Web Conference (ESWC 2005)},
date-modified = {2007-03-18 14:41:26 +0000},
editor = {Asunci\'{o}n G\'{o}mez-Prez, J\'{e}r\^{o}me Euzenat},
isbn = {3-540-26124-9},
number = 3532,
pages = {153--166},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{OWL-Eu}: Adding Customised Datatypes into {OWL}},
url = {download/2005/PaHo05a.pdf},
year = 2005,
bdsk-url-1 = {download/2005/PaHo05a.pdf}
}
@inproceedings{BeHT05,
author = {Sean Bechhofer and Ian Horrocks and Daniele Turi},
booktitle = {Proc.\ of the 20th Int.\ Conf.\ on Automated Deduction (CADE-20)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {3-540-28005-7},
pages = {177--181},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {The {OWL} Instance Store: System Description},
url = {download/2005/BeHT05.pdf},
year = 2005,
bdsk-url-1 = {download/2005/BeHT05.pdf}
}
@inproceedings{TsHo05b,
author = {Dmitry Tsarkov and Ian Horrocks},
booktitle = {Proc.\ of the 2005 Description Logic Workshop (DL~2005)},
date-modified = {2007-03-07 20:44:29 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Optimised Classification for Taxonomic Knowledge Bases},
url = {download/2005/TsHo05b.pdf},
volume = {147},
year = 2005,
bdsk-url-1 = {download/2005/TsHo05b.pdf}
}
@inproceedings{HPPH05,
author = {Ian Horrocks and Bijan Parsia and Peter Patel-Schneider and James Hendler},
booktitle = {Principles and Practice of Semantic Web Reasoning (PPSWR 2005)},
date-modified = {2009-10-31 19:02:27 +0000},
editor = {Francois Fages and Sylvain Soliman},
pages = {37--41},
publisher = {Springer},
series = {LNCS},
title = {Semantic Web Architecture: Stack or Two Towers?},
url = {download/2005/HPPH05.pdf},
volume = {3703},
year = {2005},
bdsk-url-1 = {download/2005/HPPH05.pdf}
}
@inproceedings{HoKS05a,
author = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
booktitle = {Proc.\ of the 1st Int.\ Workshop on OWL Experiences and Directions (OWLED 2005)},
date-modified = {2007-03-07 20:44:29 +0000},
title = {The Irresistible $\mathcal{SRIQ}$},
url = {download/2006/HoKS05a.pdf},
year = 2005,
bdsk-url-1 = {download/2006/HoKS05a.pdf}
}
@inproceedings{GlHo05a,
author = {Birte Glimm and Ian Horrocks},
booktitle = {Proc.\ of the 2005 Description Logic Workshop (DL~2005)},
date-modified = {2007-03-07 20:44:29 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Handling Cyclic Conjunctive Queries.},
url = {download/2006/PaHo06a.pdf},
volume = {147},
year = {2005},
bdsk-url-1 = {download/2006/PaHo06a.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
