The thea2 library enables reading, analysis and writing of ontology files in a variety of formats. A particularly useful format is
plsyn which is a succinct format (sort of Manchester meets Functional style). However, for some reason in the current git download of the thea libraries, the
save_axioms hook in the
owl2_plsyn.pl file doesn’t save to file, but instead dumps to screen.
The following fix in the predicate
owl2_io:save_axioms_hook/3 will alleviate that. I essentially mirrored the code from the similar file
owl2_io:save_axioms_hook(File,plsyn,Opts) :- ( nonvar(File) -> tell(File) ; true ), write_owl_as_plsyn(Opts), told.