为了加深我对 OWL 和描述逻辑的理解，我很失望我找不到可以将 DL 转换为 Web 本体语法的描述逻辑解析器（“DL German syntax”，如果我没记错的话）。
为了熟悉符号，在 Windows 上，我使用 AutoHotkey 将 UTF-8 符号发送到编辑器（例如：Send {U+2200}writes ∀）。这适用于 Sublime Text、VSCode 或 Notepad3 等等，当然还有支持字体，但我可以更进一步，直接使用 DL Syntax 中的推理器或通过转换器来回使用至少一种可用的语法，如曼彻斯特符号 ?