McGuinness Oct 17, 2002
3
Motivation
nTrust
disclosure – trust inference rules, premises, recency, inference engine,
…
nInteroperability – multiple owls interacting,
proof composition, …
nProof reuse – individual reuse, individual
refinement, group reuse/refinement….