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{Horr98,
  annote = {AKA: Horrocks98c},
  author = {Ian Horrocks},
  booktitle = {Proc.\ of the 6th Int.\ Conf.\ on Principles of Knowledge Representation and Reasoning (KR'98)},
  date-modified = {2007-03-07 20:44:28 +0000},
  pages = {636--647},
  title = {Using an Expressive Description Logic: {FaCT} or Fiction?},
  url = {download/1998/kr98.pdf},
  year = 1998,
  bdsk-url-1 = {download/1998/kr98.pdf}
}
@inproceedings{Horr98b,
  annote = {AKA: Horrocks98d},
  author = {Ian Horrocks},
  booktitle = {Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)},
  date-modified = {2008-06-21 17:23:45 +0100},
  editor = {Harrie {de Swart}},
  pages = {307--312},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {The {FaCT} System},
  url = {download/1998/Horr98b.pdf},
  volume = 1397,
  year = 1998,
  bdsk-url-1 = {download/1998/t98-paper.ps.gz},
  bdsk-url-2 = {download/1998/Horr98b.pdf}
}
@inproceedings{HoPa98,
  annote = {AKA: Horrocks98h},
  author = {Ian Horrocks and Patel-Schneider, Peter F.},
  booktitle = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  date-modified = {2008-06-21 17:25:35 +0100},
  pages = {55--57},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {{DL} Systems Comparison},
  url = {download/1998/HoPa98.pdf},
  volume = {11},
  year = 1998,
  bdsk-url-1 = {download/1998/dl98-systems.ps.gz},
  bdsk-url-2 = {download/1998/HoPa98.pdf}
}
@inproceedings{HoPa98b,
  annote = {AKA: Horrocks98b},
  author = {Ian Horrocks and Patel-Schneider, Peter F.},
  booktitle = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  date-modified = {2008-06-21 17:25:52 +0100},
  pages = {90--94},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {Comparing Subsumption Optimizations},
  url = {download/1998/HoPa98b.pdf},
  volume = {11},
  year = 1998,
  bdsk-url-1 = {download/1998/dl98.ps.gz},
  bdsk-url-2 = {download/1998/HoPa98b.pdf}
}
@inproceedings{HoPa98d,
  annote = {AKA: Horrocks98e},
  author = {Ian Horrocks and Patel-Schneider, Peter F.},
  booktitle = {Proc.\ of the 2nd Int.\ Conf.\ on Analytic Tableaux and Related Methods (TABLEAUX'98)},
  date-modified = {2008-06-21 17:26:11 +0100},
  editor = {Harrie {de Swart}},
  number = {1397},
  pages = {27--30},
  publisher = {Springer},
  series = {Lecture Notes in Artificial Intelligence},
  title = {{FaCT} and {DLP}},
  url = {download/1998/HoPa98d.pdf},
  year = 1998,
  bdsk-url-1 = {download/1998/tableaux98.ps.gz},
  bdsk-url-2 = {download/1998/HoPa98d.pdf}
}
@inproceedings{HoPa98c,
  annote = {AKA: Horrocks98a},
  author = {I. Horrocks and P. F. Patel-Schneider},
  booktitle = {Proc.\ of the 4th Int.\ Conf.\ on Artificial Intelligence and Symbolic Computation (AISC'98)},
  date-modified = {2008-06-21 17:26:32 +0100},
  pages = {234--246},
  publisher = {SV},
  series = {LNAI},
  title = {Optimising Propositional Modal Satisfiability for Description Logic Subsumption},
  url = {download/1998/HoPa98c.pdf},
  volume = {1476},
  year = 1998,
  bdsk-url-1 = {download/1998/aisc98.ps.gz},
  bdsk-url-2 = {download/1998/HoPa98c.pdf}
}
@techreport{Horrocks98f,
  author = {I. Horrocks and U. Sattler},
  date-modified = {2008-06-21 17:27:05 +0100},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  number = {98-05},
  title = {A Description Logic with Transitive and Converse Roles and Role Hierarchies},
  type = {LTCS-Report},
  url = {download/1998/Horrocks98f.pdf},
  year = 1998,
  bdsk-url-1 = {ftp://www-lti.informatik.rwth-aachen.de/pub/reports/1998/HorrocksSattler-LTCS-98-05.ps.gz},
  bdsk-url-2 = {download/1998/Horrocks98f.pdf}
}
@inproceedings{Horrocks98g,
  author = {I. Horrocks and U. Sattler},
  booktitle = {Proc.\ of the 1998 Description Logic Workshop (DL'98)},
  date-modified = {2008-06-21 17:27:23 +0100},
  pages = {72--81},
  series = {CEUR (\url{http://ceur-ws.org/})},
  title = {A Description Logic with Transitive and Inverse Roles and Role Hierarchies},
  url = {download/1998/Horrocks98g.pdf},
  volume = {11},
  year = 1998,
  bdsk-url-1 = {download/1998/HorrocksSattlerDL98.ps.gz},
  bdsk-url-2 = {download/1998/Horrocks98g.pdf}
}
@techreport{Horrocks98k,
  author = {I. Horrocks and U. Sattler and S. Tobies},
  date-modified = {2008-06-21 17:27:59 +0100},
  institution = {LuFg Theoretical Computer Science, RWTH Aachen, Germany},
  number = {98-08},
  title = {A {PS}\textsc{pace}-algorithm for deciding $\mathcal{ALCI}_{R^+}$-satisfiability},
  type = {LTCS-Report},
  url = {download/1998/Horrocks98k.pdf},
  year = 1998,
  bdsk-url-1 = {download/1998/HorrocksSattlerTobies-LTCS-98-08.ps.gz},
  bdsk-url-2 = {download/1998/Horrocks98k.pdf}
}
@comment{{BibDesk Smart Groups




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