Re: How do I write this N3 statement correctly

Thanks Jos :-) Indeed we can use the “math:not” builtins (I forgot about those!): http://ppr.cs.dal.ca:3002/n3/editor/s/A8rlaXpJ



W

From: Jos De Roo <josderoo@gmail.com>
Date: Friday, November 5, 2021 at 1:19 PM
To: William Van Woensel <william.vanwoensel@gmail.com>
Cc: Joy lix <joylix4112@outlook.com>, public-n3-dev@w3.org <public-n3-dev@w3.org>
Subject: Re: How do I write this N3 statement correctly
Very nice and greaterOrEqualTo can be done with math:notLessThan


Op vr 5 nov. 2021 14:12 schreef William Van Woensel <william.vanwoensel@gmail.com<mailto:william.vanwoensel@gmail.com>>:
Hi Joy

I drafted the following code for your example: http://ppr.cs.dal.ca:3002/n3/editor/s/lycuLUp2 (currently Eye does not support greaterOrEqualTo so we have to make do..). I slightly refactored your example to make the solution a bit more elegant – essentially, the rules first check whether individual limits are met, and, subsequently, whether a given rule has all its limits met.


William

From: Joy lix <joylix4112@outlook.com<mailto:joylix4112@outlook.com>>
Date: Monday, November 1, 2021 at 2:48 PM
To: William Van Woensel <william.vanwoensel@gmail.com<mailto:william.vanwoensel@gmail.com>>, public-n3-dev@w3.org<mailto:public-n3-dev@w3.org> <public-n3-dev@w3.org<mailto:public-n3-dev@w3.org>>
Subject: 回复: How do I write this N3 statement correctly
Dear Willian,
      Thank you very much!  The output options you added to the N3 Editor make the reasoning result look much more convenient.  Your example of N3 on general conditional reasoning also inspired me a lot.   Although It doesn't give us the final result we need, but there may be a way to do it.
please have a Look at this general example:
@prefix : <#> .
:decisionSystem :hasRule :rule1, :rule2, :rule3;
          :isAbout :PropertyA .
:rule1 :range [:lowerLimit :Low ;
                    :lowerInclusive "True" ;
                    :upperLimit :High ;
                    :upperInclusive "False" ];
       :conclusion "suitable".

:rule2 :range [:upperLimit :Low ;
                       :upperInclusive "False" ] ;
         :conclusion "tooLow".

:rule3 :range [:lowerLimit :High ;
                      :lowerInclusive "True" ] ;
        :conclusion "tooHigh".
     Let's say PropertyA is the temperature of the room, :Low=18, :High=28, so When entering the actual temperature of the room, the system should be able to deduce the current comfort level.  This is a practical example of how I want to use plain RDF to store simple conditional data,  This data can then be reconstituted into N3 for inference. This general example is useful for solving many practical problems in engineering.
In this example, I'm still a little confused about how to handle whether the boundary is inclusive or not.
    In addition, Ryan mentioned that you can store conditional data in strings, but I don't know how to handle this in N3.

Kind regards,
Joylix




________________________________
发件人: William Van Woensel <william.vanwoensel@gmail.com<mailto:william.vanwoensel@gmail.com>>
发送时间: 2021年10月31日 1:44
收件人: Joy lix <joylix4112@outlook.com<mailto:joylix4112@outlook.com>>; public-n3-dev@w3.org<mailto:public-n3-dev@w3.org> <public-n3-dev@w3.org<mailto:public-n3-dev@w3.org>>
主题: Re: How do I write this N3 statement correctly


Hi Joy



In addition to what Jos shares with you, you can try out the following “pure” N3 code (not relying on Eye-specific builtins) to arbitrarily combine logical conditions: http://ppr.cs.dal.ca:3002/n3/editor/s/mEWJDvxb (It relies on N3’s ability to write rules that themselves generate new rules, and embed variables directly in the data, for instance.)



Unfortunately, it only infers whether the condition of the subject “tempTest” is met (conditionMet = true), and not which resources led to it being true (e.g., temperature1 or temperature2). So, I don’t know whether it fully meets your needs. At any rate, maybe the plugin code can give you some other ideas :-)





William



From: Joy lix <joylix4112@outlook.com<mailto:joylix4112@outlook.com>>
Date: Saturday, October 23, 2021 at 5:27 AM
To: "public-n3-dev@w3.org<mailto:public-n3-dev@w3.org>" <public-n3-dev@w3.org<mailto:public-n3-dev@w3.org>>
Subject: How do I write this N3 statement correctly
Resent-From: <public-n3-dev@w3.org<mailto:public-n3-dev@w3.org>>
Resent-Date: Sat, 23 Oct 2021 08:27:46 +0000



Dear, all,

I wrote a N3 statement as follows:

PREFIX math: <http://www.w3.org/2000/10/swap/math#<http://www.w3.org/2000/10/swap/math>>



:temperature1 :value -20.

:temperature2 :value 42.



{?temperature :value ?value. ?value math:lessThan -10}

 =>

{?temperature :value :abnormal }.



{?temperature :value ?value . ?value math:greaterThan 40}

=>

{?temperature :value :abnormal }.



Is there any way to  use "or" to simplify it into a single inference statement? And how do I use "else" to indicate that temperature values outside these ranges are "normal"?

In addition, I use http://ppr.cs.dal.ca:3002/n3/editor/, in the deductive information of "eye", can I show only the inferred results alone?

      Thanks for helping.



Joylix