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:26] 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 132: | Linia 132: | ||
| jest reprezentowana w RDF, używając notacji N3, jako: | jest reprezentowana w RDF, używając notacji N3, jako: | ||
| <code xml> | <code xml> | ||
| - | @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | + | @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . |
| - | @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . | + | @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . |
| - | @prefix ex: <http://example.org/#> . | + | @prefix ex: <http://example.org/#> . |
| [ rdf:type rul:Rule ; | [ rdf:type rul:Rule ; | ||
| rul:from Afact1 ; | rul:from Afact1 ; | ||
| Linia 152: | 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> | ||
| - | @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | + | @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . |
| - | @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . | + | @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . |
| - | @prefix ex: <http://example.org/#> . | + | @prefix ex: <http://example.org/#> . |
| [ rdf:type rul:Rule ; | [ rdf:type rul:Rule ; | ||
| rul:from _:genid1 ; | rul:from _:genid1 ; | ||
| Linia 171: | Linia 173: | ||
| gdzie: genid1, genid2, genid3, genid4 są identyfikatorami reprezentującymi „ogon” listy argumentów predykatu np. genid2 może być opisany jako: | gdzie: genid1, genid2, genid3, genid4 są identyfikatorami reprezentującymi „ogon” listy argumentów predykatu np. genid2 może być opisany jako: | ||
| <code xml> | <code xml> | ||
| - | _:genid2 rdf:type rul:Fact ; | + | _:genid2 rdf:type rul:Fact ; |
| - | rul:pred ex:a2 ; | + | rul:pred ex:a2 ; |
| - | rul:args [ rdf:type rdf:List ; | + | rul:args [ rdf:type rdf:List ; |
| - | rdf:first ex:a2s ; | + | rdf:first ex:a2s ; |
| - | rdf:rest [ rdf:type rdf:List ; | + | rdf:rest [ rdf:type rdf:List ; |
| - | rdf:first ex:a2v2 ; | + | rdf:first ex:a2v2 ; |
| - | rdf:rest rdf:nil ]] . | + | rdf:rest rdf:nil ]] . |
| </code> | </code> | ||
| **Zmienne | **Zmienne | ||
| Linia 197: | Linia 199: | ||
| może być reprezentowany w RDF/N3 jako: | może być reprezentowany w RDF/N3 jako: | ||
| <code xml> | <code xml> | ||
| - | @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | + | @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . |
| - | @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | + | @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . |
| - | @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . | + | @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . |
| - | @prefix ex: <http://example.org/#> . | + | @prefix ex: <http://example.org/#> . |
| - | _:genid1 ex:Parents [ rdf:type rdf:List ; | + | |
| - | rdf:first _:genid2 ; | + | _:genid1 ex:Parents [ rdf:type rdf:List ; |
| - | rdf:rest [ rdf:type rdf:List ; | + | rdf:first _:genid2 ; |
| - | rdf:first _:genid3 ; | + | rdf:rest [ rdf:type rdf:List ; |
| - | rdf:rest rdf:nil ] ] . | + | rdf:first _:genid3 ; |
| - | _:genid1 rdf:type rul:Var ; | + | rdf:rest rdf:nil ] ] . |
| + | _:genid1 rdf:type rul:Var ; | ||
| rdfs:label "?a" . | rdfs:label "?a" . | ||
| - | _:genid2 rdf:type rul:Var ; | + | _:genid2 rdf:type rul:Var ; |
| rdfs:label "?b" . | rdfs:label "?b" . | ||
| - | _:genid3 rdf:type rul:Var ; | + | _:genid3 rdf:type rul:Var ; |
| - | rdfs:label "?c" . | + | rdfs:label "?c" . |
| </code> | </code> | ||
| The identity (uniqueness) of a variable is bound to the resource that represents it, not to its name. The variable name may be used (in conjunction with scoping rules) as a syntactic device for deciding which variable occurrences refer to the same variable, and hence which at any instant or invocation must correspond to the same value. Occurrences of the same variable name within a rule is an example of multiple occurrences of the same variable. | The identity (uniqueness) of a variable is bound to the resource that represents it, not to its name. The variable name may be used (in conjunction with scoping rules) as a syntactic device for deciding which variable occurrences refer to the same variable, and hence which at any instant or invocation must correspond to the same value. Occurrences of the same variable name within a rule is an example of multiple occurrences of the same variable. | ||
