Skip to Content

An extension of role inclusion axioms with regular expressions

  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
TitleAn extension of role inclusion axioms with regular expressions
Publication TypeConference Paper
Year of Publication2010
AuthorsKrdzavac, N., and Mosurovic M.
Conference NameInformacione tehnologije 2010
Date Published02/2010
PublisherUniverzitet Crne Gore
Conference LocationZabljak
Abstract

Strict partial order on the set of role names in SROIQ description logic, as logical basis for OWL 2 language, does not allow cyclic dependencies among role names in role inclusion axioms. In an extension of regularity conditions on the set of roles, Kazakov proved that OWL 2 ontology with role hierarchy, where role inclusion axioms induce regular languages, is decidable. This solution does not include all regular languages. This paper proposes an extension of role hierarchy with regular expressions which allows one to define role inclusion axioms which has not been written co far. This solution does not disturb decidability of this logic.

URLhttp://www.it.ac.me/zbornici/ZbornikIT10.pdf