%0 Conference Paper %1 conf/dlog/CucalaGH19 %A Cucala, David Tena %A Grau, Bernardo Cuenca %A Horrocks, Ian %B Description Logics %D 2019 %E Simkus, Mantas %E Weddell, Grant E. %I CEUR-WS.org %K dblp %T Sequoia: A Consequence Based Reasoner for SROIQ. %U http://dblp.uni-trier.de/db/conf/dlog/dlog2019.html#CucalaGH19 %V 2373

@inproceedings{conf/dlog/CucalaGH19, added-at = {2023-03-10T00:00:00.000+0100}, author = {Cucala, David Tena and Grau, Bernardo Cuenca and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/22fcd346f1f816adb1c543b3956b1eff5/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2019}, editor = {Simkus, Mantas and Weddell, Grant E.}, ee = {https://ceur-ws.org/Vol-2373/paper-27.pdf}, interhash = {5283c1a08a6aa346a9c3968e5148473e}, intrahash = {2fcd346f1f816adb1c543b3956b1eff5}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T00:59:13.000+0200}, title = {Sequoia: A Consequence Based Reasoner for SROIQ.}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2019.html#CucalaGH19}, volume = 2373, year = 2019 }