Is a type a subtype of itself?


#1

Hello,

I have noticed that when i do

match $x isa $type;$type sub geoEntity;

among the result I get instances with the type variable equal to geoEntity which suggest a type is a subtype of itself. Is it expected behaviour?

Stefan


#2

Hi Stefan,

Every type is defined to be a subtype of itself. However, we are currently discussing changing this behaviour.