Protege-TS

swMATH43908MaRDI QIDQ1350209FDOQ1350209

Author name not available (Why is that?)

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

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

Cited In (3)

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

This page was built for software: Protege-TS