Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_hml_rules [2008/05/19 11:29] miw |
pl:miw:miw08_hml_rules [2008/06/01 18:35] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== 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] | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== 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/ | ||
