search

spechub / Hets

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

implicit downloading does not work in formal parameters #1748

Open tillmo opened 7 years ago

tillmo commented 7 years ago

see https://ontohub.org/sandbox/OrderRelationExtension

mcodescu commented 6 years ago 
ontology O = 
 <http://ontohub.org/sandbox/OrderRelation>
end

does not work either, because OrderRelation.casl is a library. What is the syntax to get the specification OrderRelation from that library? And is the syntax already supported in Hets?

tillmo commented 6 years ago

The syntax currently is

%prefix( : <http://ontohub.org/sandbox/> )%
ontology O = 
 OrderRelation.casl
end

I thought from previous experience that the .casl can be omitted, but appearently I cannot.

mcodescu commented 6 years ago

OK, this works for me as well, with the extension. What I was wondering was how Hets knows that from the library OrderRelation.casl it should import the specification OrderRelation: is this so because it is the only one, or is there some convention that the spec with the same name as the file is imported? It could be that in the file there are more specifications, and you can't import them all. I thought we must use something like http://ontohub.org/sandbox/OrderRelation.casl//OrderRelation.

tillmo commented 6 years ago

The convention is that there must be only one OMS, that then that is used. Alternatively, you can write

ontology O = 
 <http://ontohub.org/sandbox/OrderRelation.casl//OrderRelation>
end

but this will work only with Ontohub 2.0.