State Transition OWL file

kastle-lab / modular-ontology-design-library

Creative Commons Attribution Share Alike 4.0 International

2 stars 1 forks source link

Closed threefinbdd closed 1 year ago

threefinbdd commented 1 year ago

State Transition OWL file generated from CoModIDE and Protege.

cogan-shimizu commented 1 year ago

Did you already check the paper for specific axioms?