[[
✎ pl:miw:miw08_hml_rules:hekate_case_thermostat
]]
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ć.
Rule: 3 if today is workday and the time is 'between 9 am and 5 pm' then operation is 'during business hours' Rule in non-RDF form: @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . @prefix ex: <http://example.org/#> . ex : workday (?day)& ex : time_between (?time1, ?time2) -> ex : during_buisness_hours (?day, ?time1, ?time2). Rule represented in RDF/N3 [rdf:type rul:Rule; rul:from _:genid1; rul:from _:genid2; rul:infer _:genid3]. _:genid1 rdf:type rul:Fact; rul:pred ex:workday; rul:args [rdf:type rdf:List; rdf:first _:genid4; rdf:rest rdf:nil]. _:genid2 rdf:type rul:Fact; rul:pred ex:time_between; rul:args [rdf:type rdf:List; rdf:first _:genid5; rdf:rest [rdf:type rdf:List; rdf:first _:genid6; rdf:rest rdf:nil]. _:genid3 rdf:type rul:Fact; rul:pred ex: during_buisness_hours; rul:args [rdf:type rdf:List; rdf:first _:genid4; rdf:rest [rdf:type rdf:List; rdf:first _:genid5; rdf rest [rdf:type rdf:List; rdf:first _:genid6; rdf:rest rdf:nil]. _:genid4 rdf:type rul:Var; rdfs:label “?day”. _:genid5 rdf:type rul:Var; rdfs:label “?time1”. _:genid6 rdf:type rul:Var; rdfs:label “?time2”. Rule: 4 if today is workday and the time is 'before 9 am' then operation is 'not during business hours' Rule in non-RDF form: @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . @prefix ex: <http://example.org/#> . ex : workday (?day)& ex : time_before (?time) -> ex : not_during_buisness_hours (?day, ?time). Rule represented in RDF/N3 [rdf:type rul:Rule; rul:from _:genid1; rul:from _:genid2; rul:infer _:genid3]. _:genid1 rdf:type rul:Fact; rul:pred ex:workday; rul:args [rdf:type rdf:List; rdf:first _:genid4; rdf:rest rdf:nil]. _:genid2 rdf:type rul:Fact; rul:pred ex:time_before; rul:args [rdf:type rdf:List; rdf:first _:genid5; rdf:rest rdf:nil]. _:genid3 rdf:type rul:Fact; rul:pred ex: not_during_buisness_hours; rul:args [rdf:type rdf:List; rdf:first _:genid4; rdf:rest [rdf:type rdf:List; rdf:first _:genid5; rdf rest [rdf:type rdf:List; rdf:first _:genid6; rdf:rest rdf:nil]. _:genid4 rdf:type rul:Var; rdfs:label “?day”. _:genid5 rdf:type rul:Var; rdfs:label “?time”. Rule: 6 if today is weekend then operation is 'not during business hours' Rule in non-RDF form: @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rul: <http://id.ninebynine.org/RDFRules/1.0/> . @prefix ex: <http://example.org/#> . ex : weekend (?day)-> ex : not_during_buisness_hours (?day). Rule represented in RDF/N3 [rdf:type rul:Rule; rul:from _:genid1; rul:infer _:genid2]. _:genid1 rdf:type rul:Fact; rul:pred ex: weekend; rul:args [rdf:type rdf:List; rdf:first _:genid3; rdf:rest rdf:nil]. _:genid2 rdf:type rul:Fact; rul:pred ex: not_during_buisness_hours; rul:args [rdf:type rdf:List; rdf:first _:genid3; rdf:rest rdf:nil]. _:genid3 rdf:type rul:Var; rdfs:label “?day”.
pl/miw/miw08_hml_rules/hekate_case_thermostat.1206907472.txt.gz
· ostatnio zmienione: 2019/06/27 15:59 (edycja zewnętrzna)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry