Rafał Szymczyk, raf.szymczyk@o2.pl

Zapis ARD przy pomocy RDF w XSLT

• repr atrybutów dla reguł RIF/OWL/RDF

• missed

• ???

• to co na 18.3.2008

jak sensownie repr. ard w rdf?

Linki:

Representing Facts and Rules in RDF

http://agentlab.swps.edu.pl/agent_papers/Gasiorowski_MS_2006.pdf

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)

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 Presentation syntax :

      nazwa_atrybutu->wartość_atrybutu^^type

Sposób przedstawiania atrybutów w 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

        <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>

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]

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

RDF tutorial

XSLT :

• http://www.w3.org/Style/XSL/
• http://zvon.org/xxl/XSLTutorial/Output/index.html
• http://w3schools.com/xsl/default.asp
• XSLT
• http://www.w3.org/TR/xslt20/