Description Logic Handbook : Theory, Implementation and Applications, Paperba...
Explore formal semantics, inference algorithms, and ontology engineering in this handbook, blending rigorous theory with hands‑on examples for AI, bioinformatics, and enterprise data integration.