Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:miw08_hml_rules [2008/05/03 23:53] miw |
pl:miw:miw08_hml_rules [2008/06/01 18:35] miw |
====== Opis ====== | |
Michał, Rogula, <michal.rogula@wp.pl> | |
- Porównać i omówić metody reprezentowania atrybutów w językach: | |
| |
* RDF | |
* OWL | |
* RIF | |
* R2ML | |
* RuleML | |
| |
oraz metody reprezentowania reguł w: | |
* RIF | |
* R2ML | |
* RuleML | |
| |
====== Spotkania ====== | |
===== 08.02.26 ===== | |
* rif | |
* rdf/owl<->rif | |
| |
===== 08.03.04 ===== | |
* repr. w RDF (attrybuty) | |
* <del>próba zapisu [[hekate:hekate_case_thermostat]] org. reguł w RIF, RDF</del> | |
| |
| |
===== 080311 ===== | |
* próba zapisu [[hekate:hekate_case_thermostat]] org. reguł w RIF, RDF | |
| |
===== 080318 ===== | |
* j.w. | |
| |
| |
| |
| |
===== 080408 ===== | |
* całość therm w RDF, osobna przestrz nazw | |
* zapis ARD w RDF [[hekate:hekate_markup_language]] | |
| |
| |
===== 080422 ===== | |
* zapis grafów w rdf | |
* 3 predykaty: | |
* w ARD season //depends on//month | |
* w TPH (shi.) | |
* Th,Temp //finalizes// Therm | |
* Time //splited from// Th,Temp | |
| |
===== 080429 ===== | |
* reguły | |
| |
| |
| |
===== 080520 ===== | |
* SWRL | |
* RDF | |
* [[http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=ERDF|ERDF]] | |
| |
| |
| |
====== Projekt ====== | |
| |
Jeżeli dzień=poniedziałek wtedy temp=20st | |
| |
mamy 2 atrybuty: | |
* dzień, przyjmuje wart symboliczne ze zb: pon-niedz | |
* temp, jest liczbą, np. float, z zakresu, np. 0-20st | |
| |
Rozważania na temat zapisu powyższej reguły za pomocą: | |
| |
* [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:rif|Rule Interchange Format (RIF)]] | |
* [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:r2ml|Rewerse Rule Markup Language (R2ML)]] | |
* [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:ruleML|Rule Markup Language (RuleML)]] | |
* [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:rdf|Resource Description Framework (RDF) / Extended RDF (ERDF)]] | |
* [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:owl|Web Ontology Language (OWL) / Semantic Web Rule Language (SWRL)]] | |
| |
===== 08.02.26 ===== | |
**RIF**(Rule Interchange Format) jest stworzonym przez W3C (Word Wide Web Consorcium) formatem reguł pozwalających na ich wymianę dla różnych języków reguł w sieciach semantycznych (RDF, OWL). (def: http://www.webopedia.com/TERM/R/Rule_Interchange_Format.html) | |
| |
[[http://www.w3.org/TR/rif-bld/|Dokumentacja RIF]] przedstawia dwa rodzaje składni. Są to tzw: | |
* Presentation syntax – Używana w formalnych definicjach, szczególnie dla semantyki. | |
* XML syntax - Jest to tzw. XML serialization składni prezentacji. Kluczowe cechy tej składni wywodzą się ze składni prezentacji, lecz niektóre aspekty związane z wymianą reguł nie mają swoich odpowiedników w presentation syntax. | |
| |
**Atrybut** to parametr zawierający dodatkowe informacje o elemencie struktury logicznej identyfikowanym przez dany znacznik. | |
| |
Sposób przedstawiania atrybutów w [[http://www.w3.org/TR/rif-bld/|Presentation syntax]] : | |
| |
nazwa_atrybutu->wartość_atrybutu^^type | |
| |
Sposób przedstawiania atrybutów w [[http://www.w3.org/TR/rif-bld/|XML syntax]]: | |
| |
<slot><Const>nazwa_atrybutu</Const><Var type=””>wartość_atrybutu</Var></slot> | |
| |
| |
**Przykład:** | |
* Presentation syntax | |
| |
author^^rif:local -> ?Author | |
price^^rif:local -> 49^^xsd:integer | |
| |
* XML syntax | |
<code xml> | |
<slot><Const type="rif:local">author</Const><Var>Author</Var></slot> | |
<slot><Const type="rif:local">price</Const><Const type="xsd:integer">49</Const></slot> | |
</code> | |
| |
Prefix xsd: oznacza przestrzeń nazw XML http://www.w3.org/2001/XMLSchema#, a prefix rif: URI przestrzeni nazw RIF http://www.w3.org/2007/rif# . | |
rif:local (dla stałych symboli niewidocznych poza daną formułą rif). | |
| |
**RIF RDF oraz OWL Kompatybilność** | |
| |
RIF definiuje sposób przenoszenia regół w sieci. Reguły wymieniane poprzez RIF mogą się odnosić się do zewnętrznych źródeł danych i mogą bazować na pewnych modelach które są reprezentowane za pomocą języków różnych od RIF np: RDF , RDFS, OWL. | |
Dokument http://www.w3.org/TR/rif-rdf-owl określa kompatybilność RIF i RDF(S). | |
Przyszła wersja tego dokumentu będzie również określać kompatybilność z ontologią OWL. | |
| |
* Zgodność pomiędzy stałymi symbolami w RIF oraz nazwami w RDF graphs np.: | |
| |
RDF - "literal string" | |
| |
RIF - "literal string"^^xsd:string | |
| |
* Zgodność pomiędzy zdaniami w RDF (trojki postaci: s p o) i pewnymi rodzajami formuł w RIF (formula w postaci: s'[p' -> o'], gdzie s', p', oraz o' są symbolami RIF zgodnymi odpowiednio z symbolami RDF’a s, p, oraz o), np.: | |
| |
RDF triple: | |
john uncleOf marry | |
| |
Formuła RIF frame: | |
"john"^^rif:iri["uncleOf"^^rif:iri -> "mary"^^rif:iri] | |
| |
| |
| |
| |
| |
| |
| |
| |
===== 08.03.04 ===== | |
| |
**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 – opisywany zasób. | |
* Orzeczenia (predykatu) – nazwa cechy lub relacji dotyczącej opisywanego podmiotu. | |
* Obiektu – inny zasób lub stała wartość określona mianem literału. | |
| |
| |
Sposób przedstawiania atrybutów w [[http://www.w3.org/TR/rdf-primer/|RDF]]: | |
| |
< opisywany_zasob > < nazwa_atrybutu > „wartosc_atrybutu”. | |
| |
**Przykład opisu w RDF pewnego „zasobu”:** | |
| |
Zwykłe zdanie: | |
| |
Janek jest twórcą dokumentu http://www.dokumenty.org/dokument1 | |
| |
Zdanie RDF: | |
| |
http://www.dokumenty.org/dokument1 posiada własność twórca której wartością jest Janek | |
| |
Właściwa forma RDF (musi być zakonczona kropką): | |
| |
<http://www.dokumenty.org/dokument1> <http://purl.org/dc/elements/1.1/creator> „Janek”. | |
| |
Graf RDF: | |
| |
{{:pl:miw:rdf.png|:pl:miw:rdf.png}} | |
| |
Styl XML: | |
<code xml> | |
<?xml version="1.0"?> | |
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"> | |
<rdf:Description rdf : about="subject"> | |
<predicate>Object</predicate> | |
</rdf:Description> | |
</rdf:RDF> | |
</code> | |
Nasz przykład zapisany w XML: | |
<code xml> | |
<?xml version="1.0"?> | |
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" | |
xmlns:DC="http://purl.org/dc/elements/1.1/"> | |
<rdf:Description rdf : about="http://www.dokumenty.org/dokument1"> | |
<DC:creator resource = "http://www.tworcy.org/janek"> | |
</rdf:Description> | |
</rdf : RDF> | |
</code> | |
Użyty jest tu predykat pochodzący z “biblioteki” Dublin Core (słownictwo zdefiniowane do opisu metadanych różnych dokumentów - w szczególności bibliotecznych: daty utworzenia, autora itp.). Jest to oznaczone w korzeniu dokumentu (którym jest zawsze znacznik rdf:RDF). Podmioty definiujemy znacznikiem rdf:Description z atrybutem rdf:abort zawierającym URI zasobu. Zdania opisujące ten podmiot są zapisywane jako węzły potomne. Obiekty, które są jednocześnie zasobami zapisujemy w postaci węzła skróconego z URI tego zasobu umieszczonym w atrybucie rdf:resorce. | |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
====== Sprawozdanie ====== | |
| |
| |
| |
| |
| |
====== 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 | |
| |
**RIF Core Design** http://www.w3.org/TR/2007/WD-rif-core-20070330/ | |