TY - BOOK AU - Wei Li AU - Yuefei Sui TI - R-Calculus, V: Description Logics SN - 978-981-99-6460-4 PY - 2024/// CY - Heidelberg, Germany PB - Springer Nature KW - Computer Science UR - https://link.springer.com/openurl?genre=book&isbn=978-981-99-6460-4 ER -