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.