Omni-directional Hyper Logic Programs in SILK and RIF.
Benjamin N. Grosof, Carl Andersen, Mike Dean, Michael Kifer · 2010
Abstract. SILK is an expressive Semantic Web rule language and system equipped with scalable reactive higher-order defaults. We present two of its latest novel features. Omni rules are prioritized defeasible clauses that provide a higher-level expressive abstraction for users by making rules omni-directional. They handle multi-way conflicts. And they are soundly interoperable with FOL and W3C OWL as well as with RIF-BLD, SPARQL, and RDF. RIF-SILK is a new RIF dialect that extends RIF-BLD via RIF-FLD. 1 Introduction to SILK SILK 4 (Semantic Inferencing for Large Knowledge) is an expressive Semantic Web rule language and system equipped with scalable reactive higher-order defaults. The system includes capabilities for reasoning, knowledge interchange,