|
|
|
|
|
|
|
| n | Trust
disclosure – trust inference rules, premises, recency, |
|||||
| inference
engine, … |
||||||
| n | Interoperability
– multiple owls interacting, proof composition, … |
|||||
| n | Proof reuse –
individual reuse, individual refinement, group |
|||||
| reuse/refinement…. |
||||||
