%0 Conference Paper %1 conf/dlog/HorrocksT00a %A Horrocks, Ian %A Tobies, Stephan %B Description Logics %D 2000 %E Baader, Franz %E Sattler, Ulrike %I CEUR-WS.org %K %P 183-192 %T Optimisation of Terminological Reasoning. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2000.html#HorrocksT00a %V 33

@inproceedings{conf/dlog/HorrocksT00a, added-at = {2023-12-12T20:15:02.000+0100}, author = {Horrocks, Ian and Tobies, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/20eef9d2591add887277549a09875ee06/admin}, booktitle = {Description Logics}, crossref = {conf/dlog/2000}, editor = {Baader, Franz and Sattler, Ulrike}, ee = {http://ceur-ws.org/Vol-33/Horrocks183-192.ps}, interhash = {2c9186ff9f452e256aba87f08be321b2}, intrahash = {0eef9d2591add887277549a09875ee06}, keywords = {}, pages = {183-192}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-12T20:15:02.000+0100}, title = {Optimisation of Terminological Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2000.html#HorrocksT00a}, volume = 33, year = 2000 }