Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:2009:miw09_swrltrans [2009/04/29 00:45]
mikel
pl:miw:2009:miw09_swrltrans [2019/06/27 15:50] (aktualna)
Linia 1: Linia 1:
-====== ​Opis ====== +~~ODT~~ 
-Michał Lesiak <mikelik@o2.pl>+====== ​MIW 2009 SWRLtrans ​====== 
 + 
 +**Zrealizował**: [[mikelik@o2.pl|Michał Lesiak]] (4RI)
  
 :!::!: :!::!:
Linia 14: Linia 16:
 [[student:​msc2008_xml_knowledge_transformation:​xttml2rif]] [[student:​msc2008_xml_knowledge_transformation:​xttml2rif]]
  
-====== ​Spotkania ​====== +====== ​Prezentacja ​====== 
-===== 20090428? =====  +[[pl:miw:2009:​miw09_swrltrans:​prezentacja|Prezentacja wyników projektowych]].
-  * baza wiedzy w prologu -> swrl?  +
-  * [[pl:miw:miw08_prolog_xml]] - nie korzystać z wbudowanego exportu xml? +
-  * czas + konsultacje+
  
-===== 20090423 ===== 
-  * varda, prolog generujący xttml, ard 
-===== 20090416 ===== 
-  * translacja obiektowa (patrz przykład [[#​Przykład translacji obiektowej XTT -> SWRL| Przykład translacji obiektowej XTT -> SWRL]]): 
-  - tag XTT = ObjectPropertyValue owlx:​property=tag 
-  - tagi otaczające liczbę: DataValueProperty owlx:​property=tag_otaczający;​ liczba: <​DataValue>​liczba</​DataValue>​ = wartość 
-  - atrybut w tagu: <​owlx:​ObjectPropertyValue owlx:​property="​attribute">​ i w nim DataValue 
  
-===== 20090402 ​==== +====== Spotkania ====== 
-   * SWRL nie obsługuje ani negacji ani alternatywy. Problem zapisania regułyjeżeli x jest w zbiorze <1,2> lub 3 to (...) - konieczność rozbicia na 2 reguły (suma zbiorów odpowiada alternatywnym regułom) +[[pl:miw:2009:miw09_swrltrans:​spotkania|Notatki ze spotkań projektowych]].
-   * '​Union'​ dotyczy tylko klas (nie liczb czy właściwości),​ to zapisu typu wyliczeniowego1 lub 2 lub 3 służy OneOf. +
-   * <range from="​1"​ to="​5"/>​ - w SWRL brak zmiennej typu '​range',​ należy stworzyć zmienną i operacjami matematycznymi (built-ins) sprawdzić>= 1 oraz <= 5 +
-   * HQed - wersja z okreslonym XTT? +
-   * problem z zagnieżdżeniem - udało się zrobić zliczanie zagnieżdżeń, ciężko ze wstawianiem zmiennych temp* we właściwe miejsce (funkcja position() i brak odniesienia w przypadku dwóch reguł w xtt)+
  
-===== 20090319 ​==== +====== Projekt ======
-   * [[#​przyklad_xtt_-_swrl]] +
-   * konieczność utworzenia zmiennych tymczasowych (u mnie: temp1), ponieważ nie można zagnieżdżać funkcji w funkcji, np. builtin sin w builtin add ([[http://​www.w3.org/​Submission/​SWRL/​swrlx.xsd|swrlx.xsd]]). +
-   * za pomocą transformacji XSL trzeba policzyć ilość zagnieżdżeń,​ ilość predykatów o arności więcej niż 2, (...) - skomplikowane (o ile wykonalne) - sugestia zmiany narzędzia z XSLT, może napisać rodzaj '​kompilatora'?​+
  
-===== 20090305 ==== +[[pl:miw:2009:miw09_swrltrans:projekt|Implementacja translacji w prologu]].
-  * Projekty bazujące na xtt2: ([[pl:miw:miw08_xtt_r2ml:translator|xtt to r2ml ]], [[https://​ai.ia.agh.edu.pl/​wiki/​_media/​pl:​miw:​miw08_xtt_rif:​xtttorif.xml|xtt  to rif]])\\ +
-  * <​del>​Bazować jedynie na specyfikacji:​ [[hekatedev:​hqed:​xttml20]] i przykładzie z projektu [[pl:​miw:​miw08_xtt_xml]]:​ [[https://​ai.ia.agh.edu.pl/​wiki/​_media/​pl:​miw:​thermostat2.0.xml|:​pl:​miw:​thermostat2.0.xml]] - wiarygodny thermostat2.0 czy stworzony przez studenta?</​del>​ - specyfikacja xtt na potrzeby hqed +
-  * jedyna poprawna specyfikacja XTT2: [[hekate:​xtt2]]+
  
-===== 20090219 ​==== +====== ​Sprawozdanie ​======
-  * konto +
-brak dostępu: +
-  * [[hekatedev:​xtt_rules]] +
-  * [[student:​msc2008_xml_knowledge_transformation:​xttml2rif]] +
-  * [[hekatedev:​xtt_minicases#​calculations_factorial]] - link z [[pl:​miw:​miw08_xtt_r2ml]] +
-  * [[hekatedev:​hqed:​xttml20]] - link z 080318 [[pl:​miw:​miw08_xtt_xml]] +
- +
-Czy jest przykładowy xttml, w którym byłyby wszystkie znaczniki?​ +
-np. [[https://​ai.ia.agh.edu.pl/​wiki/​_media/​pl:​miw:​thermostat2.0.xml?​id=pl%3Amiw%3Amiw08_xtt_xml&​cache=cache|thermostat2.0]] +
- +
-=== xtt -> r2ml -> swrl (niepolecane)=== +
-xtt -> r2ml: https://​ai.ia.agh.edu.pl/​wiki/​pl:​miw:​miw08_xtt_r2ml:​translator +
- +
-r2ml -> swrl: http://​www.eclipse.org/​m2m/​atl/​atlTransformations/#​R2ML2SWRL (przy pomocy transformacji ATL) +
- +
-====== Projekt ​======+
  
 ===== Założenia ===== ===== Założenia =====
  
-W projekcie ​zostanie ​stworzony wzorzec XSLT, który zamieni składnię XTTML na składnię [[http://​www.w3.org/​Submission/​SWRL/#​5|SWRL XML]], przy czym XML dla SWRL jest kombinacją [[http://​www.w3.org/​TR/​owl-xmlsyntax/​|OWL Web Ontology Language XML]] z [[http://​www.ruleml.org/​|RuleML XML]]+W projekcie ​miał zostać ​stworzony wzorzec XSLT, który zamieni składnię XTTML na składnię [[http://​www.w3.org/​Submission/​SWRL/#​5|SWRL XML]], przy czym XML dla SWRL jest kombinacją [[http://​www.w3.org/​TR/​owl-xmlsyntax/​|OWL Web Ontology Language XML]] z [[http://​www.ruleml.org/​|RuleML XML]].\\ 
 +Ostatecznie został stworzony translator w prologu, gdyż XSLT okazał się nie wystarczającym narzędziem.\\
  
 Możliwa jest również zamiana XTTML na [[http://​www.w3.org/​Submission/​SWRL/#​6|RDF dla SWRL]], przy czym można tego dokonać korzystając ze wzorca [[http://​www.w3.org/​TR/​owl-xmlsyntax/​owlxml2rdf.xsl|owlxml2rdf.xsl]],​ który należałoby rozbudować. Możliwa jest również zamiana XTTML na [[http://​www.w3.org/​Submission/​SWRL/#​6|RDF dla SWRL]], przy czym można tego dokonać korzystając ze wzorca [[http://​www.w3.org/​TR/​owl-xmlsyntax/​owlxml2rdf.xsl|owlxml2rdf.xsl]],​ który należałoby rozbudować.
Linia 172: Linia 139:
  
  
 +==== Fragment drzewa syntaktycznego ====
 +{{:​pl:​miw:​2009:​miw09_swrltrans:​swrlx.png|}}
 ===== Translacja XTT na SWRL ===== ===== Translacja XTT na SWRL =====
  
Linia 193: Linia 162:
  
 W tym podejściu rozwiązania problemów przedstawiałyby się nastepująco:​\\ W tym podejściu rozwiązania problemów przedstawiałyby się nastepująco:​\\
-ad 1. Rozwiązaniem jest stworzenie sztucznej relacji, która wiąże ze soba kolejne argumenty.\\+ad 1. Rozwiązaniem jest stworzenie sztucznej relacji, która wiąże ze soba kolejne argumenty. ​[[#​przyklad_prolog_-_swrl|Przykład zastosowania sztucznej relacji '​reifiedRelation'​]]\\
 ad 2. Rozwiązaniem jest stworzenie serii zmiennych pomocniczych,​ które przechowywałyby wyniki obliczeń kolejno w sobie zagnieżdżonych operacji.\\ ad 2. Rozwiązaniem jest stworzenie serii zmiennych pomocniczych,​ które przechowywałyby wyniki obliczeń kolejno w sobie zagnieżdżonych operacji.\\
 ad 3. Brak istniejącego rozwiązania.\\ ad 3. Brak istniejącego rozwiązania.\\
Linia 212: Linia 181:
 Przykład translacji obiektowej: Przykład translacji obiektowej:
 [[#​Przykład translacji obiektowej XTT -> SWRL| Przykład translacji obiektowej XTT -> SWRL]] [[#​Przykład translacji obiektowej XTT -> SWRL| Przykład translacji obiektowej XTT -> SWRL]]
 +
 ==== Przykład Prolog -> SWRL ==== ==== Przykład Prolog -> SWRL ====
  
Linia 503: Linia 473:
 </​code>​ </​code>​
  
-====== Sprawozdanie ====== 
-====== Prezentacja ====== 
 ====== Materiały ====== ====== Materiały ======
   * [[http://​www.w3.org/​Submission/​SWRL/​|SWRL]]   * [[http://​www.w3.org/​Submission/​SWRL/​|SWRL]]
pl/miw/2009/miw09_swrltrans.1240958710.txt.gz · ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0