%0 Conference Paper %1 conf/dlog/PanH02 %A Pan, Jeff Z. %A Horrocks, Ian %B Description Logics %D 2002 %E Horrocks, Ian %E Tessaris, Sergio %I CEUR-WS.org %K dblp %T Reasoning in the SHOQ(Dn) Description Logic. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2002.html#PanH02 %V 53

@inproceedings{conf/dlog/PanH02, added-at = {2023-03-10T00:00:00.000+0100}, author = {Pan, Jeff Z. and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2e4b191ff347342e4ed27d7ab3c94cf47/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2002}, editor = {Horrocks, Ian and Tessaris, Sergio}, ee = {https://ceur-ws.org/Vol-53/Pan-Horrocks-shioqdn-2002.ps}, interhash = {d055e04237b3f1783d74d2e1d0075542}, intrahash = {e4b191ff347342e4ed27d7ab3c94cf47}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:00:12.000+0200}, title = {Reasoning in the SHOQ(Dn) Description Logic.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2002.html#PanH02}, volume = 53, year = 2002 }