@techreport{Horr97,
annote = {AKA: Horrocks97a},
author = {Ian Horrocks},
date-modified = {2008-06-21 17:30:08 +0100},
institution = {University of Manchester, Department of Computer Science},
number = {UMCS-97-2-1},
title = {Optimisation Techniques for Expressive Description Logics},
url = {download/1997/Horr97.pdf},
year = 1997,
bdsk-url-1 = {download/1997/UMCS-97-2-1.ps.gz},
bdsk-url-2 = {download/1997/Horr97.pdf}
}
@phdthesis{Horr97b,
annote = {AKA: Horrocks97b},
author = {Ian Horrocks},
date-modified = {2008-06-21 18:19:52 +0100},
school = {University of Manchester},
title = {Optimising Tableaux Decision Procedures for Description Logics},
url = {download/1997/phd.pdf},
year = 1997,
bdsk-url-1 = {download/1997/phd-2sss.ps.gz},
bdsk-url-2 = {download/1997/phd.pdf}
}
@article{RBGH*97,
annote = {AKA: Rector96a},
author = {A. Rector and S. Bechhofer and C. A. Goble and I. Horrocks and W. A. Nowlan and W. D. Solomon},
date-modified = {2008-06-21 17:30:31 +0100},
journal = {Artificial Intelligence in Medicine},
pages = {139--171},
title = {The {\textsc{Grail}} Concept Modelling Language for Medical Terminology},
url = {download/1997/RBGH97.pdf},
volume = 9,
year = 1997,
bdsk-url-1 = {download/1997/aim97.ps.gz},
bdsk-url-2 = {download/1997/RBGH97.pdf}
}
@inproceedings{Horrocks97e,
author = {I. Horrocks and G. Gough},
booktitle = {Proc.\ of the 1997 Description Logic Workshop (DL'97)},
date-modified = {2012-06-22 18:51:36 +0100},
pages = {25--28},
title = {Description Logics with Transitive Roles},
url = {download/1997/Horrocks97e.pdf},
year = 1997,
bdsk-url-1 = {download/1997/dl97-final.ps.gz},
bdsk-url-2 = {download/1997/Horrocks97e.pdf}
}
@inproceedings{Rector97a,
author = {A. Rector and I. Horrocks},
booktitle = {Proc.\ of the Workshop on Ontological Engineering, {AAAI} Spring Symposium ({AAAI'97})},
date-modified = {2012-06-22 19:04:04 +0100},
title = {Experience Building a Large, Re-usable Medical Ontology using a Description Logic with Transitivity and Concept Inclusions},
url = {download/1997/Rector97a.pdf},
year = 1997,
bdsk-url-1 = {download/1997/aaai-spring-symposium.ps.gz},
bdsk-url-2 = {download/1997/Rector97a.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
