Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
At the moment, aliases are only treated as shorcuts to writing complex types. However, when they communicate more information, as they probably do in https://github.com/quangis/ratios, it's likely useful to have them exist in the generated type taxonomy (probably connected via owl:sameAs and symmetric rdfs:subClassOf relations.)
At the moment, aliases are only treated as shorcuts to writing complex types. However, when they communicate more information, as they probably do in https://github.com/quangis/ratios, it's likely useful to have them exist in the generated type taxonomy (probably connected via
owl:sameAsand symmetricrdfs:subClassOfrelations.)