Bayesian networks, Business Process Diagrams, causality, Constraints and uncertainty, Description Logics.