search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

transform OWL provers to new OWL abstract syntax #2003

Open tillmo opened 3 years ago

tillmo commented 3 years ago

see also #1993

mcodescu commented 3 years ago

in OWL2/ProveFact.hs, OWL2/ProvePellet.hs, OWL2/ProverState.hs