AIwiki

• terminy + prolog

• baza wiedzy w prologu → swrl?
• miw08_prolog_xml - nie korzystać z wbudowanego exportu xml?
• czas + konsultacje

• varda, prolog generujący xttml, ard

• translacja obiektowa (patrz przykład Przykład translacji obiektowej XTT -> SWRL):

1. tag XTT = ObjectPropertyValue owlx:property=tag
2. tagi otaczające liczbę: DataValueProperty owlx:property=tag_otaczający; liczba: <DataValue>liczba</DataValue> = wartość
3. atrybut w tagu: <owlx:ObjectPropertyValue owlx:property=„attribute”> i w nim DataValue

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

• 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 (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'?

• Projekty bazujące na xtt2: (xtt to r2ml , xtt to rif)
  
• Bazować jedynie na specyfikacji: xttml20 i przykładzie z projektu miw08_xtt_xml: :pl:miw:thermostat2.0.xml - wiarygodny thermostat2.0 czy stworzony przez studenta? - specyfikacja xtt na potrzeby hqed
• jedyna poprawna specyfikacja XTT2: xtt2

• konto

brak dostępu:

• xtt_rules
• xttml2rif
• calculations_factorial - link z miw08_xtt_r2ml
• xttml20 - link z 080318 miw08_xtt_xml

Czy jest przykładowy xttml, w którym byłyby wszystkie znaczniki? np. thermostat2.0

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)