Handling Nominals and Inverse Roles using Algebraic Reasoning
Artificial Intelligence
2018-10-03 v1
Abstract
This paper presents a novel SHOI tableau calculus which incorporates algebraic reasoning for deciding ontology consistency. Numerical restrictions imposed by nominals, existential and universal restrictions are encoded into a set of linear inequalities. Column generation and branch-and-price algorithms are used to solve these inequalities. Our preliminary experiments indicate that this calculus performs better on SHOI ontologies than standard tableau methods.
Cite
@article{arxiv.1810.00916,
title = {Handling Nominals and Inverse Roles using Algebraic Reasoning},
author = {Humaira Farid and Volker Haarslev},
journal= {arXiv preprint arXiv:1810.00916},
year = {2018}
}
Comments
23 pages