search

owlcs / owlapi

OWL API main repository
821 stars 315 forks source link

Shortened IRIs in FunctionalSyntax #1090

Closed rwynne closed 1 year ago

rwynne commented 1 year ago

Before saving my ontology, I apply a namespace as the defaultPrefix. It is then properly serialized in FunctionalSyntax on the first line of the document as Prefix(:=<http://foobar.xyz/>)

Although, all IRIs are then fully written as Declaration(Class(<http://foobar.xyz/1000000>)) And in AnnotationAssertions, etc as <http://foobar.xyz/1000000>

Is there a method to generate the shortened form of the default namespace in all axioms? :1000000

When I script this outside the API all is well and good, so I know it must be possible.

Currently on version 5.1.10.

rwynne commented 1 year ago

Apologies on this duplicate issue. Appears when I clicked submit, Github gave an "Ooops!" Error page and to try again? Please close either issue as you see fit.