AIwiki

To jest stara wersja strony!

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”.