この資料をSMS送信: A general datalog-based framework for tractable query answering over ontologies.