Datalog-based framework for efficient query answering over fuzzy ontologies. (1st January 2013)