Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja | |||
|
pl:miw:miw08_ard_xml:owl_thermostat [2008/05/26 00:15] miw |
pl:miw:miw08_ard_xml:owl_thermostat [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | ====== Opis termostatu w OWL ====== | ||
| + | <code> | ||
| + | [Namespaces: | ||
| + | owl = http://www.w3.org/2002/07/owl# | ||
| + | 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)) | ||
| + | |||
| + | |||
| + | 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_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)) | ||
| + | | ||
| + | | ||
| + | ) | ||
| + | </code> | ||
