安妮·亚斯敏（Anni-Yasmin Turhan）;基西格（Christian Kissig） Sonic–非标准推理进入OilEd。 （英语） Zbl 1126.68592号 David Basin（编辑）等人，《自动推理》。第二届国际联合会议，2004年7月4日至8日，爱尔兰科克，IJCAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22345-2/pbk）。计算机科学课程讲稿3097。人工智能课堂讲稿，321-325（2004）。 摘要：Sonic（Sonic代表“Simple OilEd Non-standard Inference Component”）是第一个通过图形用户界面使用的Description Logics非标准推理的原型实现。我们的实现有两个方面的贡献：它将最不常见的subsumer和近似推理的早期实现扩展到数字限制，并通过图形本体编辑器OilEd的扩展提供这些推理服务。有关整个系列，请参见[Zbl 1088.68001号]. 引用于2文件 MSC公司： 第68页第27页 人工智能中的逻辑 第68页第15页 定理证明（演绎、解析等）（MSC2010） 软件：OilEd公司;赛车手;声波 PDF格式BibTeX公司 XML格式引用 \textit{A.-Y.Turhan}和\textit{C.Kissig}，莱克特。注释计算。科学。3097、321--325（2004年；Zbl 1126.68592） 全文： 内政部