--- pl:miw:miw08_hml_rules:rdf [2008/05/03 23:40]
miw
+++ pl:miw:miw08_hml_rules:rdf [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
 **[[http://www.w3.org/RDF/|RDF (Resource Description Framework)]]** jest podstawowym językiem używanym do zapisu informacji w Sieci Semantycznej i przeznaczonym do przetwarzania maszynowego. W dosłownym tłumaczeniu jest środowiskiem do opisu zasobów (jako zasób rozumiemy: dowolny obiekt znajdujący się w sieci, pojęcia abstrakcyjne, relacje i obiekty fizyczne). Do opisu zasobów używa się tzw. stwierdzeń (ang. statements), które składają się z podmiotu, orzeczenia oraz obiektu. W RDF podmiot stanowi opisywany zasób, predykat określa jaka jego własność jest opisywana, zaś obiekt stanowi wartość tej własności. Podstawowym mechanizmem wykorzystywanym przez RDF do identyfikacji podmiotu, predykatu i obiektu jest URI. RDF stanowi model lub bazę danych, która jest reprezentowana w formie grafu. RDF/XML jest językiem XML-a, który może być użyty do reprezentacji danych RDF.
+[[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:rdf:rdfexample|Kilka dodatkowych słów o RDF + atrybuty w RDF + przykład]]
 Ważną cechą języka RDF jest to iż nie obsługuje on negacji oraz reguł. Można to zaliczyć od jego wad gdyż systemy reprezentowania wiedzy potrzebują dwóch rodzajów negacji, mianowicie słabej negacji ~ (ang. weak negation) wyrażającej nieprawdę, silnej negacji (ang. strong negation) wyrażającej jednoznacznie nieprawdziwe informacje lub błędność, oraz oczywiście możliwości zapisu reguł. Aby temu zaradzić rozpoczęto prace nad nowym językiem **[[http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF|Extended RDF]]** oznaczonym jako **ERDF** (obecnie jest to tylko prototypowa implementacja w wersji 0.1). Język ten jest rozszerzeniem RDF'a o wyżej wspomniane negacje oraz reguły. Na ten czas skupię sie tylko na kwestiach związanych z rozszerzeniami RDF'a umożliwiającymi zapisywanie reguł gdyż to jest tematem projektu. W poniższym opisie oraz przykładach będę się posługiwał składnia XML:
@@ Linia 77: / Linia 79: @@
 </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
+-------------------------------------------------------------------------------------------------------------------------------------------------------
+W czasie pracy nad ERDF natrafiłem również na nieco inny sposób zapisu reguł i faktów w RDF wykorzystujący [[http://en.wikipedia.org/wiki/Notation_3|notacje N3]] (http://www.ninebynine.org/RDFNotes/RDFFactsAndRules.html#%5B4%5D). Poniżej krótko scharakteryzuje tą metodę:
+**Użycie faktów:
+**
+Wyrażenia RDF występują w postaci trójek zwanych zdaniami (statements). Wszystko do czego odnoszą się zdania są zasobami z pewnymi identyfikatorami lub wartościami. Po to aby fakty były użyte w zdaniach, musimy dysponować pewną tożsamością, która z kolei odpowiada pewniej wartości zasobu.
+By zapewnić taką reprezentacje faktów, wprowadza się nowe identyfikatory zasobów, powiązanych tutaj z przestrzenią nazw z prefixem rul: która wskazuje na przestrzeń nazw URI
+<http://id.ninebynine.ord/RDFRules/1.0/>:
+  * rul:Fact – jest pomocniczym typem danych który jest stosowany jako zasób reprezentujący fakt.
+  * rul:pred – to własność który określa predykat użyty przez fakt
+  * rul:args – to własność określająca listę argumentów predykatu użytą w fakcie
+Przykład pewnego faktu reprezentowanego w RDF /N3 jako
+<code xml>
+ex:subj ex:pred [ rdf:type rdf:List ;
+                  rdf:first ex:val2 ;
+                  rdf:rest [ rdf:type rdf:List ;
+                             rdf:first ex:val3 ;
+                             rdf:rest [ rdf:type rdf:List
+                                        :
+                                        ... rdf:rest rdf:nil ]]] .
+</code>
+Resource który reprezentuje ten fakt jest konstruowany jak pokazano w tym przykładzie RDF/N3:
+<code xml>
+[  rdf:type rul:Fact ;
+   rul:pred ex:pred ;
+   rul:args [ rdf:type rdf:List ;
+              rdf:first ex:subj ;
+              rdf:rest _:genid1 ] ] .
+</code>
+gdzie _:genid1 jest identyfikatorem reprezentującym „ogon” listy argumentów predykatu
+**Reprezentacja reguł:**
+Podstawowa struktura reguł których używamy to zbiór faktów poprzedników (antecedent facts) i faktów z nich wynikających (consequent facts)
+Reguła:
+       Afact1 & Afact2 & ... -> Cfact1 & Cfact2 & ...
+jest reprezentowana w RDF, używając notacji N3, jako:
+<code xml>
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> .
+@prefix ex:  <http://example.org/#> .
+          [ rdf:type rul:Rule ;
+            rul:from Afact1 ;
+            rul:from Afact2 ;
+            ...
+            rul:infer Cfact1 ;
+            rul:infer Cfact2 ;
+            ... ] .
+</code>
+Taka reprezentacja reguł wprowadza pewne nowe identyfikatory zasobów, powiązanych tutaj z przestrzenią nazw z prefixem rul: która wskazuje na przestrzeń nazw URI
+<http://id.mimesweeper.com/RDFExpert/V1.0/ess#>:
+  * rul:Rule - to pomocniczy typ danych który opisuje zasób który reprezentuje regułę
+  * rul:from - to właściwość która określa zasób reprezentujący fakt Afact (antecedent fact) reguły, jeden z faktów z którego może być wyciągnięty wniosek
+  * rul:infer – to właściwość która wskazuje fakt Cfact (conclusion fact) który może być wywnioskowany jeśli wszystkie fakty poprzedzające (antecedent facts) są prawdą.
+Tak oto poniższa reguła:
+      ex:a1( ex:a1s, ex:a1v2, ex:a1v3 ) &
+      ex:a2( ex:a2s, ex:a2v2 ) ->
+             ex:c1( ex:c1s, ex:c1v2, ex:a1v3 ) &
+             ex:c2( ex:c2s ) .
+była by reprezentowana w RDF/N3 jako:
+<code xml>
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> .
+@prefix ex:  <http://example.org/#> .
+      [ rdf:type rul:Rule ;
+        rul:from  _:genid1 ;
+        rul:from  _:genid2 ;
+        rul:infer _:genid3 ;
+        rul:infer _:genid4 ]
+</code>
+gdzie: genid1, genid2, genid3, genid4 są identyfikatorami reprezentującymi „ogon” listy argumentów predykatu np. genid2 może być opisany jako:
+<code xml>
+_:genid2 rdf:type rul:Fact ;
+         rul:pred ex:a2 ;
+         rul:args [ rdf:type rdf:List ;
+                    rdf:first ex:a2s ;
+                    rdf:rest [ rdf:type rdf:List ;
+                               rdf:first ex:a2v2 ;
+                               rdf:rest rdf:nil ]] .
+</code>
+**Zmienne
+**
+w ogólnym znaczeniu to identyfikatory które reprezentują pewne określone wartości, ale mogą róznież reprezentować różne wartości jeśli są użyte w innym kontekscie lub w róznych odwołaniach. Na przykład, reguła:
+    parents( ?a, ?b, ?c ) &
+    parents( ?b, ?d, ?e ) &
+    parents( ?c, ?f, ?g ) -> grandparents( ?a, ?d, ?e, ?f, ?g )
+Moze być wywołana dl zbiorów faktów które jednocześnie pasują do reguły przodka (antecedents); dla kazdego zbioru faktów, zmienne będą związane z innymi wartościami.
+When a variable appears in a fact that is part of a rule, the scope of the variable is the containing rule. That is, all occurrences of a given variable that appear within the rule are required to bind to the same value in any single invocation of the rule.
+Zmienne są reprezentowane przez zasób typu rul:Var, oraz posiadają rdfs:label własność która jest nazwą zmiennej. Tak oto fakt:
+    ex:Parents( ?a, ?b, ?c ) .
+może być reprezentowany w RDF/N3 jako:
+<code xml>
+@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> .
+@prefix ex:   <http://example.org/#> .
+_:genid1 ex:Parents [ rdf:type  rdf:List ;
+                      rdf:first _:genid2 ;
+                      rdf:rest  [ rdf:type  rdf:List ;
+                                  rdf:first _:genid3 ;
+                                  rdf:rest  rdf:nil ] ] .
+_:genid1 rdf:type rul:Var ;
+         rdfs:label "?a" .
+_:genid2 rdf:type rul:Var ;
+         rdfs:label "?b" .
+_:genid3 rdf:type rul:Var ;
+         rdfs:label "?c" .
+</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.
+**Całość therm w RDF/N3: ** [[pl:miw:miw08_hml_rules:hekate_case_thermostat]]
 [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules|Powrót]]
+====== Materiały ======
+**Uniform Resource Identifier** http://pl.wikipedia.org/wiki/Uniform_Resource_Identifier/
+**Representing Facts and Rules in RDF** http://www.ninebynine.org/RDFNotes/RDFFactsAndRules.html
+**Struktura Opisu Zasobów (RDF)** http://www.geocities.com/pan_andrew/ResourceDescriptionFramework.htm#ref-xhtml
+**Strona domowa RDF** http://www.w3.org/RDF/
+**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

pl/miw/miw08_hml_rules/rdf.1209850832.txt.gz · ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice