Różnice
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) |
| |
<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 ; |
| |
<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> |
| |
| |
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> |