Is a type a subtype of itself?



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?



Hi Stefan,

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