grel 0.1.1 → 0.1.2

data/lib/grel/base.rb

@@ -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

@@ -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

@@ -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

@@ -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