RubyGems - grel - Versions diffs - 0.1.1 → 0.1.2 - Mend

grel 0.1.1 → 0.1.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (4) hide show

data/lib/grel/base.rb CHANGED Viewed

@@ -148,6 +148,35 @@ module GRel
       @last_query_context.run
     end
+    # Add some rules to the database.
+    # The rules are expressed as a hash map where the body of the rule
+    # is the key and the head of the rule is the value.
+    # Variables in the rule are expressed as strings starting with the '?' character.
+    # Classes and properties are expressed as symbols as usual.
+    # If the rules cannot be parsed, an exception will be raised.
+    def rules(rules)
+      rules = QL.to_rules(rules)
+      GRel::Debugger.debug "STORING IN SCHEMA #{@schema_graph}"
+      GRel::Debugger.debug rules
+      GRel::Debugger.debug "IN"
+      GRel::Debugger.debug @db_name
+      @connection.add(@db_name, rules, @schema_graph, "application/rdf+xml")
+      self
+    end
+    # Removes rules from the graph.
+    # It accepts a hash of rules definitions that will be removed.
+    # It returns the current graph object.
+    def retract_rules(rules)
+      rules = QL.to_rules(rules)
+      GRel::Debugger.debug "REMOVING FROM SCHEMA #{@schema_graph}"
+      GRel::Debugger.debug rules
+      GRel::Debugger.debug "IN"
+      GRel::Debugger.debug @db_name
+      @connection.remove(@db_name, rules, @schema_graph, "text/turtle")
+      self
+    end
     # Defines schema meta data that will be used in the processing of queries
     # if reasoning is activated.
     # It accepts a list of definitions as an argument.
@@ -332,6 +361,7 @@ module GRel
       GRel::Debugger.debug "** OFFSET #{@last_query_context.offset}" if @last_query_context.offset
       GRel::Debugger.debug "----------------------"
       args = {:describe => true}
+      #args = {}
       args[:accept] = options[:accept] if options[:accept]
       args[:offset] = @last_query_context.offset if @last_query_context.offset
       args[:limit] = @last_query_context.limit if @last_query_context.limit
@@ -415,10 +445,12 @@ module GRel
         if(p == :@some)
           restriction = BlankId.new
-          unfolded += [s, :@subclass, restriction]
           unfolded += [restriction, :@type, :"<http://www.w3.org/2002/07/owl#Restriction>"]
           unfolded += [restriction, :"<http://www.w3.org/2002/07/owl#onProperty>", o.first]
           unfolded += [restriction, :@some,o.last]
+        elsif(p == :@same_as)
+          p = GRel::QL.to_query(p).to_sym
+          unfolded += [s,p,o]
         elsif(p == :@all)
           restriction = BlankId.new
           unfolded += [s, :@subclass, restriction]

data/lib/grel/ql.rb CHANGED Viewed

@@ -1,6 +1,119 @@
 module GRel
   module QL
+    def self.to_rules(obj,context={})
+      if(obj.is_a?(String) && obj[0..0] == "?")
+        var_name = obj[1..-1]
+        axiom = "<swrl:Variable rdf:about=\"http://www.w3.org/2003/11/swrl##{obj[1..-1]}\"></swrl:Variable>"
+        context[var_name] = axiom
+        "http://www.w3.org/2003/11/swrl##{obj[1..-1]}"
+      elsif(obj.is_a?(Symbol))
+        "##{obj}"
+      elsif(obj.is_a?(Array))
+        if(obj.first.is_a?(Symbol))
+          elem = obj.first
+          if(elem.to_s[0] == "$")
+            pred = case elem
+                   when :$lt
+                     "<swrl:BuiltinAtom><swrl:builtin rdf:resource=\"http://www.w3.org/2003/11/swrlb#lessThan\"/><swrl:arguments ><rdf:List>ARGS</rdf:List></swrl:arguments></swrl:BuiltinAtom>"
+                   when :$gt
+                     "<swrl:BuiltinAtom><swrl:builtin rdf:resource=\"http://www.w3.org/2003/11/swrlb#greaterThan\"/><swrl:arguments ><rdf:List>ARGS</rdf:List></swrl:arguments></swrl:BuiltinAtom>"
+                   when :$lte
+                     "<swrl:BuiltinAtom><swrl:builtin rdf:resource=\"http://www.w3.org/2003/11/swrlb#lessThanOrEqual\"/><swrl:arguments ><rdf:List>ARGS</rdf:List></swrl:arguments></swrl:BuiltinAtom>"
+                   when :$gte
+                     "<swrl:BuiltinAtom><swrl:builtin rdf:resource=\"http://www.w3.org/2003/11/swrlb#greaterThanOrEqual\"/><swrl:arguments ><rdf:List>ARGS</rdf:List></swrl:arguments></swrl:BuiltinAtom>"
+                   when :$eq
+                     "<swrl:BuiltinAtom><swrl:builtin rdf:resource=\"http://www.w3.org/2003/11/swrlb#equal\"/><swrl:arguments ><rdf:List>ARGS</rdf:List></swrl:arguments></swrl:BuiltinAtom>"
+                   when :$neq
+                     "<swrl:BuiltinAtom><swrl:builtin rdf:resource=\"http://www.w3.org/2003/11/swrlb#notEqual\"/><swrl:arguments ><rdf:List>ARGS</rdf:List></swrl:arguments></swrl:BuiltinAtom>"
+                   end
+            args = []
+            if(obj[1].is_a?(String) && obj[1][0] == "?")
+              args << "<rdf:first rdf:resource=\"#{GRel::QL.to_rules(obj[1], context)}\" />"
+            else
+              args << GRel::QL.to_rules(obj[1],context).gsub("swrl:argumentn","rdf:first")
+            end
+            if(obj[2].is_a?(String) && obj[2][0] == "?")
+              args << "<rdf:rest><rdf:List><rdf:first rdf:resource=\"#{GRel::QL.to_rules(obj[2],context)}\"/><rdf:rest rdf:resource=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#nil\"/></rdf:List></rdf:rest>"
+            else
+              args << "<rdf:rest><rdf:List>#{GRel::QL.to_rules(obj[2],context).gsub("swrl:argumentn","rdf:first")}<rdf:rest rdf:resource=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#nil\"/></rdf:List></rdf:rest>"
+            end
+            pred.gsub(">ARGS<",">#{args.join}<")
+          elsif(elem.to_s.capitalize == elem.to_s)  # is a class atom
+            pred = "<swrl:classAtom><swrl:classPredicate rdf:resource=\"#{GRel::QL.to_rules(elem,context)}\" />"
+            pred += "<swrl:argument1 rdf:resource=\"#{GRel::QL.to_rules(obj[1],context)}\" />"
+            pred + "</swrl:classAtom>"
+          elsif(elem.to_s.capitalize != elem.to_s) # is a property axiom
+            is_data = obj[1..-1].detect{|e| !e.is_a?(String) || ( e.is_a?(String) && e[0] != "?" && e.index("@id") != 0 ) }
+            if(is_data) # data property
+              pred = "<swrl:DatavaluedPropertyAtom>"
+              pred += "<swrl:propertyPredicate rdf:resource=\"http://grel.org/vocabulary#{GRel::QL.to_rules(elem,context)}\"/>"
+              if(obj[1].is_a?(String) && (obj[1][0] == "?" || obj[1].index("@id")==0))
+                pred += "<swrl:argument1 rdf:resource=\"#{GRel::QL.to_rules(obj[1], context)}\" />"
+              else
+                pred +=  GRel::QL.to_rules(obj[1], context).gsub("argumentn","argument1")
+              end
+              if(obj[2].is_a?(String) && (obj[2][0] == "?" || obj[2].index("@id")==0))
+                pred += "<swrl:argument1 rdf:resource=\"#{GRel::QL.to_rules(obj[2], context)}\" />"
+              else
+                pred +=  GRel::QL.to_rules(obj[2], context).gsub("argumentn","argument2")
+              end
+              pred + "</swrl:DatavaluedPropertyAtom>"
+            else # individual property
+              pred = "<swrl:IndividualPropertyAtom>"
+              pred += "<swrl:propertyPredicate rdf:resource=\"http://grel.org/vocabulary#{GRel::QL.to_rules(elem,context)}\"/>"
+              pred += "<swrl:argument1 rdf:resource=\"#{GRel::QL.to_rules(obj[1],context)}\" />"
+              pred += "<swrl:argument2 rdf:resource=\"#{GRel::QL.to_rules(obj[2],context)}\" />"
+              pred + "</swrl:IndividualPropertyAtom>"
+              is_object = obj[1..-1].detect{|e| !e.is_a?(String) && ( e.is_a?(String) && e.index("@id") != 0 ) }
+              unless(is_object)
+                pred = "<swrl:DatavaluedPropertyAtom>"
+                pred += "<swrl:propertyPredicate rdf:resource=\"http://grel.org/vocabulary#{GRel::QL.to_rules(elem,context)}\"/>"
+                pred += "<swrl:argument1 rdf:resource=\"#{GRel::QL.to_rules(obj[1],context)}\" />"
+                pred += "<swrl:argument2 rdf:resource=\"#{GRel::QL.to_rules(obj[2],context)}\" />"
+                pred + "</swrl:DatavaluedPropertyAtom>"
+              end
+            end
+          else
+            raise Exception.new("Unkown rule axiom #{obj.inspect}")
+          end
+        elsif(obj.first.is_a?(Array))
+          obj.map{|ax| GRel::QL.to_rules(ax,context)}.join("")
+        else
+          raise Exception.new("Unkown rule axiom #{obj.inspect}")
+        end
+      elsif(obj.is_a?(String) && obj.index("@id")==0) # is a IRI
+        GRel::QL::to_id(obj).gsub("<","").gsub(">","")
+      elsif(obj.is_a?(String)) # is a IRI
+        "<swrl:argumentn rdf:datatype=\"http://www.w3.org/2001/XMLSchema#string\">#{obj}</swrl:argumentn>"
+      elsif(obj == true || obj == false)
+        "<swrl:argumentn rdf:datatype=\"http://www.w3.org/2001/XMLSchema#boolean\">#{obj}</swrl:argumentn>"
+      elsif(obj.is_a?(Float))
+        "<swrl:argumentn rdf:datatype=\"http://www.w3.org/2001/XMLSchema#float\">#{obj}</swrl:argumentn>"
+      elsif(obj.is_a?(Numeric))
+        "<swrl:argumentn rdf:datatype=\"http://www.w3.org/2001/XMLSchema#integer\">#{obj}</swrl:argumentn>"
+      elsif(obj.is_a?(Time))
+        "<swrl:argumentn rdf:datatype=\"http://www.w3.org/2001/XMLSchema#dateTime\">#{obj.iso8601}</swrl:argumentn>"
+      elsif(obj.is_a?(Date))
+        "<swrl:argumentn rdf:datatype=\"http://www.w3.org/2001/XMLSchema#dateTime\">#{Time.new(obj.to_s).iso8601}</swrl:argumentn>"
+      # Building the document here
+      elsif(obj.is_a?(Hash))
+        rules = obj.map do |(body,head)|
+          "<swrl:Imp><swrl:body rdf:parseType=\"Collection\">#{GRel::QL.to_rules(body,context)}</swrl:body ><swrl:head rdf:parseType=\"Collection\">#{GRel::QL.to_rules(head,context)}</swrl:head></swrl:Imp>"
+        end.join("")
+        doc = "<rdf:RDF xml:base=\"#{GRel::NAMESPACE}\" xmlns:rdf=\"http://www.w3.org/1999/02/22-rdf-syntax-ns#\" xmlns:owl=\"http://www.w3.org/2002/07/owl#\" xmlns:swrl=\"http://www.w3.org/2003/11/swrl#\" xmlns:ruleml=\"http://www.w3.org/2003/11/swrl\">"
+        doc += context.values.join("")
+        doc += rules
+        doc + "</rdf:RDF>"
+      else
+        raise Exception.new("Unkown rule axiom #{obj.inspect}")
+      end
+    end
     def self.unlink_sparql_query(ids)
       conditions = ids.map do |id|
         id = "@id(#{id})" if id && id.is_a?(String) && id.index("@id(").nil?
@@ -39,6 +152,14 @@ module GRel
           "rdfs:domain"
         elsif(obj == :@range)
           "rdfs:range"
+        elsif(obj == :@same_as)
+          "<http://www.w3.org/2002/07/owl#sameAs>"
+        elsif(obj == :@functional)
+          "<http://www.w3.org/2002/07/owl#FunctionalProperty>"
+        elsif(obj == :"<http://www.w3.org/2002/07/owl#FunctionalProperty>")
+          "<http://www.w3.org/2002/07/owl#FunctionalProperty>"
+        elsif(obj == :"<http://www.w3.org/2002/07/owl#sameAs>")
+          "<http://www.w3.org/2002/07/owl#sameAs>"
         elsif(obj == :"<http://www.w3.org/2002/07/owl#onClass>")
           "<http://www.w3.org/2002/07/owl#onClass>"
         elsif(obj == :"<http://www.w3.org/2002/07/owl#qualifiedCardinality>")
@@ -123,8 +244,8 @@ module GRel
             acum << [p,v] if v && k != :@id
           elsif(v.is_a?(Array)) # array as a property in a hash
             v.map{|o| QL.to_triples(o) }.each do |o|
-              if(o.is_a?(Array) && o.length > 0)
-                acum << [p, o[0][0]]
+              if(o.is_a?(Array) || o.respond_to?(:triples_id))
+                acum << [p, o.triples_id]
                 triples_nested += o
               else
                 acum << [p, o]
@@ -142,7 +263,9 @@ module GRel
         id = id || BlankId.new
-        triples_acum + acum.map{|(p,o)| [id, p, o] } + triples_nested
+        triples_acum = triples_acum + acum.map{|(p,o)| [id, p, o] } + triples_nested
+        triples_acum.triples_id = id
+        triples_acum
       else
         if(obj.respond_to?(:to_triples))
           obj.to_triples
@@ -158,7 +281,7 @@ module GRel
       NODE = "NODE"
       attr_reader :last_registered_subject, :nodes, :projection, :limit, :offset, :order, :orig_query
-      attr_accessor :triples, :optional_triples, :optional, :unions
+      attr_accessor :triples, :optional_triples, :optional, :unions, :top_level
       def initialize(graph=nil)
         @id_counter = -1
@@ -176,6 +299,7 @@ module GRel
         @offset = nil
         @orig_query = nil
         @query_keys = []
+        @top_level = true
       end
       def register_query(query)
@@ -253,7 +377,6 @@ module GRel
       end
       def to_sparql_describe(preamble=true)
         bgps = @triples.map{|t|
           if(t.is_a?(Filter))
             t.acum
@@ -607,15 +730,24 @@ module GRel
       end
       def parse_property(k)
-        QL.to_query(k, context)
+        if(k.is_a?(String))
+          k.gsub(":@type","<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>").
+            gsub(":$inv_","^:")
+        else
+          QL.to_query(k, context)
+        end
       end
     end # end of BGP
-    def self.to_query(obj,context=QL::QueryContext.new, inverse=false)
+    def self.to_query(obj, context=QL::QueryContext.new, inverse=false)
+      top_level = context.top_level
+      context.top_level = false
       if(obj.is_a?(Symbol))
         if(obj == :@type)
           "rdf:type"
+        elsif(obj == :@same_as)
+          "<http://www.w3.org/2002/07/owl#sameAs>"
         elsif(obj.to_s.index("$inv_"))
           ":#{obj.to_s.split("$inv_").last}"
         elsif(obj.to_s == "_")
@@ -648,7 +780,13 @@ module GRel
           filter
         else
           bgp = BGP.new(obj,context,inverse)
-          context.append(bgp.to_query)
+          next_triples = bgp.to_query
+          # avoid patterns [?s1 ?p1 ?o1] where ?s1 is already linked in ?s0 ?p0 ?s1
+          # they fail for SWRL rules in DESCRIBE queries
+          unless(top_level == false && next_triples.length == 1 &&
+                 next_triples.first.reject{|c| c.index("?")==0 && c.index("_mg_") }.empty?)
+            context.append(next_triples)
+          end
           context
         end
       else

data/lib/grel.rb CHANGED Viewed

@@ -4,10 +4,11 @@ require 'uri'
 require 'securerandom'
 class Array
+  attr_accessor :triples_id
   # When using an array of arrays to hold list of triples,
   # returns the first triple subject.
   def triples_id
-    self.first.first
+    @triples_id || self.first.first
   end
 end

metadata CHANGED Viewed

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: grel
 version: !ruby/object:Gem::Version
-  version: 0.1.1
+  version: 0.1.2
   prerelease:
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2013-03-25 00:00:00.000000000 Z
+date: 2013-04-09 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: stardog-rb