False-positive warning about unresolved namespace in prefix declaration

lunisolar commented 3 years ago

Copied from #16 :

Yes, that would be #17. And what you presented is a good example. And I think in #17 i will remove warning altogether and just:

annotate with "ontology" icon for @Prefix declaration that happens to correspond with the ontology visible in the module/project. Clicking on that IRI would navigate to ontology declaration.
annotate with "namespace" icon if IRI in prefix happens to be also used in other file (I mean has resources in that namespace). Clicking on IRI would navigate to one of the files that happens to have most resources in that namespace.
do not use icon at all in other cases. And there is actually no place to navigate too.

So instead of inspection there would be just information.

The main reason being that TTL's prefix declaration is not always a valid namespace (I think a concept that only applies for XML, and here just used for convenience), which in turn is not always ontology IRI.

lunisolar commented 3 years ago

Discovered in: https://github.com/lunisolar/LNKD.tech-Editor/issues/16

lunisolar commented 3 years ago

The actual implementation of the warning does look for resource with assumption it is for example "x a owl:Ontology". If such resource is not found then warning is displayed (the text of the warning is then misleading).

lunisolar commented 2 years ago

Pending relate: #30

lunisolar / LNKD.tech-Editor

False-positive warning about unresolved namespace in prefix declaration #17