%0 Conference Paper %1 conf/ijcai/CucalaGH18 %A Cucala, David Tena %A Grau, Bernardo Cuenca %A Horrocks, Ian %B IJCAI %D 2018 %E Lang, Jérôme %I ijcai.org %K dblp %P 1970-1976 %T Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#CucalaGH18 %@ 978-0-9992411-2-7

@inproceedings{conf/ijcai/CucalaGH18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Cucala, David Tena and Grau, Bernardo Cuenca and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/20e95b38b2ef0e8cb0befb40df84a18ec/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/2018}, editor = {Lang, Jérôme}, ee = {https://doi.org/10.24963/ijcai.2018/272}, interhash = {47b4f3084981d7010661b9954ea4fa5c}, intrahash = {0e95b38b2ef0e8cb0befb40df84a18ec}, isbn = {978-0-9992411-2-7}, keywords = {dblp}, pages = {1970-1976}, publisher = {ijcai.org}, timestamp = {2024-04-10T11:30:15.000+0200}, title = {Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2018.html#CucalaGH18}, year = 2018 }