rdf-reasoner 0.5.0 → 0.5.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 23cf1038b49812deb6c2fb5095635f0fe97f415b4338f1f5f734dd9c53643995
-  data.tar.gz: 95755ad7c6c666a994ca7a89780214681f02727d517e836b3a8fe69e4bb07ce4
+  metadata.gz: 6837a878051e36a7e39b6c1136ce45a36bd72e29def693d42350fde2e562334f
+  data.tar.gz: 38d1644db1d9960f71d8865bfe15bd7975712cc1d21438fbeb2aad99eb3a4e88
 SHA512:
-  metadata.gz: 6965cd311294b46d9b93a6a9be69da05538e59037efde845eae1c6ec626e8e01710026dc957746e31d1fb63413cffcf514c05832665c3c316d0d0cc15f45e90c
-  data.tar.gz: 91db92c27cb62d60a2f630be5343fb83704f532a64ba5bacbfd8c37fde2f024a9ab4422a6729a6d4abcb8e4334575f83dee30bf261c78f8132907c3efa2c4e5f
+  metadata.gz: 10211fe77a23baf6c13a1e075704dc5a597e91d249508c9dbe5d97c20e780ddc0e61ed50e1b100148c2a2d8a2902fc4616e87bf3c8813beec57e511ad3d7a2e2
+  data.tar.gz: c17e45cc44b94d7b0af58a33f506b37e118e68dd152c35410bf7c03cb13e4d6da86d38c36d256608fcdcae6edebeae396fa18fc8a7f50bb02d61977e7052597f

data/VERSION

@@ -1 +1 @@
-0.5.0
+0.5.1

data/lib/rdf/reasoner/rdfs.rb

@@ -37,6 +37,7 @@ module RDF::Reasoner
     ##
     # For a Term: yield or return inferred subClassOf relationships by recursively applying to named super classes to get a complete set of classes in the ancestor chain of this class
     # For a Statement: if predicate is `rdf:types`, yield or return inferred statements having a subClassOf relationship to the type of this statement
+    # @todo Should be able to entail owl:Restriction, which is a BNode. This should be allowed, and also add BNode values of that node, recursively, similar to SPARQL concise_bounded_description.uu
     # @private
     def _entail_subClassOf
       case self
@@ -58,6 +59,7 @@ module RDF::Reasoner
         if self.predicate == RDF.type
           if term = (RDF::Vocabulary.find_term(self.object) rescue nil)
             term._entail_subClassOf do |t|
+              next if t.node? # Don't entail BNodes
               statements << RDF::Statement(self.to_h.merge(object: t, inferred: true))
             end
           end
@@ -139,6 +141,7 @@ module RDF::Reasoner
 
     ##
     # For a Statement: yield or return inferred statements having an rdf:type of the domain of the statement predicate
+    # @todo Should be able to entail owl:unionOf, which is a BNode. This should be allowed, and also add BNode values of that node, recursively, similar to SPARQL concise_bounded_description.uu
     # @private
     def _entail_domain
       case self
@@ -146,6 +149,7 @@ module RDF::Reasoner
         statements = []
         if term = (RDF::Vocabulary.find_term(self.predicate) rescue nil)
           term.domain.each do |t|
+            next if t.node? # Don't entail BNodes
             statements << RDF::Statement(self.to_h.merge(predicate: RDF.type, object: t, inferred: true))
           end
         end
@@ -158,6 +162,7 @@ module RDF::Reasoner
 
     ##
     # For a Statement: if object is a resource, yield or return inferred statements having an rdf:type of the range of the statement predicate
+    # @todo Should be able to entail owl:unionOf, which is a BNode. This should be allowed, and also add BNode values of that node, recursively, similar to SPARQL concise_bounded_description.uu
     # @private
     def _entail_range
       case self
@@ -165,6 +170,7 @@ module RDF::Reasoner
         statements = []
         if object.resource? && term = (RDF::Vocabulary.find_term(self.predicate) rescue nil)
           term.range.each do |t|
+            next if t.node? # Don't entail BNodes
             statements << RDF::Statement(self.to_h.merge(subject: self.object, predicate: RDF.type, object: t, inferred: true))
           end
         end
@@ -187,7 +193,7 @@ module RDF::Reasoner
     #   Fully entailed types of resource, if not provided, they are queried
     def domain_compatible_rdfs?(resource, queryable, options = {})
       raise RDF::Reasoner::Error, "#{self} can't get domains" unless property?
-      domains = Array(self.domain) - [RDF::OWL.Thing, RDF::RDFS.Resource]
+      domains = Array(self.domain).reject(&:node?) - [RDF::OWL.Thing, RDF::RDFS.Resource]
 
       # Fully entailed types of the resource
       types = options.fetch(:types) do
@@ -214,7 +220,7 @@ module RDF::Reasoner
     #   Fully entailed types of resource, if not provided, they are queried
     def range_compatible_rdfs?(resource, queryable, options = {})
       raise RDF::Reasoner::Error, "#{self} can't get ranges" unless property?
-      if !(ranges = Array(self.range) - [RDF::OWL.Thing, RDF::RDFS.Resource]).empty?
+      if !(ranges = Array(self.range).reject(&:node?) - [RDF::OWL.Thing, RDF::RDFS.Resource]).empty?
         if resource.literal?
           ranges.all? do |range|
             if [RDF::RDFS.Literal, RDF.XMLLiteral, RDF.HTML].include?(range)

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rdf-reasoner
 version: !ruby/object:Gem::Version
-  version: 0.5.0
+  version: 0.5.1
 platform: ruby
 authors:
 - Gregg Kellogg
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2017-12-29 00:00:00.000000000 Z
+date: 2017-12-30 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rdf