search

spechub / Hets

The Heterogeneous Tool Set
http://hets.eu
GNU General Public License v2.0
57 stars 19 forks source link

Issue warning if DOL prefixes conflict with prefixes in imported logics #2112

Open b-gehrke opened 2 years ago

b-gehrke commented 2 years ago

In #2095 many problems originate from minor differences in prefixes. Consider the following:

%prefix( : <https://example.com/>
  ontohub: <https://ontohub.org/meta/> )% 
logic NeSyPatterns    
pattern M = data ontohub:NeSyPatterns.omn
  Model;
end

Model is expanded to https://example.com/Model whereas in ontohub:NeSyPatterns.omn :Model is expanded to https://ontohub.org/meta/Model. This might be intentional, but a warning should notify the user about clashing prefixes.

mcodescu commented 2 years ago

It took me a while to figure out that https://ontohub.org/meta and https://www.ontohub.org/meta were not the same. Could we either treat them as equal or issue some warning about the mismatch?