Sonic

swMATH17515MaRDI QIDQ29373FDOQ29373

Author name not available (Why is that?)

Cited In (3)

• Automated Reasoning
• Computing the least common subsumer w.r.t. a background terminology
• Structural subsumption and least common subsumers in a description logic with existential and number restrictions

This page was built for software: Sonic