|
@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 Second OWL Experiences and Directions Workshop},
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 Second OWL Experiences and Directions Workshop},
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}
}
|
|
