Welcome to the
Semantic Web Interest Group
scratchpad generated automatically from discussions on
IRC at
Freenode channel #swig 2001-2018 approx
by the chump bot.
SethR: note that 'converse' is not the same thing as 'negation' see Logic - converse SethR: the converse of {A p B} is {B p A} rather than {A [negates p] B}
SethR: the converse of {A p B} is {B p A} rather than {A [negates p] B}