![Ontology / Non-classical logic / Tbox / Philosophical logic / Algebraic structures / Modal logic / Description logic / Abox / Binary relation / Mathematics / Logic / Mathematical logic Ontology / Non-classical logic / Tbox / Philosophical logic / Algebraic structures / Modal logic / Description logic / Abox / Binary relation / Mathematics / Logic / Mathematical logic](https://www.pdfsearch.io/img/2a09f30184153b8cbb59751f2f2ff390.jpg)
| Document Date: 2005-12-14 14:49:54 Open Document File Size: 322,64 KBShare Result on Facebook
City Manchester / Oxford / / Country United Kingdom / / / Facility University of Manchester / Kilburn Building / / IndustryTerm pre-processing step / tableau algorithm / elegant tableau-based reasoning algorithm / / Organization University of Manchester / Ulrike Sattler School of Computer Science / / Person Ian Horrocks / Oliver Kutz / / Position RT / / Technology rather elegant tableau-based reasoning algorithm / tableau algorithm / SHOIQ algorithm / /
SocialTag |