Volker Haarslev, Ralf Möller. Optimizing Reasoning in Description Logics with Qualified Number Restrictions. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, Peter F. Patel-Schneider, editors, Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001. Volume 49 of CEUR Workshop Proceedings, CEUR-WS.org, 2001. [doi]
@inproceedings{HaarslevM01a,
title = {Optimizing Reasoning in Description Logics with Qualified Number Restrictions},
author = {Volker Haarslev and Ralf Möller},
year = {2001},
url = {http://CEUR-WS.org/Vol-49/HaarslevMoeller-142start.ps},
tags = {optimization, logic},
researchr = {https://researchr.org/publication/HaarslevM01a},
cites = {0},
citedby = {0},
booktitle = {Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001},
editor = {Carole A. Goble and Deborah L. McGuinness and Ralf Möller and Peter F. Patel-Schneider},
volume = {49},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}