Stem sroiq$ (all stems)
4 papers:
SAC-2012-YanZM #data type #fuzzy #logic- f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group (LY, FZ, ZMM), pp. 320–325.
IJCAR-2010-Kazakov #axiom #logic- An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ (YK), pp. 472–486.
KR-2008-Kazakov- RIQ and SROIQ Are Harder than SHOIQ (YK), pp. 274–284.
KR-2006-HorrocksKS- The Even More Irresistible SROIQ (IH, OK, US), pp. 57–67.










