It was recently proved that every planar graph is a subgraph of the strongproduct path and with bounded treewidth. This paper surveys generalisationsof this result for graphs on surfaces, minor-closed classes, various nonminor-closed classes polynomial growth. We then explorehow product structure might be applicable to more broadly defined graphclasses. In particular, we characterise when class...

A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram model is a model that does not have behavior in the sense that values of properties do not change. A structural model may include properties, variables and operations. Individuals are a special case of operators with ...