Semantic Web Interest Group IRC Scratchpad

Welcome to the Semantic Web Interest Group scratchpad generated automatically from discussions on IRC at irc.freenode.net port 6667 channel #swig by the chump bot, instructions in the chump user manual. Please use UTF-8 charset on IRC and pastebin for code or data more than 10 lines long.

Nearby: IRC logs (Latest) | semantic-web list | ESW Wiki (Recent changes) | del.icio.us swigbot

last updated at 2007-07-21 04:21
Geneology of FOL, DL, and LP
posted by chimezie at 2007-07-21 04:21 (+) tags: swig logic academic logic-programming
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
 
Created by the Daily Chump bot. Hosted by PlanetRDF.