The SILK System: Scalable and Expressive Semantic Rules

Presented at: 8th International Semantic Web Conference (ISWC2009)

by Benjamin Grosof, Mike Dean, Michael Kifer

Webpage: http://kcap09.stanford.edu/share/posterDemos/175/index.html
Webpage: http://kcap09.stanford.edu/share/posterDemos/175/paper175.pdf
Webpage: https://github.com/lidingpku/iswc-archive/raw/master/paper/iswc-2009-poster/175/paper175.pdf

SILK is a new knowledge representation (KR) language and system that integrates and extends recent theoretical and implementation advances in semantic rules and ontologies. It addresses fundamental requirements for scaling the Se- mantic Web to large knowledge bases in science and busi- ness that answer questions, proactively supply info, and rea- son powerfully. SILK radically extends the KR power of W3C OWL RL, SPARQL, and RIF-BLD, as well as of SQL and production rules. It includes defaults (cf. Courteous LP), higher-order features (cf. HiLog), frame syntax (cf. F-Logic), external actions (cf. production rules), and sound interchange with the main existing forms of knowledge/data in the Semantic Web and deep Web. These features cope with knowledge quality and context, provide flexible meta- reasoning, and activate knowledge.

Keywords: Semantic Web


Resource URI on the dog food server: http://data.semanticweb.org/conference/iswc/2009/paper/poster_demo/175


Explore this resource elsewhere: