propositional formulae as classes

[jos.deroo]

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
i.e.

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

plus

http://eulersharp.sourceforge.net/2003/03swap/rdfs-subClassOf.n3

entails

    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  [phone]
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare