[[
✎ pl:miw:miw08_ard_xml
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
====== Opis ====== [[mtomana@student.agh.edu.pl|Michał Tomana]] (4RI) Translacja ARDML do innych formatów z użyciem XSLT. Ontologie, graphviz. ====== Spotkania ====== ===== 080304 ===== * koncepcja przejścia ARD->[[http://www.w3.org/2004/OWL/|OWL]] (modelowanie słownika, vocabulary) ===== 080311 ===== * j.w. + [[hekate:varda]] i [[hekate:hekate_case_thermostat]] ===== 080318 ===== * próba preprezentacji w OWL pełnego modelu (VARDA/tic), [[hekate:hekate_markup_language|HML]] Wątpliwości: * co z powtarzającymi się nazwami? Time+Tepmeratore -> Time, Temperature (może to ta sama właściwość?) * nomenklatura ===== 080408 ===== * właściwa repr w owl (att/prop) * nie ma prefixow att/prop, uzywamy jakiegoś id * prób zrobienia xslt hml(ardml) -> owl ====== Projekt ====== ===== ARD Ontology. Abstract Syntax: ===== <code> [Namespaces: owl = http://www.w3.org/2002/07/owl# ard = https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ard_xml:ard-syntax# rdfs = http://www.w3.org/2000/01/rdf-schema# rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns# ] Ontology( Class(ard:attribute) Class(ard:property) ObjectProperty(ard:is_attribute_of domain(ard:property) range(ard:attribute)) ObjectProperty(ard:has_attribute inverseOf(ard:is_attribute_of)) ObjectProperty(ard:depends_on domain(ard:property) range(ard:property)) ObjectProperty(ard:is_prerequisite_for inverseOf(ard:property)) ObjectProperty(ard:transformed_into domain(ard:property) range(property)) ObjectProperty(ard:transformed_from inverseOf(ard:transformed_into)) ) </code> ===== Thermostat example: ===== <code> [Namespaces: owl = http://www.w3.org/2002/07/owl# ard = https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_ard_xml:ard-syntax# rdfs = http://www.w3.org/2000/01/rdf-schema# rdf = http://www.w3.org/1999/02/22-rdf-syntax-ns# ] Ontology( Individual(ard:att_0 type(ard:attribute) Label("Thermostat")) Individual(ard:att_1 type(ard:attribute) Label("Time")) Individual(ard:att_2 type(ard:attribute) Label("Temperature") Comment("input temperature from sensor number 1")) Individual(ard:att_3 type(ard:attribute) Label("Date")) Individual(ard:att_4 type(ard:attribute) Label("Hour")) Individual(ard:att_5 type(ard:attribute) Label("season")) Individual(ard:att_6 type(ard:attribute) Label("operation")) Individual(ard:att_7 type(ard:attribute) Label("thermostat_settings")) Individual(ard:att_8 type(ard:attribute) Label("day")) Individual(ard:att_9 type(ard:attribute) Label("month")) Individual(ard:att_10 type(ard:attribute) Label("today")) Individual(ard:att_11 type(ard:attribute) Label("hour")) Individual(ard:prp_0 type(ard:property) value(ard:has_attribute ard:att_0)) Individual(ard:prp_1 type(ard:property) value(ard:has_attribute ard:att_1) value(ard:has_attribute ard:att_2) value(ard:transformed_from ard:prp_0)) Individual(ard:prp_2 type(ard:property) value(ard:has_attribute ard:att_1) value(ard:transformed_from ard:prp_1)) Individual(ard:prp_3 type(ard:property) value(ard:has_attribute ard:att_2) value(ard:transformed_from ard:prp_1)) Individual(ard:prp_4 type(ard:property) value(ard:has_attribute ard:att_3) value(ard:has_attribute ard:att_4) value(ard:has_attribute ard:att_5) value(ard:has_attribute ard:att_6) value(ard:transformed_from ard:prp_2)) Individual(ard:prp_5 type(ard:property) value(ard:has_attribute ard:att_7) value(ard:depends_on ard:prp_10) value(ard:depends_on ard:prp_11) value(ard:transformed_from ard:prp_3)) Individual(ard:prp_6 type(ard:property) value(ard:has_attribute ard:att_3) value(ard:has_attribute ard:att_4) value(ard:transformed_from ard:prp_4)) Individual(ard:prp_7 type(ard:property) value(ard:has_attribute ard:att_5) value(ard:has_attribute ard:att_6) value(ard:transformed_from ard:prp_4)) Individual(ard:prp_8 type(ard:property) value(ard:has_attribute ard:att_3) value(ard:transformed_from ard:prp_6)) Individual(ard:prp_9 type(ard:property) value(ard:has_attribute ard:att_4) value(ard:transformed_from ard:prp_6)) Individual(ard:prp_9 type(ard:property) value(ard:has_attribute ard:att_4) value(ard:transformed_from ard:prp_6)) Individual(ard:prp_10 type(ard:property) value(ard:has_attribute ard:att_5) value(ard:depends_on ard:prp_14) value(ard:transformed_from ard:prp_7)) Individual(ard:prp_11 type(ard:property) value(ard:has_attribute ard:att_6) value(ard:depends_on ard:prp_17) value(ard:depends_on ard:prp_13) value(ard:transformed_from ard:prp_7)) Individual(ard:prp_12 type(ard:property) value(ard:has_attribute ard:att_8) value(ard:has_attribute ard:att_9) value(ard:has_attribute ard:att_10) value(ard:transformed_from ard:prp_8)) Individual(ard:prp_13 type(ard:property) value(ard:has_attribute ard:att_11) value(ard:transformed_from ard:prp_9)) Individual(ard:prp_14 type(ard:property) value(ard:has_attribute ard:att_9) value(ard:transformed_from ard:prp_12)) Individual(ard:prp_15 type(ard:property) value(ard:has_attribute ard:att_8) value(ard:has_attribute ard:att_10) value(ard:transformed_from ard:prp_12)) Individual(ard:prp_16 type(ard:property) value(ard:has_attribute ard:att_8) value(ard:transformed_from ard:prp_15)) Individual(ard:prp_17 type(ard:property) value(ard:has_attribute ard:att_10) value(ard:depends_on ard:prp_16) value(ard:transformed_from ard:prp_15)) Individual(ard:prp_18 type(ard:property)) ) </code> ====== Sprawozdanie ====== ====== Materiały ====== [[http://www.w3.org/Style/XSL/|XSLT]] (tutoriale): * [[http://zvon.org/xxl/XSLTutorial/Output/index.html|ZVON XSLT]] * [[http://w3schools.com/xsl/default.asp|W3S XSLT]] * [[wp>XSLT]], [[http://www.w3.org/TR/xslt20/|specyfikacja]]. narzędzia: * http://protege.stanford.edu/ ARD: * [[hekate:bib:hekate_bibliography#gjn2008flairs-ardformal-submitted|Towards Formalization of ARD+ Conceptual Design and Refinement Method]] * [[hekate:bib:hekate_bibliography#gjn2008flairs-ardprolog-submitted|An ARD+ Design and Visualization Toolchain Prototype in Prolog]] * [[hekate:bib:hekate_bibliography#gjn2008flairs-userv-submitted|UServ Case Study, Conceptual Design with ARD+ Method]].
pl/miw/miw08_ard_xml.1207627910.txt.gz
· ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry