Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:2009:miw09_swrltrans [2009/05/29 14:10] mikel |
pl:miw:2009:miw09_swrltrans [2019/06/27 15:50] (aktualna) |
| |
====== Spotkania ====== | ====== Spotkania ====== |
[[pl:miw:2009:miw09_NAZWA_PROJEKTU:spotkania|Notatki ze spotkań projektowych]]. | [[pl:miw:2009:miw09_swrltrans:spotkania|Notatki ze spotkań projektowych]]. |
| |
===== 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) | |
| |
====== Projekt ====== | ====== Projekt ====== |
| |
[[pl:miw:2009:miw09_swrltrans:projekt|Implementacja translacji w prologu]]. | [[pl:miw:2009:miw09_swrltrans:projekt|Implementacja translacji w prologu]]. |
| |
| ====== Sprawozdanie ====== |
| |
===== 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ć. |
| |
| |
| ==== Fragment drzewa syntaktycznego ==== |
| {{:pl:miw:2009:miw09_swrltrans:swrlx.png|}} |
===== Translacja XTT na SWRL ===== | ===== Translacja XTT na SWRL ===== |
| |
</owlx:Individual> | </owlx:Individual> |
</code> | </code> |
| |
====== Sprawozdanie ====== | |
| |
| |
====== Materiały ====== | ====== Materiały ====== |