Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] Necessary and Sufficient conditions in Protege-Frames/Protege-OWL

Tania Tudorache tudorache at stanford.edu
Tue Apr 29 19:44:28 PDT 2008


Kiran,

Please post in future Protege 4 questions on the P4 feedback list:

http://protege.stanford.edu/community/lists.html

Protege 4 can read in SWRL rules and reason with them. However, the SWRL 
Tab is not yet available in Protege 4. We will migrate the plugin to 
Protege 4 in the near future.

Tania


Kiran Dasari wrote:
> Samson,
>
> Thank you very much. Can we implement the SWRL rules in Protege 4.0 ?
>
> Kiran
>
> On Mon, Apr 28, 2008 at 12:33 PM, Samson Tu <swt at stanford.edu 
> <mailto:swt at stanford.edu>> wrote:
>
>     You can define such restrictions in OWL 1.1 (now renamed OWL 2.0,
>     supported by Protege 4.0). In Protege frame or Protege OWL 3.x,
>     you have
>     to use rules to define them.
>
>     Samson
>
>
>     Kiran Dasari wrote:
>     > Hi Guys,
>     >
>     > I am sorry. I have been repeatedly asking the same question from
>     many
>     > days. I thought I will be more clear with an example.
>     >
>     > I have a restriction like :-
>     >
>     > If temperature > 50C || temperature <10C, then situation is
>     "abnormal"
>     > If temperature <40C && temperature >10C, then situation is "normal
>     > condition"
>     >
>     > Simillarly I have one more restriction like
>     >
>     > If temperature > 40C && Pressure > 100 psi, then situation is
>     "abnormal"
>     >
>     > I was wondering if I can create such restrictions in
>     Protege-Frames or
>     > will it be possible to create them in protege-owl,and if so how
>     do I do
>     > it. To my knowledge I know that we can't create such rules in
>     > protege-frames. Please correct me if I am wrong.
>     >
>     > I have the temperature and pressure values in a text file associated
>     > with their respective sensor ID's.
>     > for example:-
>     >
>     > 001|50|    -- 001 is the sensorID ; 50 is the measurement
>     > 002|30|
>     >
>     > The sensor class in the ontology has subclasses like temperature
>     sensor
>     > and pressure sensor. The subclasses have properties like
>     "hasSensorID" &
>     > "hasMeasurement" using which I create individuals like tempsensor1,
>     > tempsenor2 etc.
>     >
>     > For example--
>     >
>     > tempsensor1 -- hasSensorID 001 and hasMeasurement ..... ; In the
>     > "hasMeasurement" property i am confused whether I need to give a
>     > range or else leave it blank so that I can send the measurement
>     from the
>     > text file.
>     >
>     > There is also a situation class in the ontology with the
>     "abnormal" ,
>     > "normal conditions" as individuals.
>     >
>     > Now my question is, how do I check the  measurementvalues in the
>     text
>     > file using the "hasSensorID" values that I assigned to the
>     sensors in
>     > the ontology.
>     >
>     > I will really appreciate it if someone can help me with a
>     suggestion.
>     >
>     > Thanks,
>     > Kiran
>     >
>     >
>     >
>     >
>     ------------------------------------------------------------------------
>     >
>     > _______________________________________________
>     > protege-discussion mailing list
>     > protege-discussion at lists.stanford.edu
>     <mailto:protege-discussion at lists.stanford.edu>
>     > https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>     >
>     > Instructions for unsubscribing:
>     http://protege.stanford.edu/doc/faq.html#01a.03
>
>     _______________________________________________
>     protege-discussion mailing list
>     protege-discussion at lists.stanford.edu
>     <mailto:protege-discussion at lists.stanford.edu>
>     https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
>     Instructions for unsubscribing:
>     http://protege.stanford.edu/doc/faq.html#01a.03
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>   




More information about the protege-discussion mailing list