===== 20090528 ===== 
  * terminy + prolog

===== 20090430 ===== 
  * 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 ====
   * SWRL nie obsługuje ani negacji ani alternatywy. Problem zapisania reguły: jeżeli x jest w zbiorze <1,2> lub 3 to (...) - konieczność rozbicia na 2 reguły (suma zbiorów odpowiada alternatywnym regułom)
   * 'Union' dotyczy tylko klas (nie liczb czy właściwości), to zapisu typu wyliczeniowego: 1 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 ====
   * [[#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 ====
  * 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 ====
  * 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)