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
@inproceedings{BHPT99,
  annote = {AKA: Horrocks99d},
  author = {Sean Bechhofer and Ian Horrocks and Patel-Schneider, Peter F. and Sergio Tessaris},
  booktitle = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  date-modified = {2008-06-20 21:27:56 +0100},
  pages = {33--36},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {A Proposal for a Description Logic Interface},
  url = {download/1999/BHPT99.pdf},
  volume = {22},
  year = 1999,
  bdsk-url-1 = {download/1999/corba-fact.ps.gz},
  bdsk-url-2 = {download/1999/BHPT99.pdf}
}
@inproceedings{BFHMP99,
  annote = {AKA: Horrocks99i},
  author = {Alex Borgida and Enrico Franconi and Ian Horrocks and Deborah L. McGuinness and Patel-Schneider, Peter F.},
  booktitle = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  date-modified = {2008-06-20 21:25:54 +0100},
  pages = {37--40},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Explaining {$\mathcal{ALC}$} Subsumption},
  url = {download/1999/BFHMP99.pdf},
  volume = {22},
  year = 1999,
  bdsk-url-1 = {download/1999/dl99-final.ps.gz},
  bdsk-url-2 = {download/1999/BFHMP99.pdf}
}
@inproceedings{Horr99,
  annote = {AKA: Horrocks99c},
  author = {Ian Horrocks},
  booktitle = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  date-modified = {2007-03-07 20:44:28 +0000},
  pages = {133--135},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {{FaCT} and {iFaCT}},
  url = {download/1999/Horr99.pdf},
  volume = {22},
  year = 1999,
  bdsk-url-1 = {download/1999/Horr99.pdf}
}
@article{HoPa99,
  annote = {AKA: Horrocks98i},
  author = {Ian Horrocks and Patel-Schneider, Peter F.},
  date-modified = {2007-03-07 20:44:28 +0000},
  journal = {J.\ of Logic and Computation},
  number = 3,
  pages = {267--293},
  title = {Optimizing Description Logic Subsumption},
  url = {download/1999/090267.pdf},
  volume = 9,
  year = 1999,
  bdsk-url-1 = {download/1999/090267.pdf}
}
@article{HoSa99,
  annote = {AKA: Horrocks98j},
  author = {Ian Horrocks and Ulrike Sattler},
  date-modified = {2007-03-07 20:44:28 +0000},
  journal = {J.\ of Logic and Computation},
  number = 3,
  pages = {385--410},
  title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
  url = {download/1999/090385.pdf},
  volume = 9,
  year = 1999,
  bdsk-url-1 = {download/1999/090385.pdf}
}
@techreport{HoST99b,
  author = {Ian Horrocks and Ulrike Sattler and Stephan Tobies},
  date-modified = {2007-03-07 20:44:29 +0000},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  number = {99-08},
  title = {A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions},
  type = {LTCS-Report},
  url = {download/1999/HoST99b.pdf},
  year = 1999,
  bdsk-url-1 = {download/1999/HoST99b.pdf}
}
@techreport{HoTo99a,
  author = {Ian Horrocks and Stephan Tobies},
  date-modified = {2007-03-07 20:44:29 +0000},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  number = {99-14},
  title = {Optimisation of Terminological Reasoning},
  type = {LTCS-Report},
  url = {download/1999/HoTo99a.pdf},
  year = 1999,
  bdsk-url-1 = {download/1999/HoTo99a.pdf}
}
@inproceedings{Horrocks99b,
  author = {P. F. Patel-Schneider and I. Horrocks},
  booktitle = {Proc.\ of the 3rd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'99)},
  date-modified = {2012-06-22 18:56:44 +0100},
  pages = {19--23},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{DLP} and {FaCT}},
  url = {download/1999/Horrocks99b.pdf},
  volume = {1617},
  year = 1999,
  bdsk-url-1 = {download/1999/dlp-tableaux99.ps.gz},
  bdsk-url-2 = {download/1999/Horrocks99b.pdf}
}
@inproceedings{Horrocks99e,
  author = {I. Horrocks and P. F. Patel-Schneider},
  booktitle = {Proc.\ of the 1999 Description Logic Workshop (DL'99)},
  date-modified = {2012-06-22 18:59:39 +0100},
  pages = {120--124},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Performance of {DLP} on Random Modal Formulae},
  url = {download/1999/Horrocks99e.pdf},
  volume = {22},
  year = 1999,
  bdsk-url-1 = {download/1999/dl99-compare.ps.gz},
  bdsk-url-2 = {download/1999/Horrocks99e.pdf}
}
@inproceedings{Horrocks99g,
  author = {I. Horrocks and P. F. Patel-Schneider},
  booktitle = {Proc.\ of the first workshop on Methods for Modalities (M4M-1)},
  date-modified = {2012-06-22 19:01:28 +0100},
  title = {Generating Hard Modal Problems for Modal Decision Procedures},
  url = {download/1999/Horrocks99g.pdf},
  year = 1999,
  bdsk-url-1 = {download/1999/paper-m4m-final.ps.gz},
  bdsk-url-2 = {download/1999/Horrocks99g.pdf}
}
@inproceedings{Horrocks99h,
  author = {I. Horrocks and U. Sattler and S. Tobies},
  booktitle = {Proc.\ of the first workshop on Methods for Modalities (M4M-1)},
  date-modified = {2012-06-22 19:02:23 +0100},
  title = {Practical Reasoning for Description Logics with Functional Restrictions, Inverse and Transitive Roles, and Role Hierarchies},
  url = {download/1999/Horrocks99h.pdf},
  year = 1999,
  bdsk-url-1 = {download/1999/m4m99-shif.ps.gz},
  bdsk-url-2 = {download/1999/Horrocks99h.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{Horrocks99k,
  author = {I. Horrocks and L. Padgham and L. Thomson},
  booktitle = {Advanced Topics in Artificial Intelligence: Proceedings of the 12th Australian Joint Conference on Artificial Intelligence (AI'99)},
  date-modified = {2008-06-20 19:56:06 +0100},
  isbn = {3-540-66822-5},
  number = 1747,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  title = {Feasibility of Optimised Disjunctive Reasoning for Approximate Matching},
  url = {download/1999/Horrocks99k.pdf},
  year = 1999,
  bdsk-url-1 = {download/1999/AI99.ps.gz},
  bdsk-url-2 = {download/1999/Horrocks99k.pdf}
}
@techreport{HSTT99,
  address = {Germany},
  annote = {AKA: HorrocksSattler+-LTCS-99-15},
  author = {I. Horrocks and U. Sattler and S. Tessaris and S. Tobies},
  date-modified = {2007-09-02 09:48:46 +0100},
  institution = {LuFG Theoretical Computer Science, RWTH Aachen},
  number = {99-15},
  title = {Query Containment Using a {DLR} {ABox}},
  type = {LTCS-Report},
  url = {download/1999/HorrocksSattler+-LTCS-99-15.pdf},
  year = 1999,
  bdsk-url-1 = {download/1999/HorrocksSattler+-LTCS-99-15.pdf}
}
@comment{{BibDesk Smart Groups




	
		conditions
		
			
				comparison
				2
				key
				Author
				value
				Baader
				version
				1
			
		
		conjunction
		0
		group name
		Baader
	
	
		conditions