Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:miw08_hml_rules [2008/05/21 17:55] miw |
pl:miw:miw08_hml_rules [2019/06/27 15:50] |
||
|---|---|---|---|
| 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 | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== 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)]] | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:spotkania|SPOTKANIA]] | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== Sprawozdanie ====== | ||
| - | |||
| - | **1. RIF(Rule Interchange Format)** jest stworzonym przez W3C [[http://www.w3.org/|(Word Wide Web Consorcium)]] formatem reguł pozwalających na ich wymianę dla różnych języków reguł w sieciach semantycznych (RDF, OWL). Format RIF jest ciągle w fazie rozwoju, jedyne dostępne dokumenty są to szkice specyfikacji poszczególnych modułów (Working Draft). Do rozwijanych dokumentów należą m.in. [[http://www.w3.org/2005/rules/wg/draft/rif-fld/|RIF Framework for Logic Dialects ]] oraz [[http://www.w3.org/2005/rules/wg/draft/rif-bld/|RIF Basic Logic Dialect]] | ||
| - | |||
| - | [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules:rif:rifattribute|Atrybuty w RIF + RDF oraz OWL Kompatybilność]] | ||
| - | |||
| - | Dokładny opis specyfikacji RIF można znaleźć w projekcie [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_xtt_rif|XTT_RIF]]. Dla mnie natomiast istotna, z punktu widzenia projektu, jest wiedza jak zapisywać typowe dla reguł elementy tj: | ||
| - | |||
| - | * wartosc logiczna: np: B | ||
| - | |||
| - | <code xml> | ||
| - | <Var> B </Var> | ||
| - | </code> | ||
| - | |||
| - | * stałe argumenty: np: 300 | ||
| - | |||
| - | <code xml> | ||
| - | <arg><Const type="rds:long"> 300 </Const></arg> | ||
| - | </code> | ||
| - | |||
| - | * suma: n+1 | ||
| - | |||
| - | <code xml> | ||
| - | <Uniterm> | ||
| - | <op><Const type="rif:iri"> op:numeric-add </Const></op> | ||
| - | <arg><Const type=""> 1 </Const></arg> | ||
| - | <arg><Var> n </Var></arg> | ||
| - | </Uniterm> | ||
| - | </code> | ||
| - | |||
| - | * różnica: n-1 | ||
| - | |||
| - | <code xml> | ||
| - | <Uniterm> | ||
| - | <op><Const type="rif:iri"> op:numeric-subtract </Const></op> | ||
| - | <arg><Const type=""> 1 </Const></arg> | ||
| - | <arg><Var> n </Var></arg> | ||
| - | </Uniterm> | ||
| - | </code> | ||
| - | |||
| - | * równość: (wyr_1) = (wartosc) | ||
| - | |||
| - | <code xml> | ||
| - | <Equal> | ||
| - | <arg> wyr_1 </arg> | ||
| - | <arg> wartosc </arg> | ||
| - | </Equal> | ||
| - | </code> | ||
| - | |||
| - | * nierówność: n > 0 | ||
| - | |||
| - | <code xml> | ||
| - | <Uniterm> | ||
| - | <op><Const type="rif:iri"> op:numeric-greater-than </Const></op> | ||
| - | <arg><Var> n </Var></arg> | ||
| - | <arg><Const type="xsd:decimal"> 0 </Const></arg> | ||
| - | </Uniterm> | ||
| - | </code> | ||
| - | |||
| - | * nierówność: n <= 1 | ||
| - | |||
| - | <code xml> | ||
| - | <Uniterm> | ||
| - | <op><Const type="rif:iri"> op:numeric-less-or-equal-than </Const></op> | ||
| - | <arg><Var> n </Var></arg> | ||
| - | <arg><Const type="xsd:decimal"> 0 </Const></arg> | ||
| - | </Uniterm> | ||
| - | </code> | ||
| - | |||
| - | * suma logiczna : (wyr_1) and (wyr_2) | ||
| - | |||
| - | <code xml> | ||
| - | <And> | ||
| - | <formula> | ||
| - | (wyr_1) | ||
| - | </formula> | ||
| - | <formula> | ||
| - | (wyr_2) | ||
| - | </formula> | ||
| - | </And> | ||
| - | </code> | ||
| - | |||
| - | * warunek if : (conclusion) if (conditions) | ||
| - | |||
| - | <code xml> | ||
| - | <Implies> | ||
| - | <if> | ||
| - | (conditions) | ||
| - | </if> | ||
| - | <then> | ||
| - | (conclusion) | ||
| - | </then> | ||
| - | </Implies> | ||
| - | </code> | ||
| - | |||
| - | Teraz, na podstawie powyższej wiedzy, możemy spróbować zapisać nasz przykład (//**Jeżeli dzień=poniedziałek wtedy temp=20st**//) za pomocą RIF: | ||
| - | |||
| - | <code xml> | ||
| - | <?xml version="1.0" encoding="UTF-8"?> | ||
| - | |||
| - | <Ruleset> | ||
| - | <rule> | ||
| - | <declare><Var> day </Var></declare> | ||
| - | <formula> | ||
| - | <Implies> | ||
| - | <if> | ||
| - | <formula> | ||
| - | <Equal> | ||
| - | <arg><Var> day </Var></arg> | ||
| - | <arg><Const type="xsd:string">Monday</Const></arg> | ||
| - | </Equal> | ||
| - | </formula> | ||
| - | </if> | ||
| - | <then> | ||
| - | <Uniterm> | ||
| - | <op><Const type="rif:local">temp</Const></op> | ||
| - | <arg><Const type="rds:positiveInteger">20</Const></arg> | ||
| - | </Uniterm> | ||
| - | </then> | ||
| - | </Implies> | ||
| - | </formula> | ||
| - | </rule> | ||
| - | </Ruleset> | ||
| - | </code> | ||
| - | |||
| - | W analogiczny sposób możemy zapisać większość reguł. Przykładem może być tu całość [[https://ai.ia.agh.edu.pl/wiki/hekate:hekate_case_thermostat|HeKatE Case Thermostat]] którego reguły przedstawione w RIF wyglądają nastepująco: [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_xtt_rif:thermostat|therm in RIF]]. | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== Materiały ====== | ||
| - | |||
| - | ** Strona domowa RIF** http://www.w3.org/2005/rules/wiki/RIF_Working_Group | ||
| - | |||
| - | ** Więcej przykładów w RIF** http://www.w3.org/2005/rules/wg/wiki/UC3_Worked_Example | ||
| - | |||
| - | ** Szczególnie przydatne do RIF** http://www.w3.org/TR/2007/WD-rif-bld-20071030/ | ||
| - | |||
| - | ** Cały thermostat w RIF** https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_xtt_rif:thermostat | ||
| - | |||
| - | ** RIF Core Design** http://www.w3.org/TR/2007/WD-rif-core-20070330/ | ||
| - | |||
| - | ** Strona domowa R2ML** http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/6 | ||
| - | |||
| - | ** Szczególnie przydatne do R2ML** http://www.w3.org/TR/xpath20/ | ||
| - | |||
| - | ** Więcej przykładów w R2ML** http://oxygen.informatik.tu-cottbus.de/rewerse-i1/?q=node/49 | ||
| - | |||
| - | ** Całość thermostat w R2ML** https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_xtt_r2ml:thermostat | ||
| - | |||
| - | ** OWL RULES: A Proposal and Prototype Implementation** http://www.cs.man.ac.uk/~horrocks/Publications/download/2005/HPBT05.pdf | ||
| - | |||
| - | ** SWRL: A Semantic Web Rule Language Combining OWL and RuleML** http://www.daml.org/2003/11/swrl/ | ||
| - | |||
| - | ** Strona domowa RuleML** (http://www.ruleml.org/0.91/) | ||
| - | |||
| - | ** Szczególnie przydatne do RuleML** http://www.ruleml.org/0.91/glossary/ | ||
| - | |||
| - | ** Więcej przykładów w RuleML** http://www.ruleml.org/0.91/exa/ | ||
| - | |||
| - | **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 do ERDF** http://oxygen.informatik.tu-cottbus.de/IT/Research/ERDF-JAIR-2008.pdf | ||
| - | |||
| - | ** Translator R2ML do SWRL(składnia alternatywna)** http://oxygen.informatik.tu-cottbus.de/translator/R2MLtoSWRL/index.jsp | ||
| - | |||
| - | ** OWL Overview w języku polskim** http://www.rax.pl/tlumaczenia/OWL-Web-Ontology-Language-Overview/index.htm | ||
| - | |||
| - | ** OWL Overview w języku angielskim** http://www.w3.org/TR/2004/REC-owl-features-20040210/ | ||
