• For an example, let us again consider the two context from previous examples :

    1. SHS: “Sherlock Holmes Stories”, in which “Holmes” is a detective.

    2. USL: “U.S. Legal History”, in which “Holmes” is a Supreme Court justice.

  • Then, we have in the first context:

    [ ] --rdf:type--> [Person]
    [ ] --surname---> “Holmes”
    [ ] --isa-------> “detective”
  • And in the second context:

    [ ] --rdf:type--> [Person]
    [ ] --surname---> “Holmes”
    [ ] --isa-------> “justice”

    Let's take 3 context :

  • LAO: “Law and Order”, in which it is explicitly assumed that (a) detectives solve crimes, and (b) justices sit in court. It is implicitly assumed that this context refers to characters in real life rather than finction, so let this context also assert that justices are well-paid, and detectives are poorly paid.

    Finally, let us assume that the “Law and Order” context is explicitly assumed by the other two contexts.

    Then

    S1:   [Anon(1)] --rdf:type--> [Person] 

    S2: [Anon(1)] --surname---> “Holmes” S3: [Anon(1)] --isa-------> “detective” S4: [Anon(1)] --isa-------> “justice” S5: [Anon(2)] --isa-------> “detective” S6: [Anon(2)] --does------> “solve crimes” S7: [Anon(2)] --pay-------> “low” S8: [Anon(3)] --isa-------> “justice” S9: [Anon(3)] --does------> “sit in court” S10: [Anon(3)] --pay-------> “high” C11: [SHS] --rdf:type------> [rdfc:Context] C12: [SHS] --rdfc:asserts--> [S1] C13: [SHS] --rdfc:asserts--> [S2] C14: [SHS] --rdfc:asserts--> [S3] C15: [SHS] --rdfc:assumes--> [LAO] C21: [USL] --rdf:type------> [rdfc:Context] C22: [USL] --rdfc:asserts--> [S1] C23: [USL] --rdfc:asserts--> [S2] C24: [USL] --rdfc:asserts--> [S4] C25: [USL] --rdfc:assumes--> [LAO] C31: [LAO] --rdf:type------> [rdfc:Context] C32: [LAO] --rdfc:assumes--> [S5] C33: [LAO] --rdfc:assumes--> [S6] C34: [LAO] --rdfc:asserts--> [S7] C35: [LAO] --rdfc:assumes--> [S8] C36: [LAO] --rdfc:assumes--> [S8] C37: [LAO] --rdfc:asserts--> [S8]