add pretty print - Githubissues

gavel-tool / python-gavel-owl

GNU Affero General Public License v3.0

4 stars 1 forks source link

add pretty print #5

Open sfluegel05 opened 3 years ago

sfluegel05 commented 3 years ago

currently, translations are only available in TPTP with full IRIs. A more readable version could include labels, non-TPTP characters and shortened IRIs.