Skip to Content

Terminal Complex Role Inclusion Axioms

  • : 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.
  • : Function ereg() is deprecated in /home/goodoldai/public_html/sites/all/modules/biblio/biblio_theme.inc on line 389.
  • warning: explode() expects parameter 2 to be string, array given in /home/goodoldai/public_html/sites/all/modules/biblio/biblio.pages.inc on line 1076.
TitleTerminal Complex Role Inclusion Axioms
Publication TypeConference Paper
Year of Publication2010
AuthorsKrdzavac, N., and Mosurovic M.
EditorBolotov, Alexander
Conference NameAUTOMATED REASONING WORKSHOP 2010, Bridging the Gap between Theory and Practice (arw2010)
Date PublishedMarh 2010
PublisherWestminster University
Conference LocationLondon
KeywordsDescription Logics, Tableau Algorithm
Abstract

The paper defines an extension of complex role inclusion axioms (RIAs) in SROIQ description logic (DL) with
terminal complex RIAs

URLhttp://www2.wmin.ac.uk/bolotoa/ARW/arw-2010.html