compared with
Key
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (6)

View Page History

Implementation:
- FRX_label := P3 | rdfs:label
Added rdfs:label because of {jira:RS-1408}
{code:title=Axioms}
<rso:FRX_label> <rdfs:subPropertyOf> <crm:P3_has_note>
<rso:FRX_label> <rdfs:subPropertyOf> <rdfs:label>
{code}
- FR1_identified_by := (FC70) / FRT_46_106_148* / P1 / P3 FRX_label
{code:title=Rules}
x <rdf:type> <rso:FC70_Thing>; x <crm:P1_is_identified_by> y; y <crm:P3_has_note> <rso:FRX_label> z => x <rso:FR1_identified_by> z
x <rdf:type> <rso:FC70_Thing>; x <rso:FRT_46_106_148> y; y <crm:P1_is_identified_by> z; z <crm:P3_has_note> <rso:FRX_label> t => x <rso:FR1_identified_by> t
{code}

Notes:
- TODO: it may be better to stop at P1 so the identifier type can also be examined