The Semantic Web has reached a level of maturity that allows RDF and OWL to be adopted by commercial software vendors. Products that incorporate these standards are being used to h...
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...