Sonic

MaRDI QIDQ29373swMATHFDO

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

Cited in

(4)

• Automated Reasoning
• OilEd
• 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