| Paste number 49011: | CIFP Rules for CWM |
| Pasted by: | sbp |
| 10 months, 2 weeks ago | |
| #swhack | Context in IRC logs | |
| Paste contents: |
| { ?IFP a owl:InverseFunctionalProperty; :productProperty ?LIST . ?P :distributes (?LIST ?ARGS) . ?Q :distributes (?LIST ?ARGS) } => { ?P owl:sameAs ?Q } . { ?S ?P ?O . ?PPLIST a :PPList; rdf:first ?P; rdf:rest rdf:nil } => { ?S :distributes (?PPLIST (?O)) } . { ?S ?P ?O . ?PPLIST a :PPList; rdf:first ?P; rdf:rest ?REST . ?S :distributes (?REST ?ARGS) } => { ?S :distributes (?PPLIST [ rdf:first ?O; rdf:rest ?ARGS ]) } . { ?IFP :productProperty ?LIST } => { ?LIST a :PPList } . { ?LIST a :PPList; rdf:rest ?REST } => { ?REST a :PPList } . |
This paste has no annotations.