Back to Results
First PageMeta Content
Ontology / Non-classical logic / Tbox / Philosophical logic / Algebraic structures / Modal logic / Description logic / Abox / Binary relation / Mathematics / Logic / Mathematical logic


The Even More Irresistible SROIQ Ian Horrocks, Oliver Kutz, and Ulrike Sattler School of Computer Science, The University of Manchester, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK. {Horrocks, Kutz, Sattler}@c
Add to Reading List

Document Date: 2005-12-14 14:49:54

Open Document

File Size: 322,64 KB

Share 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