Handling Nominals and Inverse Roles using Algebraic Reasoning

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 algorit...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2018-10
Main Authors: Farid, Humaira, Haarslev, Volker
Format: Article
Language:English
Subjects:
Algebra
Algorithms
Coding
Inequalities
Linear functions
Ontology
Reasoning
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422