\input zb-basic
\input zb-ioport
\iteman{io-port 70748223}
\itemau{Konev, Boris; Lutz, Carsten; Ponomaryov, Denis; Wolter, Frank}
\itemti{Decomposing description logic ontologies}
\itemso{KR (2010).}
\itemcc{}
\itemut{}
\itemli{http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1356}
\end