swish-0.9.1.10: A semantic web toolkit.

Copyright (c) 2003 Graham Klyne 2009 Vasili I Galchin2011 2012 2014 Douglas Burke GPL V2 Douglas Burke experimental CPP, OverloadedStrings None Haskell98

Swish.RDF.ClassRestrictionRule

Description

This module implements an inference rule based on a restruction on class membership of one or more values.

Synopsis

Documentation

Datatype for named class restriction

Constructors

 ClassRestriction Fields

Instances

 Source # Equality of class restrictions is based on the name of the restriction. Methods Source # MethodsshowList :: [ClassRestriction] -> ShowS #

type ClassRestrictionFn = [Maybe RDFLabel] -> Maybe [[RDFLabel]] Source #

Type of function that evaluates missing node values in a restriction from those supplied.

Make a class restriction from a datatype relation.

This lifts application of the datatype relation to operate on RDFLabel values, which are presumed to contain appropriately datatyped values.

Make a class restriction function from a datatype relation function.

Make a list of class restriction rules given a list of class restriction values and a graph containing one or more class restriction definitions.

Make restriction rules from the supplied datatype and graph.

The graph

_:a <http://id.ninebynine.org/2003/rdfext/rdfd#false> _:b .

Exported for testing.

Exported for testing.