इसका टेक्स्ट मैसेज भेजे: A general datalog-based framework for tractable query answering over ontologies.