pl:miw:2009:miw09_swrltrans:spotkania

20090528

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

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

brak dostępu:

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