@article{PSSTH06,
author = {Jeff Z. Pan and Giorgos Stoilos and Giorgos B. Stamou and Vassilis Tzouvaras and Ian Horrocks},
date-added = {2007-01-31 10:10:48 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
journal = {J.\ on Data Semantics},
pages = {28--46},
publisher = {SV},
title = {{f-SWRL}: A Fuzzy Extension of {SWRL}},
url = {download/2006/PSSTH06.pdf},
volume = {VI},
year = {2006},
bdsk-url-1 = {download/2006/PSSTH06.pdf}
}
@incollection{HHSS06,
author = {Ian Horrocks and Ullrich Hustadt and Ulrike Sattler and Renate Schmidt},
booktitle = {Handbook of Modal Logic},
chapter = {4},
date-added = {2006-11-22 21:49:24 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
editor = {Patrick Blackburn and Johan {van Benthem} and Frank Wolter},
pages = {181--245},
publisher = {Elsevier},
title = {Computational modal logic},
url = {download/2006/HHSS06.pdf},
year = {2006},
bdsk-url-1 = {download/2006/HHSS06.pdf}
}
@inproceedings{CHPP+06,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Bijan Parsia and Peter Patel-Schneider and Ulrike Sattler},
booktitle = {Proc.\ of the 2nd Int.\ Workshop on OWL Experiences and Directions (OWLED 2006)},
date-added = {2006-11-15 09:21:40 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Next Steps for {OWL}},
url = {download/2006/CHPP+06.pdf},
volume = {216},
year = {2006},
bdsk-url-1 = {download/2006/CHPP+06.pdf}
}
@inproceedings{MoHo06,
author = {Boris Motik and Ian Horrocks},
booktitle = {Proc.\ of the 2nd Int.\ Workshop on OWL Experiences and Directions (OWLED 2006)},
date-added = {2006-11-15 09:16:01 +0000},
date-modified = {2007-03-07 20:44:26 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Problems with {OWL} Syntax},
url = {download/2006/MoHo06.pdf},
volume = {216},
year = {2006},
bdsk-url-1 = {download/2006/MoHo06.pdf}
}
@inproceedings{GaTH06b,
author = {Tom Gardiner and Dmitry Tsarkov and Ian Horrocks},
booktitle = {Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)},
date-added = {2006-09-12 20:39:38 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
pages = {654--667},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Framework For an Automated Comparison of Description Logic Reasoners},
url = {download/2006/GaTH06b.pdf},
volume = {4273},
year = 2006,
bdsk-url-1 = {download/2006/GaTH06b.pdf}
}
@inproceedings{MHRS06,
author = {Boris Motik and Ian Horrocks and Riccardo Rosati and Ulrike Sattler},
booktitle = {Proc.\ of the 5th International Semantic Web Conference (ISWC 2006)},
date-added = {2006-09-12 18:58:56 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
pages = {501--514},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Can {OWL} and Logic Programming Live Together Happily Ever After?},
url = {download/2006/MHRS06.pdf},
volume = {4273},
year = 2006,
bdsk-url-1 = {download/2006/MHRS06.pdf}
}
@article{PaHo06b,
author = {Jeff Pan and Ian Horrocks},
date-added = {2006-09-12 18:44:17 +0100},
date-modified = {2007-08-09 16:31:05 +0100},
issn = {1570-8268},
journal = {J.\ of Web Semantics},
number = 1,
pages = {29--39},
publisher = {Elsevier},
title = {{OWL-Eu}: Adding Customised Datatypes into {OWL}},
url = {download/2006/PaHo06b.pdf},
volume = 4,
year = 2006,
bdsk-url-1 = {download/2006/PaHo06b.pdf}
}
@inproceedings{GlHS06a,
author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
booktitle = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
date-added = {2006-07-15 10:32:11 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Conjunctive Query Answering for Description Logics with Transitive Roles},
url = {download/2006/GlHS06a.pdf},
volume = {189},
year = {2006},
bdsk-url-1 = {download/2006/GlHS06a.pdf}
}
@techreport{GHLS06a,
author = {Birte Glimm and Ian Horrocks and Carsten Lutz and Ulrike Sattler},
date-added = {2006-07-03 19:00:50 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
institution = {University of Manchester},
title = {Conjunctive Query Answering for $\mathcal{SHIQ}$},
url = {download/2006/GHLS06a.pdf},
year = {2006},
bdsk-url-1 = {download/2006/GHLS06a.pdf}
}
@inproceedings{CHKS06,
author = {Bernardo {Cuenca Grau} and Ian Horrocks and Oliver Kutz and Ulrike Sattler},
booktitle = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
date-added = {2006-06-17 14:43:06 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Will my Ontologies Fit Together?},
url = {download/2006/CHKS06.pdf},
volume = {189},
year = {2006},
bdsk-url-1 = {download/2006/CHKS06.pdf}
}
@inproceedings{GaHT06a,
author = {Tom Gardiner and Ian Horrocks and Dmitry Tsarkov},
booktitle = {Proc.\ of the 2006 Description Logic Workshop (DL~2006)},
date-added = {2006-06-17 14:37:57 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
series = {CEUR (\url{http://ceur-ws.org/})},
title = {Automated Benchmarking of Description Logic Reasoners},
url = {download/2006/GaHT06a.pdf},
volume = {189},
year = {2006},
bdsk-url-1 = {download/2006/GaHT06a.pdf}
}
@techreport{GlHS06b,
author = {Birte Glimm and Ian Horrocks and Ulrike Sattler},
date-added = {2006-06-17 14:31:23 +0100},
date-modified = {2007-03-07 20:44:26 +0000},
institution = {University of Manchester, School of Computer Science},
title = {Conjunctive Query Answering for the Description Logic $\mathcal{SHOIQ}$},
url = {download/2006/GlHS06b.pdf},
year = {2006},
bdsk-url-1 = {download/2006/GlHS06b.pdf}
}
@misc{OWL11-overview,
author = {Peter Patel-Schneider and Ian Horrocks},
date-modified = {2007-07-24 21:49:24 +0100},
howpublished = {{W3C} {M}ember {S}ubmission},
institution = {{W}orld {W}ide {W}eb {C}onsortium},
key = {OWL11},
month = {19 December},
note = {Available at \url{http://www.w3.org/Submission/owl11-overview/}},
title = {{OWL} 1.1 {W}eb {O}ntology {L}anguage Overview},
url = {http://www.webont.org/owl/1.1/},
year = 2006,
bdsk-url-1 = {http://www.webont.org/owl/1.1/}
}
@inproceedings{HoVo06a,
author = {Ian Horrocks and Andrei Voronkov},
booktitle = {Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {3-540-31782-1},
number = {3861},
pages = {201--218},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Reasoning Support for Expressive Ontology Languages Using a Theorem Prover},
url = {download/2006/HoVo06a.pdf},
year = 2006,
bdsk-url-1 = {download/2006/HoVo06a.pdf}
}
@inproceedings{HoKS06a,
author = {Ian Horrocks and Oliver Kutz and Ulrike Sattler},
booktitle = {Proc.\ of the 10th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR~2006)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {978-1-57735-271-6},
pages = {57--67},
publisher = {AAAI Press},
title = {The Even More Irresistible $\mathcal{SROIQ}$},
url = {download/2006/HoKS06a.pdf},
year = 2006,
bdsk-url-1 = {download/2006/HoKS06a.pdf}
}
@inproceedings{PaHo06a,
author = {Peter F.\ Patel-Schneider and Ian Horrocks},
booktitle = {Proc.\ of the Fifteenth International World Wide Web Conference (WWW 2006)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {1-59593-323-9},
pages = {3--12},
publisher = {ACM},
title = {A Comparison of Two Modelling Paradigms in the Semantic Web},
url = {download/2006/PaHo06a.pdf},
year = 2006,
bdsk-url-1 = {download/2006/PaHo06a.pdf}
}
@inproceedings{HZBH+06,
author = {Duncan Hull and Evgeny Zolin and Andrey Bovykin and Ian Horrocks and Ulrike Sattler and Robert Stevens},
booktitle = {Proc.\ of the 21st Nat.\ Conf.\ on Artificial Intelligence (AAAI-06)},
date-modified = {2007-03-07 20:44:29 +0000},
isbn = {978-1-57735-281-5},
pages = {1319--1324},
title = {Deciding semantic matching of stateless services},
url = {download/2006/HZBH+06.pdf},
year = 2006,
bdsk-url-1 = {download/2006/HZBH+06.pdf}
}
@inproceedings{TsHo06a,
author = {Dmitry Tsarkov and Ian Horrocks},
booktitle = {Proc.\ of the Int.\ Joint Conf.\ on Automated Reasoning (IJCAR~2006)},
date-modified = {2007-03-07 20:44:29 +0000},
pages = {292--297},
publisher = {Springer},
series = {Lecture Notes in Artificial Intelligence},
title = {{FaCT}++ Description Logic Reasoner: System Description},
url = {download/2006/TsHo06a.pdf},
volume = {4130},
year = 2006,
bdsk-url-1 = {download/2006/TsHo06a.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
