Sonic
From MaRDI portal
Software:29373
No author found.
Related Items (3)
Computing the least common subsumer w.r.t. a background terminology ⋮ Automated Reasoning ⋮ Structural subsumption and least common subsumers in a description logic with existential and number restrictions
This page was built for software: Sonic
