Różnice między wybraną wersją a wersją aktualną.
|
pl:miw:miw08_ard_xml:owl_thermostat [2008/05/26 00:15] miw utworzono |
pl:miw:miw08_ard_xml:owl_thermostat [2008/05/26 00:15] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis termostatu w OWL ====== | ||
| - | |||
| - | [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)) | ||
| - | | ||
| - | | ||
| - | ) | ||
