ATAG Demo

Status of this document: this is early access to a work in progress, released in current form for feedback/comments from the RDF Interest Group. See changes log below for recent changes and the disclaimer below for more warnings, apologies etc if the demo fails in your browsing environment.

Authors: This document, examples and rdfquery.js glue code: Dan Brickley, Charles McCN; based on Javascript prolog engine by Jan Grant.

Examples

This query lists all pairs of nodes connected by an 'rdf:type' arc

Query Results (textual log)

(See also HTML table view of results in separate window)

RDF Database

The data shown below is in the form {predicate} ( {subject}, {object} ). One RDF statement per line.

#TODO: Fix the markup all the way through;
#      Make it possible to add some rules
#      Sort out relative prioruty checkpoints
#
# Amaya is a tools:AuthTool
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/Amaya/2.2},{http://www.w3.org/1999/11/tools/AuthTool}).

# Amaya meets two CheckPoints; two others are InApplicable to Amaya
{http://www.w3.org/1999/11/conforms/meets}({http://www.w3.org/Amaya/2.2},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-use-accessible-templates}).
{http://www.w3.org/1999/11/conforms/meets}({http://www.w3.org/Amaya/2.2},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-prefer-w3c}).
{http://www.w3.org/1999/11/conforms/notApplicable} ({http://www.w3.org/Amaya/2.2},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-leave-access-content}).
{http://www.w3.org/1999/11/conforms/notApplicable} ({http://www.w3.org/Amaya/2.2},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-ensure-published-DTD}).

# yourtool is a tools:AuthTool
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/yourtool/1.0},{http://www.w3.org/1999/11/tools/AuthTool}).

# yourtool meets two CheckPoints; two others are InApplicable to yourtool
{http://www.w3.org/1999/11/conforms/meets}({http://www.w3.org/yourtool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-use-accessible-templates}).
{http://www.w3.org/1999/11/conforms/meets}({http://www.w3.org/yourtool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-prefer-w3c}).
{http://www.w3.org/1999/11/conforms/notApplicable} ({http://www.w3.org/yourtool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-leave-access-content}).
{http://www.w3.org/1999/11/conforms/fails} ({http://www.w3.org/yourtool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-ensure-published-DTD}).

# mytool is a tools:AuthTool
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/mytool/1.0},{http://www.w3.org/1999/11/tools/AuthTool}).

# mytool meets two CheckPoints; two others are InApplicable to mytool
{http://www.w3.org/1999/11/conforms/meets}({http://www.w3.org/mytool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-use-accessible-templates}).
{http://www.w3.org/1999/11/conforms/meets}({http://www.w3.org/mytool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-prefer-w3c}).
{http://www.w3.org/1999/11/conforms/notApplicable} ({http://www.w3.org/mytool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-leave-access-content}).
{http://www.w3.org/1999/11/conforms/notApplicable} ({http://www.w3.org/mytool/1.0},{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-ensure-published-DTD}).

# We enumerate resources that are CheckPoints for different priorities
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-leave-access-content}, {http://www.w3.org/1999/11/atag/CheckPoint1}).
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-use-accessible-templates}, {http://www.w3.org/1999/11/atag/CheckPointR}).
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-ensure-published-DTD}, {http://www.w3.org/1999/11/atag/CheckPoint1}).
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} ({http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-prefer-w3c}, {http://www.w3.org/1999/11/atag/CheckPoint2}).

#### 	RDF Rules  ####
# Syntax note: 	read :- as "IF" or "ImpliedBy".
# 		Inital Caps are variables

# Define 'okFor' as true when a tool either conforms to a CheckPoint 
# or the point is notApplicable to that Tool
#
{http://www.w3.org/1999/11/conforms/okFor}(X,Y):-{http://www.w3.org/1999/11/conforms/notApplicable} (X,Y).
{http://www.w3.org/1999/11/conforms/okFor}(X,Y):-{http://www.w3.org/1999/11/conforms/meets} (X,Y).

# Define members of the set of AATools to be those that are OK for each of these
# This approach simply enumerates the things a tool must be 'okFor'. It also has to be an Atool (becuase this makes life easier and is nicer and more elegant. But I'll do that in a minute, batteries willng...
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type}(X,{http://www.w3.org/1999/11/atag/AATool}):-{http://www.w3.org/1999/11/conforms/okFor}(X,{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-prefer-w3c}).

# We define level-A tools
{http://www.w3.org/1999/02/22-rdf-syntax-ns#type}(X,{http://www.w3.org/1999/11/atag/ATool}):-{http://www.w3.org/1999/11/conforms/okFor}(X,{http://www.w3.org/TR/2000/REC-ATAG10-20000203/#check-ensure-published-DTD}).

# Note: this seems clumsy; we'd rather say that AATools are all things
# that are tools that are OK for each of the CheckPoints.
# 
#  - can we do this with the current system? (need negation?)
#    danbri@w3.org

# scratchpad notes...
#
# Define members of the set of AATools to be all those that are 'okFor'
# some resource Y, for each Y that is of rdf:type atag:CheckPoint
#{http://www.w3.org/1999/02/22-rdf-syntax-ns#type} (X,{http://www.w3.org/1999/11/atag/AATool}):-{http://www.w3.org/1999/11/conforms/okFor}(X,Y),{http://www.w3.org/1999/02/22-rdf-syntax-ns#type}(Y,{http://www.w3.org/1999/11/atag/CheckPoint}).
# (commented out as the engine shows multiple 'type->AATool' arcs)
# instead, see example query above.

$Id: atagdemo.html,v 1.1 2000/02/10 15:19:22 charles Exp $