Sonic -- non-standard inferences go OilEd. Sonic (Sonic stands for “Simple OilEd Non-standard Inference Component”) is the first prototype implementation of non-standard inferences for Description Logics usable via a graphical user interface. The contribution of our implementation is twofold: it extends an earlier implementation of the least common subsumer and of the approximation inference to number restrictions, and it offers these reasoning services via an extension of the graphical ontology editor OilEd.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element