發送短信: Integrating Datalog with OWL: Exploring the AL−log Approach.