@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
Horrocks
version
1
conjunction
0
group name
Horrocks
conditions
comparison
2
key
value
version
1
conjunction
0
group name
Last Import
conditions
