@ARTICLE{dlprimer,
AUTHOR = {Markus Kr\"{o}tzsch and Franti\v{s}ek Siman\v{c}\'{i}k and
Ian Horrocks},
DATE-ADDED = {2012-01-20 10:30:50 +0000},
DATE-MODIFIED = {2012-01-20 10:32:01 +0000},
EE = {http://arxiv.org/abs/1201.4089},
JOURNAL = {CoRR},
TITLE = {A Description Logic Primer},
URL = {http://arxiv.org/abs/1201.4089},
VOLUME = {abs/1201.4089},
YEAR = {2012}
}
@ARTICLE{CMSH11a,
AUTHOR = {Bernardo {Cuenca Grau} and Boris Motik and Giorgos Stoilos
and Ian Horrocks},
DATE-ADDED = {2011-10-04 17:41:21 +0100},
DATE-MODIFIED = {2011-10-04 17:44:02 +0100},
JOURNAL = {J.\ of Artificial Intelligence Research},
TITLE = {Completeness Guarantees for Incomplete Ontology Reasoners:
Theory and Practice},
URL = {download/2011/CMSH11a.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2010/StCH10b.pdf}
}
@ARTICLE{HMSS11a,
AUTHOR = {Birte Glimm and Ian Horrocks and Boris Motik and Rob
Shearer and Giorgos Stoilos},
DATE-ADDED = {2011-10-04 17:06:28 +0100},
DATE-MODIFIED = {2012-01-19 11:59:50 +0000},
JOURNAL = {J.\ of Web Semantics},
NUMBER = {1},
TITLE = {A Novel Approach to Ontology Classification},
URL = {download/2011/HMSS11a.pdf},
VOLUME = {10},
YEAR = {2011},
BDSK-URL-1 = {download/2011/HMSS11a.pdf}
}
@INCOLLECTION{HoPa10a,
AUTHOR = {Ian Horrocks and Peter F.\ Patel-Schneider},
BOOKTITLE = {Handbook of Semantic Web Technologies},
CHAPTER = {9},
DATE-ADDED = {2010-10-29 10:10:08 +0100},
DATE-MODIFIED = {2011-08-30 10:05:50 +0100},
DOI = {10.1007/978-3-540-92913-0},
EDITOR = {John Domingue and Dieter Fensel and James A. Hendler},
ISBN = {978-3-540-92912-3},
PAGES = {365--398},
PUBLISHER = {Springer},
TITLE = {{KR} and Reasoning on the Semantic Web: {OWL}},
URL = {download/2010/HoPa10a.pdf},
YEAR = {2011},
BDSK-URL-1 = {download/2010/HoPa10a.pdf}
}
@ARTICLE{MoHS09a,
AUTHOR = {Boris Motik and Ian Horrocks and Ulrike Sattler},
DATE-ADDED = {2009-05-12 15:14:55 +0100},
DATE-MODIFIED = {2009-10-05 10:28:12 +0100},
DOI = {10.1016/j.websem.2009.02.001},
JOURNAL = {J.\ of Web Semantics},
MONTH = {April},
NUMBER = {2},
PAGES = {74--89},
TITLE = {Bridging the Gap Between {OWL} and Relational Databases},
URL = {download/2009/MoHS09a.pdf},
VOLUME = {7},
YEAR = {2009},
BDSK-URL-1 = {download/2007/MoHS07a.pdf}
}
@ARTICLE{MoSH09a,
AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
DATE-ADDED = {2009-09-25 15:20:08 +0100},
DATE-MODIFIED = {2009-10-29 13:35:11 +0000},
JOURNAL = {J.\ of Artificial Intelligence Research},
PAGES = {165--228},
TITLE = {Hypertableau Reasoning for Description Logics},
URL = {download/2009/MoSH09a.pdf},
VOLUME = {36},
YEAR = {2009},
BDSK-URL-1 = {download/2007/MoSH07b.pdf}
}
@ARTICLE{MCHS09a,
AUTHOR = {Boris Motik and Bernardo {Cuenca Grau} and Ian Horrocks
and Ulrike Sattler},
DATE-ADDED = {2009-06-03 12:56:02 +0100},
DATE-MODIFIED = {2009-07-25 15:50:48 +0100},
DOI = {10.1016/j.artint.2009.06.003},
JOURNAL = {Artificial Intelligence},
NUMBER = {14},
PAGES = {1275--1309},
TITLE = {Representing Ontologies Using Description Logics,
Description Graphs, and Rules},
URL = {download/2009/MCHS09a.pdf},
VOLUME = {173},
YEAR = {2009},
BDSK-URL-1 = {download/2009/MCHS09a.pdf},
BDSK-URL-2 = {http://dx.doi.org/10.1016/j.artint.2009.06.003}
}
@ARTICLE{Horr08a,
AUTHOR = {Ian Horrocks},
DATE-ADDED = {2008-11-27 18:32:29 +0000},
DATE-MODIFIED = {2008-12-08 11:24:39 +0000},
JOURNAL = {Communications of the {ACM}},
MONTH = {December},
NUMBER = {12},
PAGES = {58--67},
TITLE = {Ontologies and the semantic web},
URL = {download/2008/Horr08a.pdf},
VOLUME = {51},
YEAR = {2008},
BDSK-URL-1 = {download/2008/Horr08a.pdf}
}
@INPROCEEDINGS{MoSH07a,
AUTHOR = {Boris Motik and Rob Shearer and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 21st Int.\ Conf.\ on Automated Deduction
(CADE-21)},
DATE-ADDED = {2007-05-03 14:24:20 +0100},
DATE-MODIFIED = {2007-07-25 18:12:24 +0100},
PAGES = {67--83},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
TITLE = {Optimized Reasoning in Description Logics using
Hypertableaux},
URL = {download/2007/MoSH07a.pdf},
VOLUME = {4603},
YEAR = {2007},
BDSK-URL-1 = {download/2007/MoSH07a.pdf}
}
@INCOLLECTION{BaHS07a,
AUTHOR = {Franz Baader and Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Handbook of Knowledge Representation},
CHAPTER = {3},
DATE-ADDED = {2007-07-25 18:14:15 +0100},
DATE-MODIFIED = {2011-09-01 20:15:01 +0100},
EDITOR = {Frank {van Harmelen} and Vladimir Lifschitz and Bruce
Porter},
PAGES = {135--180},
PUBLISHER = {Elsevier},
TITLE = {{D}escription {L}ogics},
URL = {download/2007/BaHS07a.pdf},
YEAR = {2008},
BDSK-URL-1 = {download/2007/BaHS07a.pdf}
}
@ARTICLE{TsHP07,
AUTHOR = {Dmitry Tsarkov and Ian Horrocks and Peter~F.\
Patel-Schneider},
DATE-ADDED = {2007-05-25 10:45:31 +0100},
DATE-MODIFIED = {2007-09-01 13:02:09 +0100},
DOI = {10.1007/s10817-007-9077-y},
JOURNAL = {J.\ of Automated Reasoning},
NUMBER = {3},
PAGES = {277--316},
TITLE = {Optimizing Terminological Reasoning for Expressive
Description Logics},
URL = {download/2007/TsHP07.pdf},
VOLUME = {39},
YEAR = {2007},
BDSK-URL-1 = {download/2007/TsHP07.pdf}
}
@ARTICLE{HoSa07a,
AUTHOR = {Ian Horrocks and Ulrike Sattler},
DATE-ADDED = {2007-05-25 10:40:14 +0100},
DATE-MODIFIED = {2007-09-01 13:05:24 +0100},
DOI = {10.1007/s10817-007-9079-9},
ISSN = {0168-7433},
JOURNAL = {J.\ of Automated Reasoning},
NUMBER = {3},
PAGES = {249--276},
TITLE = {A Tableau Decision Procedure for $\mathcal{SHOIQ}$},
URL = {download/2007/HoSa07a.pdf},
VOLUME = {39},
YEAR = 2007,
BDSK-URL-1 = {download/2007/HoSa07a.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}
}
@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}
}
@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{HoST99,
ANNOTE = {AKA: Horrocks99j},
AUTHOR = {I. Horrocks and U. Sattler and S. Tobies},
BOOKTITLE = {Proc.\ of the 6th Int.\ Conf.\ on Logic for Programming
and Automated Reasoning (LPAR'99)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
EDITOR = {H. Ganzinger and D. McAllester and A. Voronkov},
ISBN = {3-540-66492-0},
NUMBER = 1705,
PAGES = {161--180},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
TITLE = {Practical Reasoning for Expressive Description Logics},
URL = {download/1999/lpar99.pdf},
YEAR = 1999,
BDSK-URL-1 = {download/1999/lpar99.pdf}
}
@INPROCEEDINGS{Horr98,
ANNOTE = {AKA: Horrocks98c},
AUTHOR = {Ian Horrocks},
BOOKTITLE = {Proc.\ of the 6th Int.\ Conf.\ on Principles of Knowledge
Representation and Reasoning (KR'98)},
DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
PAGES = {636--647},
TITLE = {Using an Expressive Description Logic: {FaCT} or
Fiction?},
URL = {download/1998/kr98.pdf},
YEAR = 1998,
BDSK-URL-1 = {download/1998/kr98.pdf}
}
This file has been generated by bibtex2html 1.75