search

spechub / Hets

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

avoid adding prefixes to symbols in translation OWL22CASL #1585

Closed tillmo closed 4 years ago

tillmo commented 8 years ago

example: see #1584

mcodescu commented 8 years ago

Is it right that Hets generates an expanded IRI for symbols without prefixes, e.g. for the object property p in the example:

QN {namePrefix = "", localPart = "p", iriType = Abbreviated, expandedIRI = "http://www.hets.eu/ontology/unamed#p", iriPos = nullRange}

?

tillmo commented 8 years ago

no. After all, DOL files can also have a prefix section. This means that the OWL prefix section should be converted to a DOL prefix section. We can do this later. For now, it is urgent to have simple names for easier debugging.

tillmo commented 8 years ago

I have some OWL ontology that is proved inconsistent (via SPASS) with the old OWL22CASL, but not with the new one, see https://gist.github.com/tillmo/d448365b048b97fd5f00

mcodescu commented 8 years ago

I'd rather suspect #1584 to have caused this.

tillmo commented 8 years ago

no, the difference between "new" and "old" here is just your 1585 patch.

tillmo commented 8 years ago

btw, names like "op h-nb : Thing" are not legal CASL syntax. Quick hack: replace "-" by "_".

tillmo commented 8 years ago

aha, with this replacement, I now also get an inconsistency with the new version

mcodescu commented 8 years ago

OK, I wanted to keep original names, I will apply an existing method that replaces non-alphanumerical symbols with _u. Or I can modify it to add just _, if you prefer.

tillmo commented 8 years ago

"u" is better in order to avoid ambiguities.

mcodescu commented 8 years ago

OK, it is committed.

mcodescu commented 4 years ago

no prefixes are added currently, fixed.