Component theories in KB-PHaSE

Ontology, compositions,

basic facts about the domain

DAG

Blockable

DAG

Distribution

Network

Processing

Network

Two-state

Object

Machines

Discrete Event

Model

Electrical

Circuits

PHaSE KB

Optical

Circuits

Spatial Relns

Previous slide

Next slide

Back to first slide

View graphic version