Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
workflow semantic query graph tool sparql rdf inference semantic-web constraint type concept polymorphism transformation abstract subtype typechecking subsumption process-metadata procedural-metadata
-
Updated
Aug 26, 2023 - Python