COROR

swMATH12479MaRDI QIDQ24407FDOQ24407

Author name not available (Why is that?)

Cited In (1)

• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

This page was built for software: COROR