simonjantsch
Repositories
Issues
Comments
Results
1
issues of
simonjantsch
converter from as subset of OWL to FOL
Added the possibility to print a set of OWL Axioms as FOL formulas
