Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_hml_rules:rdf [2008/05/19 10:24] miw |
pl:miw:miw08_hml_rules:rdf [2019/06/27 15:50] (aktualna) |
</code> | </code> |
| |
* Więcej na stronie domowej:http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF | |
* Szczególnie przydatne : http://oxygen.informatik.tu-cottbus.de/IT/Research/ERDF-JAIR-2008.pdf | |
* Polskie tłumaczenie specyfikacji RDF: http://www.geocities.com/pan_andrew/ResourceDescriptionFramework.htm | |
| |
| |
| |
<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> |
| |
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 ; |
| |
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 ; |
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 |
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. |
**Strona domowa RDF** http://www.w3.org/RDF/ | **Strona domowa RDF** http://www.w3.org/RDF/ |
| |
**Strona domowa ERDF**http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF | **Polskie tłumaczenie specyfikacji RDF** http://www.geocities.com/pan_andrew/ResourceDescriptionFramework.htm |
| |
| **Strona domowa ERDF** http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF |
| |
| ** Szczególnie przydatne** http://oxygen.informatik.tu-cottbus.de/IT/Research/ERDF-JAIR-2008.pdf |