\input zb-basic \input zb-ioport \iteman{io-port 70058948} \itemau{Turhan, Anni-Yasmin} \itemti{Description logic reasoning for semantic web ontologies} \itemso{WIMS, 6 (2011).} \itemcc{} \itemut{} \itemli{doi:10.1145/1988688.1988696} \end