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.
chimezie: "A diagram summarizing the geneology of First-order Logic (FOL), Description Logic (DL), and Logic Programming (LP) as a basis for a RETE-UL-based evaluational semantics which outperforms tableau-based algorithms." chimezie: The diagram captures most of the major, relevant features and dialect subsets within the languages
chimezie: The diagram captures most of the major, relevant features and dialect subsets within the languages