SHIQ with Complex Role Inclusion Axioms"/> Department of Computer Science, University of Oxford: Publication - Decidability of <span style="font-family: serif"><span style="font-family: cursive; text-transform: uppercase; font-style: italic">SHIQ</span></span> with Complex Role Inclusion Axioms
University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Decidability of SHIQ with Complex Role Inclusion Axioms

Ian Horrocks and Ulrike Sattler

Details

Institution

Lehrstuhl für Automatentheorie Institut für Theoretische Informatik‚ TU Dresden
Number

02−06
Year

2002

Links

BibTeX

Link (pdf)

Related pages