Handling Nominals and Inverse Roles using Algebraic Reasoning

Humaira Farid, Volker Haarslev

This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency. Numerical restrictions imposed by nominals, existential…