Vol-845⫷ Vol-846 ⫸Vol-847
urn:nbn:de:0074-846-0


None⫷None⫸None

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