Semantic Web Interest Group IRC Scratchpad

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.

Nearby: IRC logs | semantic-web list | W3C Wiki (Recent changes) | delicious swigbot

last updated at 2007-02-13 22:55
chimezie: A fully formalized, well documented, and rigorous description of the intersection of Horn Logic Programs, DL, and Logic Programs (minus negation, equality predicates, 2+ arity relations, non-safe rules, and function symbols)
Created by the Daily Chump bot. Hosted by PlanetRDF.