Term Rewriting and All That More Books by Franz Baader & Tobias Nipkow

An Introduction to Description Logic An Introduction to Description Logic
An Introduction to Description Logic
2017