Sonic

swMATH17515MaRDI QIDQ29373FDOQ29373

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-540-25984-8_22

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