深度分析 GPT‑5.4 在 OWL 2 DL 反向否定推理的提示設計與效能評估 本研究揭露 GPT‑5.4 在處理 OWL 2 DL 需要功能屬性閉合或類別不相交的查詢時,會把本應回「否」的答案回覆為「未知」。研究者以 180 筆自動生成的查詢與兩組保留測試,比較四種互動模式:單次回覆、三輪通用「你錯了」重試、三輪含開放世界假設(OWA)提示的推理結果修正,以及僅提供推理結果的修正。