[[
✎ 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 ====== 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# ] Ontology( Class(ard:attribute) Class(ard:property) ObjectProperty(ard:is_property_of domain(ard:attribute) range(ard:property)) ObjectProperty(ard:has_property inverseOf(ard:is_property_of)) ObjectProperty(ard:depends_on domain(ard:attribute) range(ard:attribute)) ObjectProperty(ard:is_prerequisite_for domain(ard:attribute) range(ard:attribute)) ObjectProperty(ard:transformed_into domain(ard:attribute) range(attribute)) 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# ] Ontology( Individual(ard:attThermostat type(ard:attribute)) Individual(ard:Thermostat type(ard:property) value(ard:is_property_of ard:attThermostat)) Individual(ard:attTimeTemp type(ard:attribute) value(ard:transformed_from ard:attThermostat)) Individual(ard:Time type(ard:property) value(ard:is_property_of ard:attTimeTemp)) Individual(ard:Temp type(ard:property) value(ard:is_property_of ard:attTimeTemp)) Individual(ard:attTime type(ard:attribute) value(ard:has_property ard:Time) value(ard:transformed_from ard:attTimeTemp)) Individual(ard:attTemperature type(ard:attribute) value(ard:has_property ard:Temperature) value(ard:transformed_from ard:attTimeTemp)) Individual(ard:attDateHour_season_operation type(ard:attribute) value(ard:transformed_from ard:attTime)) Individual(ard:Date type(ard:property) value(ard:is_property_of ard:attDateHour_season_operation)) Individual(ard:Hour type(ard:property) value(ard:is_property_of ard:attDateHour_season_operation)) Individual(ard:season type(ard:property) value(ard:is_property_of ard:attDateHour_season_operation)) Individual(ard:operation type(ard:property) value(ard:is_property_of ard:attDateHour_season_operation)) Individual(ard:att_thermostat_settings type(ard:attribute) value(ard:transformed_from ard:attTemperature)) Individual(ard:thermostat_settings type(ard:property) value(ard:is_property_of ard:att_thermostat_settings)) Individual(ard:attDateHour type(ard:attribute) value(ard:transformed_from ard:attDateHour_season_operation) value(ard:has_property ard:Hour) value(ard:has_property ard:Date)) Individual(ard:season type(ard:property)) Individual(ard:operation type(ard:property)) Individual(ard:att_season_operation type(ard:attribute) value(ard:transformed_from ard:attDateHour_season_operation) value(ard:has_property ard:season) value(ard:has_property ard:operation)) Individual(ard:attDate type(ard:attribute) value(ard:transformed_from ard:attDateHour) value(ard:has_property ard:Date)) Individual(ard:attHour type(ard:attribute) value(ard:transformed_from ard:attDateHour) value(ard:has_property ard:Hour)) Individual(ard:att_season type(ard:attribute) value(ard:transformed_from ard:att_season_operation) value(ard:has_property ard:season) value(ard:is_prerequisite_for ard:att_thermostat_settings)) Individual(ard:att_operation type(ard:attribute) value(ard:transformed_from ard:att_season_operation) value(ard:has_property ard:operation) value(ard:is_prerequisite_for ard:att_thermostat_settings)) Individual(ard:day type(ard:property)) Individual(ard:month type(ard:property)) Individual(ard:today type(ard:property)) Individual(ard:att_day_month_today type(ard:attribute) value(ard:transformed_from ard:attDate) value(ard:has_property ard:day) value(ard:has_property ard:month) value(ard:has_property ard:today)) Individual(ard:att_hour type(ard:attribute) value(ard:transformed_from ard:attHour) value(ard:is_prerequisite_for ard:att_operation)) Individual(ard:att_month type(ard:attribute) value(ard:has_property ard:month) value(ard:transformed_from ard:att_day_month_today) value(ard:is_prerequisite_for ard:att_season)) Individual(ard:att_day_today type(ard:attribute) value(ard:has_property ard:day) value(ard:has_property ard:today) value(ard:transformed_from ard:att_day_month_today)) Individual(ard:att_day type(ard:attribute) value(ard:has_property ard:day) value(ard:transformed_from ard:att_day_today) value(ard:is_prerequisite_for ard:att_operation)) Individual(ard:att_today type(ard:attribute) value(ard:has_property ard:today) value(ard:transformed_from ard:att_day_today)) value(ard:depends_on ard:att_day)) ) </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.1205833640.txt.gz
· ostatnio zmienione: 2019/06/27 15:58 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry