Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_ard_rdf [2008/04/08 23:34] miw |
pl:miw:miw08_ard_rdf [2008/09/18 12:18] gjn koniec |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | ||
| - | Rafał Szymczyk, <raf.szymczyk@o2.pl> | ||
| - | |||
| - | Zapis ARD przy pomocy RDF w XSLT | ||
| - | |||
| - | ====== Spotkania ====== | ||
| - | ===== 08.03.04 ===== | ||
| - | |||
| - | ===== 08.03.18 ===== | ||
| - | * repr atrybutów dla reguł RIF/OWL/RDF | ||
| - | |||
| - | ===== 080401 ===== | ||
| - | * missed | ||
| - | |||
| - | ===== 080408 ===== | ||
| - | * ??? | ||
| - | |||
| - | ===== 080422 ===== | ||
| - | * to co na 18.3.2008 | ||
| - | |||
| - | ====== Projekt ====== | ||
| - | jak sensownie repr. ard w rdf? | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ===== RDF ===== | ||
| - | |||
| - | Linki: | ||
| - | |||
| - | [[http://www.ninebynine.org/RDFNotes/RDFFactsAndRules.html#xtocid-7560072| Representing Facts and Rules in RDF]] | ||
| - | |||
| - | [[http://agentlab.swps.edu.pl/agent_papers/Gasiorowski_MS_2006.pdf]] | ||
| - | |||
| - | |||
| - | |||
| - | ===== RIF ===== | ||
| - | |||
| - | **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 -> "marry"^^rif:iri] | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | ====== Sprawozdanie ====== | ||
| - | |||
| - | |||
| - | |||
| - | ====== Materiały ====== | ||
| - | |||
| - | [[hekate:hekate_case_thermostat]] | ||
| - | |||
| - | **ARD:** | ||
| - | |||
| - | https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted | ||
| - | |||
| - | Nalepa, G. J. (2008). UServ Case Study, Conceptual Design with ARD+ Method. Paper presented at the FLAIRS2008. | ||
| - | |||
| - | https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted | ||
| - | |||
| - | Nalepa, G. J., & Wojnicki, I. (2008). Towards Formalization of ARD+ Conceptual Design and Refinement Method. Paper presented at the FLAIRS2008. | ||
| - | |||
| - | https://ai.ia.agh.edu.pl/wiki/hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted | ||
| - | |||
| - | Nalepa, G. J., & Wojnicki, I. (2008). An ARD+ Design and Visualization Toolchain Prototype in Prolog. Paper presented at the FLAIRS2008. | ||
| - | |||
| - | **RDF:** | ||
| - | |||
| - | http://www.w3.org/RDF/ | ||
| - | |||
| - | If you want to learn about the Resource Description Format (RDF), you should read this primer. | ||
| - | |||
| - | http://en.wikipedia.org/wiki/Resource_Description_Framework | ||
| - | |||
| - | An explanation of RDF by Wikipedia. | ||
| - | |||
| - | http://www.w3.org/TR/NOTE-rdf-simple-intro | ||
| - | |||
| - | Lassila, Ora. Introduction to RDF Metadata, W3C., Note 1997-11-13 | ||
| - | |||
| - | http://www.w3.org/RDF/FAQ | ||
| - | |||
| - | Frequently asked Questions about RDF, W3C. | ||
| - | |||
| - | http://www.ariadne.ac.uk/issue14/what-is | ||
| - | |||
| - | An introductory explanation of RDF by Rachel Heery in Ariadne magazine online. | ||
| - | |||
| - | http://www.rdfabout.com/intro/ | ||
| - | |||
| - | http://www.xml.com/pub/a/2001/01/24/rdf.html | ||
| - | |||
| - | http://xml.coverpages.org/rdf.html | ||
| - | |||
| - | __The RDF tutorials__ : | ||
| - | |||
| - | http://www.w3schools.com/rdf/default.asp | ||
| - | |||
| - | http://www.zvon.org/xxl/RDFTutorial/General/book.html | ||
| - | |||
| - | [[http://webdesign.about.com/gi/dynamic/offsite.htm?zi=1/XJ/Ya&sdn=webdesign&cdn=compute&tm=15&f=00&su=p284.8.150.ip_&tt=14&bt=0&bts=0&zu=http%3A//www710.univ-lyon1.fr/%7Echampin/rdf-tutorial/|RDF tutorial]] | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | **XSLT** : | ||
| - | * http://www.w3.org/Style/XSL/ | ||
| - | * http://zvon.org/xxl/XSLTutorial/Output/index.html | ||
| - | * http://w3schools.com/xsl/default.asp | ||
| - | * [[wp>XSLT]] | ||
| - | * http://www.w3.org/TR/xslt20/ | ||
| - | |||
| - | |||
| - | |||
| - | FIXME | ||
