@MISC{daml-ref-w3c,
AUTHOR = {Dan Connolly and Frank {van Harmelen} and Ian Horrocks and Deborah L. McGuinness and Peter F. Patel-Schneider and Lynn Andrea Stein},
DATE-ADDED = {2007-07-25 11:31:02 +0100},
DATE-MODIFIED = {2007-07-25 11:36:20 +0100},
HOWPUBLISHED = {{W3C} {N}ote},
INSTITUTION = {{W}orld {W}ide {W}eb {C}onsortium},
MONTH = {18 December},
NOTE = {Available at \url{http://www.w3.org/TR/daml+oil-reference}},
TITLE = {{DAML+OIL} ({M}arch 2001) {R}eference {D}escription},
URL = {http://www.w3.org/TR/daml+oil-reference},
YEAR = 2001,
BDSK-URL-1 = {http://www.w3.org/TR/daml+oil-reference}
}
@INPROCEEDINGS{BeGH01,
ANNOTE = {AKA: Horrocks01g},
AUTHOR = {Sean Bechhofer and Carole Goble and Ian Horrocks},
BOOKTITLE = {Proc.\ of the 2001 Int.\ Semantic Web Working Symposium (SWWS~2001)},
DATE-MODIFIED = {2007-03-07 20:44:27 +0000},
NOTE = {Available at \url{http://www.semanticweb.org/SWWS/program/full/SWWSProceedings.pdf}},
PAGES = {151--159},
TITLE = {{DAML+OIL} is not Enough},
URL = {download/2001/not-enough.pdf},
YEAR = 2001,
BDSK-URL-1 = {download/2001/not-enough.pdf}
}
@INPROCEEDINGS{BHGS01,
ANNOTE = {AKA: Horrocks01o},
AUTHOR = {Sean Bechhofer and Ian Horrocks and Carole Goble and Robert Stevens},
BOOKTITLE = {Proc.\ of the Joint German/Austrian Conf.\ on Artificial Intelligence (KI~2001)},
DATE-MODIFIED = {2007-03-18 14:51:45 +0000},
NUMBER = 2174,
PAGES = {396--408},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
TITLE = {{OilEd}: {A} {Reason-able} Ontology Editor for the Semantic Web},
URL = {download/2001/oiled-ki.pdf},
YEAR = 2001,
BDSK-URL-1 = {download/2001/oiled-ki.pdf}
}
@INPROCEEDINGS{BHGS01b,
ANNOTE = {AKA: Horrocks01e},
AUTHOR = {Sean Bechhofer and Ian Horrocks and Carole Goble and Robert Stevens},
BOOKTITLE = {Proc.\ of the 2001 Description Logic Workshop (DL~2001)},
DATE-MODIFIED = {2007-03-07 20:44:27 +0000},
PAGES = {1--9},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {{OilEd}: A {Reason-able} Ontology Editor for the Semantic Web},
URL = {download/2001/oiled-dl.pdf},
VOLUME = {49},
YEAR = 2001,
BDSK-URL-1 = {download/2001/oiled-dl.pdf}
}
@INPROCEEDINGS{HoPa01,
ANNOTE = {AKA: Horrocks01f},
AUTHOR = {Ian Horrocks and Patel-Schneider, Peter F.},
BOOKTITLE = {Proc.\ of the 2001 Description Logic Workshop (DL~2001)},
DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
PAGES = {30--35},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {The Generation of {DAML+OIL}},
URL = {download/2001/HoPa01.pdf},
VOLUME = {49},
YEAR = 2001,
BDSK-URL-1 = {download/2001/HoPa01.pdf}
}
@INPROCEEDINGS{HoSa01,
ANNOTE = {AKA: Horrocks01b},
AUTHOR = {Ian Horrocks and Ulrike Sattler},
BOOKTITLE = {Proc.\ of the 17th Int.\ Joint Conf.\ on Artificial Intelligence (IJCAI~2001)},
DATE-MODIFIED = {2007-03-07 20:44:28 +0000},
PAGES = {199--204},
PUBLISHER = {Morgan Kaufmann, Los Altos},
TITLE = {Ontology Reasoning in the {$\mathcal{SHOQ}$(D)} Description Logic},
URL = {download/2001/ijcai01.pdf},
YEAR = 2001,
BDSK-URL-1 = {download/2001/ijcai01.pdf}
}
@TECHREPORT{HoSa01b,
AUTHOR = {Ian Horrocks and Ulrike Sattler},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
INSTITUTION = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
NUMBER = {01-08},
TITLE = {Optimised Reasoning for $\mathcal{SHIQ}$},
TYPE = {LTCS-Report},
URL = {download/2001/HoSa01b.pdf},
YEAR = 2001,
BDSK-URL-1 = {download/2001/HoSa01b.pdf}
}
@INPROCEEDINGS{Horrocks01a,
AUTHOR = {J. Broekstra and M. Klein and S. Decker and D. Fensel and F. van Harmelen and I. Horrocks},
BOOKTITLE = {Proc.\ of the Tenth International World Wide Web Conference (WWW 2001)},
DATE-MODIFIED = {2012-02-04 17:42:43 +0000},
ISBN = {1-58113-348-0},
MONTH = {May},
PAGES = {467--478},
TITLE = {Enabling knowledge representation on the Web by Extending {RDF} Schema},
URL = {download/2001/extending-RDF.pdf},
YEAR = 2001,
BDSK-URL-1 = {download/2001/extending-RDF.pdf}
}
@ARTICLE{FHHMP01,
AUTHOR = {D. Fensel and F. van Harmelen and I. Horrocks and D. McGuinness and P. F. Patel-Schneider},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
JOURNAL = {{IEEE} Intelligent Systems},
NUMBER = 2,
PAGES = {38--45},
TITLE = {{OIL}: {A}n Ontology Infrastructure for the Semantic Web},
URL = {download/2001/IEEE-IS01.pdf},
VOLUME = 16,
YEAR = 2001,
BDSK-URL-1 = {download/2001/IEEE-IS01.pdf}
}
@INPROCEEDINGS{Horrocks01d,
AUTHOR = {R. Stevens and I. Horrocks and C. Goble and S. Bechhofer},
BOOKTITLE = {Proceedings of the IJCAI-2001 Workshop on Ontologies and Information Sharing},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
PAGES = {81--90},
SERIES = {CEUR (\url{http://ceur-ws.org/})},
TITLE = {Building a Reason-able Bioinformatics Ontology Using {OIL}},
URL = {download/2001/oiled-ijcai.pdf},
VOLUME = {47},
YEAR = 2001,
BDSK-URL-1 = {download/2001/oiled-ijcai.pdf}
}
@INPROCEEDINGS{Horrocks01h,
AUTHOR = {J. Pan and I. Horrocks},
BOOKTITLE = {Proc.\ of the 2001 Int.\ Semantic Web Working Symposium (SWWS~2001)},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
PAGES = {131--149},
TITLE = {Metamodeling Architecture of Web Ontology Languages},
URL = {download/2001/rdfsfa.pdf},
YEAR = 2001,
BDSK-URL-1 = {download/2001/rdfsfa.pdf}
}
@ARTICLE{Horrocks01j,
AUTHOR = {M. Klein and D. Fensel and F. van Harmelen and I. Horrocks},
DATE-MODIFIED = {2007-03-07 20:44:29 +0000},
JOURNAL = {Electronic Trans.\ on Artificial Intelligence},
NOTE = {Special Issue on the 1st International Workshop ``Semantic Web: Models, Architectures and Management''},
TITLE = {The relation between ontologies and XML schemas},
URL = {download/2001/etai01.pdf},
YEAR = {2001},
BDSK-URL-1 = {download/2001/etai01.pdf}
}
@MISC{daml-ref-daml,
AUTHOR = {Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks},
DATE-MODIFIED = {2008-06-20 18:44:03 +0100},
MONTH = MAR,
NOTE = {\url{http://www.daml.org/2001/03/reference.html}},
TITLE = {Reference Description of the {DAML+OIL} ({M}arch 2001) Ontology Markup Langauge},
URL = {http://www.daml.org/2001/03/reference.html},
YEAR = 2001,
BDSK-URL-1 = {http://www.daml.org/2001/03/reference.html}
}
@MISC{daml-mt-daml,
AUTHOR = {Frank {van Harmelen} and Peter F. Patel-Schneider and Ian Horrocks},
DATE-MODIFIED = {2008-06-20 18:43:37 +0100},
MONTH = MAR,
NOTE = {\url{http://www.daml.org/2001/03/model-theoretic-semantics.html}},
TITLE = {A Model-Theoretic Semantics for {DAML+OIL} ({M}arch 2001)},
URL = {http://www.daml.org/2001/03/model-theoretic-semantics.html},
YEAR = 2001,
BDSK-URL-1 = {http://www.daml.org/2001/03/model-theoretic-semantics.html}
}
