Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_hml_rules:rdf [2008/05/19 10:29] miw |
pl:miw:miw08_hml_rules:rdf [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 102: | Linia 102: | ||
| <code xml> | <code xml> | ||
| - | ex:subj ex:pred [ rdf:type rdf:List ; | + | ex:subj ex:pred [ rdf:type rdf:List ; |
| rdf:first ex:val2 ; | rdf:first ex:val2 ; | ||
| rdf:rest [ rdf:type rdf:List ; | rdf:rest [ rdf:type rdf:List ; | ||
| Linia 114: | Linia 114: | ||
| <code xml> | <code xml> | ||
| - | [ rdf:type rul:Fact ; | + | [ rdf:type rul:Fact ; |
| - | rul:pred ex:pred ; | + | rul:pred ex:pred ; |
| - | rul:args [ rdf:type rdf:List ; | + | rul:args [ rdf:type rdf:List ; |
| - | rdf:first ex:subj ; | + | rdf:first ex:subj ; |
| - | rdf:rest _:genid1 ] ] . | + | rdf:rest _:genid1 ] ] . |
| </code> | </code> | ||
| Linia 153: | Linia 153: | ||
| Tak oto poniższa reguła: | Tak oto poniższa reguła: | ||
| - | <code xml> | + | |
| ex:a1( ex:a1s, ex:a1v2, ex:a1v3 ) & | ex:a1( ex:a1s, ex:a1v2, ex:a1v3 ) & | ||
| ex:a2( ex:a2s, ex:a2v2 ) -> | ex:a2( ex:a2s, ex:a2v2 ) -> | ||
| ex:c1( ex:c1s, ex:c1v2, ex:a1v3 ) & | ex:c1( ex:c1s, ex:c1v2, ex:a1v3 ) & | ||
| ex:c2( ex:c2s ) . | ex:c2( ex:c2s ) . | ||
| - | </code> | + | |
| była by reprezentowana w RDF/N3 jako: | była by reprezentowana w RDF/N3 jako: | ||
| <code xml> | <code xml> | ||
