SHIQ"/> Department of Computer Science, University of Oxford: Publication - Optimised Reasoning for <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">SHIQ</span></span>
University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Optimised Reasoning for SHIQ

Ian Horrocks and Ulrike Sattler

Details

Institution

LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany
Number

01−08
Year

2001

Links

BibTeX

Link (pdf)

Related pages