Automated reasoning support for Standpoint-OWL 2