Omni-directional Hyper Logic Programs in SILK and RIF

RuleML-2010 Challenge.

计算机科学;

Benjamin Grosof ; Carl Andersen ; Mike Dean ; Michael Kifer

Others  :  http://ceur-ws.org/Vol-649/paper4.pdf
PID  :  42469

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

SILK is an expressive Semantic Web rule language and system equipped with scalable reactivehigher-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 withRIF-BLD, SPARQL, and RDF. RIF-SILK is a new RIF dialect that extends RIF-BLD via RIF-FLD.