@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}
}
@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
