A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms

Milenko Mosurovic, Henson Graves, Nenad Krdzavac. A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms. In Yevgeny Kazakov, Domenico Lembo, Frank Wolter, editors, Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. Volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, 2012. [doi]

Authors

Milenko Mosurovic

This author has not been identified. Look up 'Milenko Mosurovic' in Google

Henson Graves

This author has not been identified. Look up 'Henson Graves' in Google

Nenad Krdzavac

This author has not been identified. Look up 'Nenad Krdzavac' in Google