Return to Validation.java CVS log

Up to [Public] / java / classes / org / w3c / rdf

Annotation of java/classes/org/w3c/rdf/Validation.java, revision 1.1

1.1     ! jsaarela    1: package org.w3c.rdf;
        !             2: 
        !             3: public class Validation
        !             4: {
        !             5:     public final static String RULES =
        !             6: "FORALL Message,Resource,Predicate,Correct <-" +
        !             7: "  problem(Message,Resource,Predicate,Correct)." +
        !             8: "" +
        !             9: "FORALL Predicate,Correct,Resource" +
        !            10: "  problem(\"Domain constraint violation\", Resource, Predicate, Correct) <-" +
        !            11: "  domainSet(Resource,Predicate,Correct)," +
        !            12: "  not domainOK(Predicate)." +
        !            13: "" +
        !            14: "FORALL Predicate,Correct,Resource" +
        !            15: "  problem(\"Range constraint violation\", Resource, Predicate, Correct) <-" +
        !            16: "  rangeSet(Resource,Predicate,Correct)," +
        !            17: "  not rangeOK(Predicate)." +
        !            18: "" +
        !            19: "FORALL Predicate" +
        !            20: "  domainOK(Predicate) <-" +
        !            21: "    EXISTS Resource,Domain,Class,Value" +
        !            22: "    Predicate[\"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#domain\" ->> Domain]," +
        !            23: "    Resource[\"http://www.w3.org/1999/02/22-rdf-syntax-ns#type\" ->> Class;" +
        !            24: "             Predicate->>Value]," +
        !            25: "    Class :: Domain." +
        !            26: "" +
        !            27: "FORALL Resource,Predicate,Class" +
        !            28: "  domainSet(Resource,Predicate,Class) <- " +
        !            29: "    EXISTS Value" +
        !            30: "    Resource[Predicate->>Value]," +
        !            31: "    Predicate[\"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#domain\" ->> Class]." +
        !            32: "" +
        !            33: "FORALL Predicate" +
        !            34: "  rangeOK(Predicate) <-" +
        !            35: "    EXISTS Resource,Range,Class,Value" +
        !            36: "    Predicate[\"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#range\" ->> Range]," +
        !            37: "    Resource[Predicate->>Value]," +
        !            38: "    Value[\"http://www.w3.org/1999/02/22-rdf-syntax-ns#type\" ->> Class]," +
        !            39: "    Class :: Range." +
        !            40: "" +
        !            41: "FORALL Resource,Predicate,Class" +
        !            42: "  rangeSet(Resource,Predicate,Class) <- " +
        !            43: "    EXISTS Value" +
        !            44: "    Resource[Predicate->>Value]," +
        !            45: "    Predicate[\"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#range\" ->> Class]." +
        !            46: "" +
        !            47: "FORALL Object" +
        !            48: "  problem (\"User-defined constraint not validated\", Object, \"-\", \"-\") <-" +
        !            49: "      Object[\"http://www.w3.org/1999/02/22-rdf-syntax-ns#type\" ->>" +
        !            50: "             \"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#ConstraintProperty\"]." +
        !            51: "" +
        !            52: "FORALL Object" +
        !            53: "  problem (\"User-defined constraint not validated\", Object, \"-\", \"-\") <-" +
        !            54: "      Object[\"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#subClassOf\" ->>" +
        !            55: "             \"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#ConstraintProperty\"]." +
        !            56: "" +
        !            57: "FORALL X,Y " +
        !            58: "   X :: Y <- X[\"http://www.w3.org/TR/1999/PR-rdf-schema-19990303#subClassOf\" ->> Y]" +
        !            59: "   OR unify (X,Y)." +
        !            60: "" +
        !            61: "FORALL X,Y" +
        !            62: "  X : Y <-         " +
        !            63: "     X[\"http://www.w3.org/1999/02/22-rdf-syntax-ns#type\" ->> Y]" +
        !            64: "  OR unify (X,Y).";
        !            65: }
        !            66: