@book{57112,
	author = {Li, Wei. and Sui, Yuefei. and SpringerLink (Online service)},
	title = {R-Calculus, V: Description Logics},
	publisher = {Springer Nature Singapore :},
	year = {2024.},
	series = {Perspectives in Formal Induction, Revision and Evolution,},
	address = {Singapore :},
	edition = {1st ed. 2024.},
	url = {https://doi.org/10.1007/978-981-99-6460-4}
}