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