A Formal Semantics for Concept Understanding Relying on Description Logics Topics: Knowledge Representation and Reasoning; Knowledge-Based Systems In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 42-52, 2017 , Porto, Portugal