發送短信: Consequence-based reasoning for SRIQ ontologies