Carsten Lutz
Adding Numbers to the SHIQ Description Logic: First Results
KR, 2002.
@inproceedings{KR-2002-Lutz,
author = "Carsten Lutz",
booktitle = "{Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-554-1",
pages = "191--202",
publisher = "{Morgan Kaufmann}",
title = "{Adding Numbers to the SHIQ Description Logic: First Results}",
year = 2002,
}