Rulz - the Rules in the Web Zoo | DERI Vocabularies

Rulz - the Rules in the Web Zoo

Authors:

Michael Hausenblas (LiDRC) (Email)

Last update:

24 June 2010

Namespace URI:

http://purl.org/NET/rulz#

Abstract

A vocabulary to describe rules (RIF, N3, Prolog, etc.) in the Web, which enables to effectively and efficiently discover rules in any format, based on topics, language, goals, etc.

All terms at a glance

Classes: Language | Rule | Ruleset

Properties: endorsedBy | inBody | inHead | inRuleset | inferenceContext | language | subset

Overview diagram

rulz (Rules in the Web Zoo) is a vocabulary to describe rules (RIF, N3, Prolog, etc.) in the Web. It enables to effectively and efficiently discover rules in any format, based on topics, language, goals, etc. For some rulz-annotated rules see the rulz examples via the LiDRC lab server or a simple distributed query (result, source) via DERI Pipes.

Classes

Class: rulz:Language

rule language – a certain rule language (such as Prolog or RIF-BLD). Note: this is not the same as the serialization used (use dc:format for this), for example RIF-BLD can be serialised in XML or in the presentation syntax.

URI:: http://purl.org/NET/rulz#Language
Used with:: rulz:language

Class: rulz:Rule

rule – A single rule, typically consisting of a head and a body

URI:: http://purl.org/NET/rulz#Rule
Properties include:: rulz:inRuleset, rulz:inHead, rulz:inBody

Class: rulz:Ruleset

ruleset – A collection of rules

URI:: http://purl.org/NET/rulz#Ruleset
Properties include:: rulz:subset, rulz:language, rulz:endorsedBy, rulz:inferenceContext
Used with:: rulz:inRuleset, rulz:subset

Properties

Property: rulz:endorsedBy

endorsed by – documents the endorsement of a certain ruleset by a certain agent (person or organisation)

URI:: http://purl.org/NET/rulz#endorsedBy
Domain:: rulz:Ruleset
Range:: foaf:Agent

Property: rulz:inBody

uses term in body – a certain term used in the body of the rule

URI:: http://purl.org/NET/rulz#inBody
Domain:: rulz:Rule
Range:: rdfs:Resource

Property: rulz:inHead

uses term in head – a certain term used in the head of the rule

URI:: http://purl.org/NET/rulz#inHead
Domain:: rulz:Rule
Range:: rdfs:Resource

Property: rulz:inRuleset

in ruleset – a rule is typically part of a ruleset

URI:: http://purl.org/NET/rulz#inRuleset
Domain:: rulz:Rule
Range:: rulz:Ruleset

Property: rulz:inferenceContext

inference context – the object of this property determines the location of the triples inferred by applying the ruleset to some dataset

URI:: http://purl.org/NET/rulz#inferenceContext
Domain:: rulz:Ruleset
Range:: rdfs:Resource

Property: rulz:language

uses logic language – the logic language used in the ruleset (for example RIF-BLD, N3, or Prolog)

URI:: http://purl.org/NET/rulz#language
Domain:: rulz:Ruleset
Range:: rulz:Language

Property: rulz:subset

has subset – rulesets can be logically partitioned using subsets

URI:: http://purl.org/NET/rulz#subset
Domain:: rulz:Ruleset
Range:: rulz:Ruleset