From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Mon, 16 Sep 2013 07:17:27 +0000 Subject: Remove contribs and examples Everything has now been moved to a separate repository at https://github.com/GrammaticalFramework/gf-contrib The contents of the examples folder are build during SetupWeb --- examples/RDF/RDF.gf | 77 ----------------------------------------------------- 1 file changed, 77 deletions(-) delete mode 100644 examples/RDF/RDF.gf (limited to 'examples/RDF') diff --git a/examples/RDF/RDF.gf b/examples/RDF/RDF.gf deleted file mode 100644 index 588d3f596..000000000 --- a/examples/RDF/RDF.gf +++ /dev/null @@ -1,77 +0,0 @@ -------------------------------------------------------------------------- --- --- Abstract Syntax for RDF according to the RDF and RDFS specifications --- --- (c) Krasimir Angelov --- -------------------------------------------------------------------------- - -abstract RDF = { - -cat Value (class : Class) ; - -cat Resource (class : Class) ; -fun res : (c : Class) -> Resource c -> Value c ; - -cat [Resource (class : Class)] ; - -cat URI ; -fun uri : (c : Class) -> URI -> Resource c ; - -cat BNode ; -fun bnode : (c : Class) -> BNode -> Resource c ; - nodeId : String -> BNode ; - -cat DataType ; -fun datatype : DataType -> URI ; - -cat Literal ; -fun lit : Literal -> Value literal_C ; - int : Int -> Literal ; - float : Float -> Literal ; - string : String -> DataType -> Literal ; - -cat Property (domain, range : Class) ; -fun property : (d, r : Class) -> Property d r -> URI ; - -cat Container (class : Class) ; -fun container : (c : Class) -> Container c -> Resource c ; - bag : Resource bag_C -> [Resource resource_C] -> Container bag_C ; - seq : Resource seq_C -> [Resource resource_C] -> Container seq_C ; - alt : Resource alt_C -> [Resource resource_C] -> Container alt_C ; - -cat Statement ; -fun statement : Statement -> Resource statement_C ; - assert : (d,r : Class) -> Resource d -> Property d r -> Value r -> Statement ; - r_assert : (d,r : Class) -> Resource statement_C -> Resource d -> Property d r -> Value r -> Statement ; - -cat Attribute (class : Class) (subject : Resource class) ; -fun assign : (d,r : Class) -> (s : Resource d) -> Property d r -> Value r -> Attribute d s ; - r_assign : (d,r : Class) -> Resource statement_C -> (s : Resource d) -> Property d r -> Value r -> Attribute d s ; - -cat [Attribute (class : Class) (subject : Resource class)] ; - -cat Description ; -fun description : Description -> Resource bag_C ; - describe : (c : Class) -> (s : Resource c) -> [Attribute c s] -> Description ; - r_describe : Resource bag_C -> (c : Class) -> (s : Resource c) -> [Attribute c s] -> Description ; - -cat Class ; -fun class : Class -> Resource class_C ; - -fun resource_C : Class ; - class_C : Class ; - property_C : Class ; - constraintResource_C : Class ; - constraintProperty_C : Class ; - literal_C : Class ; - statement_C : Class ; - bag_C : Class ; - seq_C : Class ; - alt_C : Class ; - -cat Inheritance (c1,c2 : Class) ; -fun inheritance : (c1,c2 : Class) -> Inheritance c1 c2 -> Statement ; - upcast : (c1,c2 : Class) -> Inheritance c1 c2 -> Resource c1 -> Resource c2 ; - -} \ No newline at end of file -- cgit v1.2.3