| #------------------------------------------------------------------ |
| # RDFS rule set v0.1. |
| # This variant is used in the case where the subclass and subproperty |
| # lattices have been precomputed by a transitive graph closure cache. |
| # $Id: rdfs-fb-tgc.rules,v 1.10 2006-11-16 14:23:31 der Exp $ |
| #------------------------------------------------------------------ |
| |
| #------------------------------------------------------------------ |
| # Tabling directives |
| #------------------------------------------------------------------ |
| |
| -> tableAll(). |
| |
| #------------------------------------------------------------------ |
| # RDFS Axioms |
| #------------------------------------------------------------------ |
| |
| -> (rdf:type rdfs:range rdfs:Class). |
| -> (rdfs:Resource rdf:type rdfs:Class). |
| -> (rdfs:Literal rdf:type rdfs:Class). |
| -> (rdf:Statement rdf:type rdfs:Class). |
| -> (rdf:nil rdf:type rdf:List). |
| -> (rdf:subject rdf:type rdf:Property). |
| -> (rdf:object rdf:type rdf:Property). |
| -> (rdf:predicate rdf:type rdf:Property). |
| -> (rdf:first rdf:type rdf:Property). |
| -> (rdf:rest rdf:type rdf:Property). |
| -> (rdf:value rdf:type rdf:Property). |
| -> (rdfs:member rdf:type rdf:Property). |
| |
| -> (rdfs:subPropertyOf rdfs:domain rdf:Property). |
| -> (rdfs:subClassOf rdfs:domain rdfs:Class). |
| -> (rdfs:domain rdfs:domain rdf:Property). |
| -> (rdfs:range rdfs:domain rdf:Property). |
| -> (rdf:type rdfs:domain rdfs:Resource). |
| -> (rdfs:comment rdfs:domain rdfs:Resource). |
| -> (rdfs:label rdfs:domain rdfs:Resource). |
| -> (rdf:subject rdfs:domain rdf:Statement). |
| -> (rdf:predicate rdfs:domain rdf:Statement). |
| -> (rdf:object rdfs:domain rdf:Statement). |
| -> (rdf:first rdfs:domain rdf:List). |
| -> (rdf:rest rdfs:domain rdf:List). |
| |
| -> (rdfs:subPropertyOf rdfs:range rdf:Property). |
| -> (rdfs:subClassOf rdfs:range rdfs:Class). |
| -> (rdfs:domain rdfs:range rdfs:Class). |
| -> (rdfs:range rdfs:range rdfs:Class). |
| -> (rdf:type rdfs:range rdfs:Class). |
| -> (rdfs:comment rdfs:range rdfs:Literal). |
| -> (rdfs:label rdfs:range rdfs:Literal). |
| -> (rdf:subject rdfs:range rdfs:Resource). |
| -> (rdf:predicate rdfs:range rdf:Property). |
| -> (rdf:object rdfs:range rdfs:Resource). |
| -> (rdf:first rdfs:range rdfs:Resource). |
| -> (rdf:rest rdfs:range rdf:List). |
| |
| -> (rdf:Alt rdfs:subClassOf rdfs:Container). |
| -> (rdf:Bag rdfs:subClassOf rdfs:Container). |
| -> (rdf:Seq rdfs:subClassOf rdfs:Container). |
| -> (rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property). |
| |
| -> (rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso). |
| |
| -> (rdf:XMLLiteral rdf:type rdfs:Datatype). |
| -> (rdfs:Datatype rdfs:subClassOf rdfs:Class). |
| |
| #------------------------------------------------------------------ |
| # RDFS Closure rules |
| #------------------------------------------------------------------ |
| |
| # This one could be omitted since the results are not really very interesting! |
| [rdf1and4: (?x ?p ?y) -> (?p rdf:type rdf:Property), (?x rdf:type rdfs:Resource), (?y rdf:type rdfs:Resource)] |
| |
| [rdfs7b: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf rdfs:Resource)] |
| |
| [rdfs2: (?p rdfs:domain ?c) -> [(?x rdf:type ?c) <- (?x ?p ?y)] ] |
| [rdfs3: (?p rdfs:range ?c) -> [(?y rdf:type ?c) <- (?x ?p ?y)] ] |
| [rdfs5b: (?a rdf:type rdf:Property) -> (?a rdfs:subPropertyOf ?a)] |
| [rdfs6: (?p rdfs:subPropertyOf ?q), notEqual(?p,?q) -> [ (?a ?q ?b) <- (?a ?p ?b)] ] |
| [rdfs7: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf ?a)] |
| [rdfs10: (?x rdf:type rdfs:ContainerMembershipProperty) -> (?x rdfs:subPropertyOf rdfs:member)] |
| |
| [rdfs2-partial: (?p rdfs:domain ?c) -> (?c rdf:type rdfs:Class)] |
| [rdfs3-partial: (?p rdfs:range ?c) -> (?c rdf:type rdfs:Class)] |
| |
| # Either version should work, pure back one scales better. |
| # rdfs9: (?x rdfs:subClassOf ?y) -> [ (?a rdf:type ?y) <- (?a rdf:type ?x)] ] |
| [rdfs9-alt: (?a rdf:type ?y) <- (?x rdfs:subClassOf ?y), (?a rdf:type ?x) ] |
| |
| # Not needed - replaced by TGC front end |
| #[rdfs8: (?a rdfs:subClassOf ?b), (?b rdfs:subClassOf ?c) -> (?a rdfs:subClassOf ?c)] |
| #[rdfs5a: (?a rdfs:subPropertyOf ?b), (?b rdfs:subPropertyOf ?c) -> (?a rdfs:subPropertyOf ?c)] |
| |
| #------------------------------------------------------------------ |
| # Declaration of main XSD datatypes |
| #------------------------------------------------------------------ |
| |
| -> (xsd:float rdf:type rdfs:Datatype). |
| -> (xsd:double rdf:type rdfs:Datatype). |
| -> (xsd:int rdf:type rdfs:Datatype). |
| -> (xsd:long rdf:type rdfs:Datatype). |
| -> (xsd:short rdf:type rdfs:Datatype). |
| -> (xsd:byte rdf:type rdfs:Datatype). |
| -> (xsd:unsignedByte rdf:type rdfs:Datatype). |
| -> (xsd:unsignedShort rdf:type rdfs:Datatype). |
| -> (xsd:unsignedInt rdf:type rdfs:Datatype). |
| -> (xsd:unsignedLong rdf:type rdfs:Datatype). |
| -> (xsd:decimal rdf:type rdfs:Datatype). |
| -> (xsd:integer rdf:type rdfs:Datatype). |
| -> (xsd:nonPositiveInteger rdf:type rdfs:Datatype). |
| -> (xsd:nonNegativeInteger rdf:type rdfs:Datatype). |
| -> (xsd:positiveInteger rdf:type rdfs:Datatype). |
| -> (xsd:negativeInteger rdf:type rdfs:Datatype). |
| -> (xsd:boolean rdf:type rdfs:Datatype). |
| -> (xsd:string rdf:type rdfs:Datatype). |
| -> (xsd:anyURI rdf:type rdfs:Datatype). |
| -> (xsd:hexBinary rdf:type rdfs:Datatype). |
| -> (xsd:base64Binary rdf:type rdfs:Datatype). |
| -> (xsd:date rdf:type rdfs:Datatype). |
| -> (xsd:time rdf:type rdfs:Datatype). |
| -> (xsd:dateTime rdf:type rdfs:Datatype). |
| -> (xsd:duration rdf:type rdfs:Datatype). |
| -> (xsd:gDay rdf:type rdfs:Datatype). |
| -> (xsd:gMonth rdf:type rdfs:Datatype). |
| -> (xsd:gYear rdf:type rdfs:Datatype). |
| -> (xsd:gYearMonth rdf:type rdfs:Datatype). |
| -> (xsd:gMonthDay rdf:type rdfs:Datatype). |
| |
| #-> (xsd:integer rdfs:subClassOf xsd:decimal). |
| |
| -> hide(rb:xsdBase). |
| -> hide(rb:xsdRange). |
| -> hide(rb:prototype). |
| |
| -> (xsd:byte rb:xsdBase xsd:decimal). |
| -> (xsd:short rb:xsdBase xsd:decimal). |
| -> (xsd:int rb:xsdBase xsd:decimal). |
| -> (xsd:long rb:xsdBase xsd:decimal). |
| -> (xsd:unsignedByte rb:xsdBase xsd:decimal). |
| -> (xsd:unsignedShort rb:xsdBase xsd:decimal). |
| -> (xsd:unsignedInt rb:xsdBase xsd:decimal). |
| -> (xsd:unsignedLong rb:xsdBase xsd:decimal). |
| -> (xsd:integer rb:xsdBase xsd:decimal). |
| -> (xsd:nonNegativeInteger rb:xsdBase xsd:decimal). |
| -> (xsd:nonPositiveInteger rb:xsdBase xsd:decimal). |
| -> (xsd:byte rb:xsdBase xsd:decimal). |
| -> (xsd:float rb:xsdBase xsd:float). |
| -> (xsd:decimal rb:xsdBase xsd:decimal). |
| -> (xsd:string rb:xsdBase xsd:string). |
| -> (xsd:boolean rb:xsdBase xsd:boolean). |
| -> (xsd:date rb:xsdBase xsd:date). |
| -> (xsd:time rb:xsdBase xsd:time). |
| -> (xsd:dateTime rb:xsdBase xsd:dateTime). |
| -> (xsd:duration rb:xsdBase xsd:duration). |
| |
| # Describe range (base type, signed, min bits) |
| -> (xsd:byte rb:xsdRange xsd(xsd:integer,1,8)). |
| -> (xsd:short rb:xsdRange xsd(xsd:integer,1,16)). |
| -> (xsd:int rb:xsdRange xsd(xsd:integer,1,32)). |
| -> (xsd:long rb:xsdRange xsd(xsd:integer,1,64)). |
| -> (xsd:integer rb:xsdRange xsd(xsd:integer,1,65)). |
| |
| -> (xsd:unsignedByte rb:xsdRange xsd(xsd:integer,0,8)). |
| -> (xsd:unsignedShort rb:xsdRange xsd(xsd:integer,0,16)). |
| -> (xsd:unsignedInt rb:xsdRange xsd(xsd:integer,0,32)). |
| -> (xsd:unsignedLong rb:xsdRange xsd(xsd:integer,0,64)). |
| -> (xsd:nonNegativeInteger rb:xsdRange xsd(xsd:integer,0,65)). |
| |
| # Some XSD support may be disabled temporarily during performance checking |
| |
| #[xsd1: (?X rdfs:subClassOf ?Y) <- |
| # (?X rb:xsdRange xsd(?B, 0, ?L)) (?Y rb:xsdRange xsd(?B, ?S, ?L2)) le(?L, ?L2)] |
| |
| #[xsd2: (?X rdfs:subClassOf ?Y) <- |
| # (?X rb:xsdRange xsd(?B, 1, ?L)) (?Y rb:xsdRange xsd(?B, 1, ?L2)) le(?L, ?L2)] |
| |
| #[range1: (?P rdfs:range ?C) <- |
| # (?P rdfs:range ?D), (?D rb:xsdRange xsd(?B, ?S1, ?L1)), |
| # (?P rdfs:range ?E), notEqual(?D, ?E), |
| # (?E rb:xsdRange xsd(?B, ?S2, ?L2)), |
| # min(?S1, ?S2, ?S3), |
| # min(?L1, ?L2, ?L3), |
| # (?C rb:xsdRange xsd(?B, ?S3, ?L3)), |
| # ] |
| |
| #------------------------------------------------------------------ |
| # Validation rules. These are dormant by default but are triggered |
| # by the additional of a validation control triple to the graph. |
| #------------------------------------------------------------------ |
| |
| [validationDisjoint: (?v rb:validation on()) -> |
| [validationIndiv: (?X rb:violation error('disjoint', 'Subclass relationship asserted between disjoint datatypes', ?Y)) |
| <- (?C rdfs:subClassOf ?D) notEqual(?C, ?D), |
| (?C rb:xsdBase ?BC), (?D rb:xsdBase ?BD), notEqual(?BC, ?BD) ] ] |
| |
| # Hardwired anyway |
| #[validationDTRange: (?v rb:validation on()), (?P rdfs:range ?R) (?R rdf:type rdfs:Datatype) |
| # [validationDTRange: (?X rb:violation error('range check', 'Incorrectly typed literal due to range (prop, value)', ?P, ?V)) |
| # <- (?X ?P ?V), notDType(?V, ?R) ] ] |
| |
| [validationDTRange: (?v rb:validation on()), (?P rdfs:range rdfs:Literal) -> |
| [validationDTRange: (?X rb:violation error('range check', 'Incorrectly typed literal due to range rdsf:Literal (prop, value)', ?P, ?V)) |
| <- (?X ?P ?V), notLiteral(?V), notBNode(?V) ] ] |
| |
