Modify (at least) one example in module vlog4j-examples (such as the one with DOID) to call Reasoner#writeInferences and export the chase result to a file, instead of to System.out.
[ ] investigate for which example we already have, writing all inferences would be best
[ ] if there is no such an example, create a new one
irina-dragoste
commented
4 years ago
Modify (at least) one example in module
vlog4j-examples(such as the one with DOID) to callReasoner#writeInferencesand export the chase result to a file, instead of to System.out.