1. Re：180(JPN-012) of WG2N1452
Masao Okabe
2010/11/16
Masao Okabe

2. Example1: Let us think about a simple sentence
carOwership(carOwer=Person:Tony, ownedCar=Car:Car#1234)
MDR Part3 models this as an instance of Link as follows;
Link:Link1( relation=Relation:carOwership,
end=Concept:Tony,
end=Concept:Car#1234)
Relation:carOwereship
(role=Relation_Role:carOwer, role=Relation_Role:ownedCar)
Link_End:Link_End1
(end_role=Relation_Role:carOwer, end_role=Relation_Role:ownedCar)
Note: Another issue: Do we need some more? Something like;
Relation_Role:carOwer(range=Concept:Person)
Relation_Role:ownedCar(range=Concept:Car)
2010/11/16
Masao Okabe

3. Example1:
Since Link is a subclass of Assertion, this Link1 can be viewed as a instance of Assertion.
Then, very naturally, Link1 as an instance of Assertion looks like;
　　Assetion:Link1( term=Concept:carOwership,
term=Concept:Tony, term=Concept:Car#1234)
We should not neglect “term=Concept:carOwership”
, whereas Link1 as a instance of Link looks;
　　　　Link:Link1( relation=Relation:carOwership,
end=Concept:Tony,
end=Concept:Car#1234)
2010/11/16
Masao Okabe

4. Example2 : First one at Table E-28
Similarly, it can be written as an instance of Link as;
Link:Link2( relation=Relation:instance-type,
end=Concept::Car,
end=Concept:owl:Class)
Relation:instance-type
(role=Relation_Role:instance, role=Relation_Role:rdf:type)
Link_End:Link_End2
(end_role=Relation_Role:instance, end_role=Relation_Role:rdf:type)
Note: Another issue: Do we need some more? Something like;
Relation_Role:instance(range=Concept:Instance)
Relation_Role:rdf:type(range=Concept:Concept)
2010/11/16
Masao Okabe

5. Example2 : First one at Table E-28
Since Link is a subclass of Assertion, this Link1 can be viewed as a instance of Assertion.
Then, very naturally, Link1 as an instance of Assertion should be written as;
　　Assetion:Link2( term=Relation:instance-type,
term=Concept::Car, term=end=Concept:owl:Class)
We should not neglect “term=Relation:instance-type”
, whereas Link2 as a instance of Link is written as;
Link:Link2( relation=Relation:instance-type,
end=Concept::Car,
end=Concept:owl:Class)
2010/11/16
Masao Okabe

6. MDR Part3 should be consistent on the treatment of Example 1 and 2.
Then, relation-link should be a subclass (sub-association) of assertion_term.
2010/11/16
Masao Okabe