A Decidable Extension of SROIQ with Complex Role Chains and Unions | Zendy

Milenko Mosurović | Zendy; Nenad Krdžavac | Zendy; H. Graves | Zendy; Michael Zakharyaschev | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Decidable Extension of SROIQ with Complex Role Chains and Unions

Author(s) -

Milenko Mosurović,

Nenad Krdžavac,

H. Graves,

Michael Zakharyaschev

Publication year - 2013

Publication title -

journal of artificial intelligence research

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.79

H-Index - 123

eISSN - 1943-5037

pISSN - 1076-9757

DOI - 10.1613/jair.4022

Subject(s) - soundness , decidability , extension (predicate logic) , axiom , completeness (order theory) , satisfiability , description logic , computer science , web ontology language , ontology , theoretical computer science , programming language , discrete mathematics , mathematics , semantic web , artificial intelligence , epistemology , philosophy , mathematical analysis , geometry

We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove its soundness, completeness and termination

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research