منابع مشابه
Pushing the Sonic Border — Sonic 1.0
This paper reports on extensions of the Description Logics non-standard inference system Sonic. The recent contributions to the system are two-fold. Firstly, Sonic is extended by two new of non-standard inferences, namely, implementations of the good common subsumer w.r.t. a background terminology and a heuristics for computing a minimal rewriting. Secondly, Sonic is available as a plugin for t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Horror Studies
سال: 2016
ISSN: 2040-3275,2040-3283
DOI: 10.1386/host.7.2.307_1