%0 Conference Paper %1 conf/dlog/BaaderKMTZ22 %A Baader, Franz %A Koopmann, Patrick %A Michel, Friedrich %A Turhan, Anni-Yasmin %A Zarrieß, Benjamin %B Description Logics %D 2022 %E Arieli, Ofer %E Homola, Martin %E Jung, Jean Christoph %E Mugnier, Marie-Laure %I CEUR-WS.org %K dblp %T Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/dlog/dlog2022.html#BaaderKMTZ22 %V 3263

@inproceedings{conf/dlog/BaaderKMTZ22, added-at = {2023-03-10T00:00:00.000+0100}, author = {Baader, Franz and Koopmann, Patrick and Michel, Friedrich and Turhan, Anni-Yasmin and Zarrieß, Benjamin}, biburl = {https://www.bibsonomy.org/bibtex/2dc10e7b27d9b32faa7043b0faeb45923/dblp}, booktitle = {Description Logics}, crossref = {conf/dlog/2022}, editor = {Arieli, Ofer and Homola, Martin and Jung, Jean Christoph and Mugnier, Marie-Laure}, ee = {https://ceur-ws.org/Vol-3263/abstract-1.pdf}, interhash = {66736647e5600a0e77c5e19af7a4a07e}, intrahash = {dc10e7b27d9b32faa7043b0faeb45923}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-10T01:00:12.000+0200}, title = {Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/dlog/dlog2022.html#BaaderKMTZ22}, volume = 3263, year = 2022 }