Sonic
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
References in zbMATH (referenced in 3 articles )
Showing results 1 to 3 of 3.
Sorted by year (- Baader, Franz; Sertkaya, Baris; Turhan, Anni-Yasmin: Computing the least common subsumer w.r.t. a background terminology (2007)
- Küsters, Ralf; Molitor, Ralf: Structural subsumption and least common subsumers in a description logic with existential and number restrictions (2005)
- Turhan, Anni-Yasmin; Kissig, Christian: Sonic -- non-standard inferences go OilEd (2004)