假设我有以下 RDF 数据：
\n\n@prefix : <urn:ex:>\n\n:m :A "a"\n:m :A "b"\n:m :A "c"\n:m :B "a"\n:m :B "b"\n我可以使用什么SPARQL查询来检查RDF模型是否满足以下逻辑公式？
\n\n\xe2\x88\x80x A(X) \xe2\x86\x92 B(x)\n