Jumat, 14 Oktober 2011

The Most Hackneyed Syllogism of All in OWL Version

:Man rdfs:subClassOf :Mortal.
:Socrates a :Man.

will infer:

:Socrates a :Mortal.

Source

Tidak ada komentar:

Posting Komentar