EFFICIENT TOLERANT PATTERN MATCHING WITH CONSTRAINT ABSTRACTIONS IN DESCRIPTION LOGIC Topics: Knowledge Representation and Reasoning; Ontologies; Soft Computing; Uncertainty in AI In Proceedings of the 4th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 256-261, 2012 , Vilamoura, Algarve, Portugal