University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon
@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
				Baader
				version
				1
			
		
		conjunction
		0
		group name
		Baader
	
	
		conditions