W3C home > Mailing lists > Public > public-cwm-talk@w3.org > July to September 2009

propositional formulae as classes

From: <jos.deroo@agfa.com>
Date: Wed, 22 Jul 2009 21:32:53 +0200
To: public-cwm-talk@w3.org
Message-ID: <OF082E1DE9.237BDA40-ONC12575FB.00698ECA-C12575FB.006B6199@agfa.com>
Since a while I am thinking about propositional formulae as classes
and it is interesting to see that the idea works out of the box in Cwm

{:Headache :assessedBy :Physician} rdfs:subClassOf {:Headache :assessedBy 
:pat001 a {:Headache :assessedBy :Physician}.




    t:pat001     a {t:Headache     t:assessedBy t:PhysicalExam .
                {t:Headache     t:assessedBy t:Physician .
        } .

which is also what Eye (Euler yap engine) sees.

The extension of such a class is possibly the set of things
for which the propositional formula is the case.

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  +32 3444 7618

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
Received on Wednesday, 22 July 2009 19:34:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:06 UTC