%0 Conference Paper %1 conf/dlog/KolovskiPS06 %A Kolovski, Vladimir %A Parsia, Bijan %A Sirin, Evren %B Description Logics %D 2006 %E Parsia, Bijan %E Sattler, Ulrike %E Toman, David %I CEUR-WS.org %K %T Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2006.html#KolovskiPS06 %V 189

@inproceedings{conf/dlog/KolovskiPS06, added-at = {2023-12-13T06:53:25.000+0100}, author = {Kolovski, Vladimir and Parsia, Bijan and Sirin, Evren}, biburl = {https://www.bibsonomy.org/bibtex/2bbcd54acc2f7c8dd6a1c286cb91a7947/admin}, booktitle = {Description Logics}, crossref = {conf/dlog/2006}, editor = {Parsia, Bijan and Sattler, Ulrike and Toman, David}, ee = {http://ceur-ws.org/Vol-189/submission_26.pdf}, interhash = {b2e1bd940bab94a82b2bf9372684d4d5}, intrahash = {bbcd54acc2f7c8dd6a1c286cb91a7947}, keywords = {}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-13T06:53:25.000+0100}, title = {Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2006.html#KolovskiPS06}, volume = 189, year = 2006 }