Protege-TS

MaRDI QIDQ1350209swMATHFDO

Official website http://www.cs.man.ac.uk/~schmidt/protege-ts/

Source code repository https://github.com/ianhyland/Protege-TS

Cited in

(3)

• Evonne
• FAME
• Evonne: interactive proof visualization for description logics (system description)

This page was built for software: Protege-TS