The SILK Project: Semantic Inferencing on Large Knowledge

This is the project home page for the Semantic Inferencing on Large Knowledge (SILK) knowledge representation system.

SILK is sponsored by Vulcan Inc.

SILK is the newest part of Vulcan Inc.'s Project Halo, which includes also:

• AURA, a system for knowledge base authoring and question-answering in college level science
• SMW+, the Halo extension of Semantic MediaWiki, a system for semantic wikis that extends the software that Wikipedia runs on

SILK presentations:

• Benjamin Grosof, Mike Dean, Michael Kifer, Semantic Rules on the Web (flyer), Tutorial, 8th International Semantic Web Conference (ISWC 2009), Chantilly, Virginia, October 2009.
• Benjamin Grosof, SILK: Higher Level Rules with Defaults and Semantic Scalability (flyer), Invited Talk, Third International Conference on Web Reasoning and Rule Systems (RR 2009), Chantilly, Virginia, October 2009.
• Benjamin Grosof, Hyper Logic Programs in SILK For Business and Science: An Overview (flyer), Commercial Users of Logic Programming (CULP), Pasadena, California, July 2009.
• Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang, Logic Programming with Defaults and Argumentation Theories (flyer), 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, July 2009.
• Benjamin Grosof, SILK: Semantic Rules Take the Next Big Step in Power (abstract, flyer), Semantic Technology Conference (SemTech 2009), San Jose, California, June 2009. The current recommended overview of SILK.
• Benjamin Grosof, Mike Dean, Michael Kifer, Rules on the Web (abstract), Tutorial, 18th International World Wide Web Conference (WWW 2009), Madrid, Spain, April 2009.
• Benjamin Grosof, Hyper Logic Programs in SILK: Redefining the KR Playing Field for Business and VLKB (abstract), Invited Keynote, International RuleML Symposium on Rule Interchange and Applications (RuleML-2008), Orlando, Florida, October 2008.

SILK papers:

• Benjamin Grosof, Mike Dean, Michael Kifer, The SILK System: Scalable Higher-Order Defeasible Rules (slides), International RuleML Symposium on Rule Interchange and Applications (RuleML 2009), Las Vegas, Nevada, November 2009. This was the runner-up in Rules Challenge 2009.
• Benjamin Grosof, Mike Dean, Michael Kifer, The SILK System: Scalable and Expressive Semantic Rules (slides), Poster and Demonstration, 8th International Semantic Web Conference (ISWC 2009), Chantilly, Virginia, October 2009.
• B. Grosof, Opportunities for Semantic Web knowledge representation to help XBRL (slides), Position Paper, Workshop on Improving Access to Financial Data on the Web, Arlington, Virginia, October 2009.
• Hui Wan, Benjamin Grosof, Michael Kifer, Paul Fodor, Senlin Liang, Logic Programming with Defaults and Argumentation Theories (slides for 25 minute talk, flyer), 25th International Conference on Logic Programming (ICLP 2009), Pasadena, California, July 2009.
• Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer, OpenRuleBench: An Analysis of the Performance of Rule Engines (slides), 18th International World Wide Web Conference (WWW 2009), Madrid, Spain, April 2009.

To receive occasional announcements about SILK, subscribe to the very low volume silk-announce@semwebcentral.org email list (archives).