rdf-reasoner 0.0.4 → 0.1.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 98bf1114b6fa4d5f10d0fde294d1b0c7986a2f7c
-  data.tar.gz: c388729988814df066130c18f813d56a95c683fd
+  metadata.gz: f6a98adc5516082d31f711b399c152f140a02bb5
+  data.tar.gz: 39fa2fc036816834e1bdf676ed4d7ad0898cce28
 SHA512:
-  metadata.gz: 9ff5f740202cc21c91ff93c02ff59a2f1f441dc921a538315c2b974096158c53faf247fffd46e03370f42740dafe7240ce12499713e242620f9d4fdeed58c4cb
-  data.tar.gz: 13bf06917afbbe5a9e89d3bf877ef9908f9a671de38018049aebb89c8003e39fc16361ef6d21f7e10dcea0b9cfea267cd3d033b394ffeea4e28e6639c545d479
+  metadata.gz: 729ae98dd83b486197f0eb73d9465116dd40aa16d385b05c94c1228fa6ed0f882aeb85f84b0b492a0c1ba5931d231147cc36cce2a9c2c166d5af547971324ea3
+  data.tar.gz: 3c0a07eefe32d2e5e4afd983546e667028c48c050fde90cbd67ddaf9ea46ad6bc64ef143ea73db2078840eafbb27b4bd7ca5b6f7ff566ad5852705e605f71e79

data/README.md

@@ -12,6 +12,11 @@ Reasons over RDFS/OWL vocabularies and schema.org to generate statements which a
 
 Domain and Range entailment include specific rules for schema.org vocabularies.
 
+* A plain literal is an acceptable value for any property.
+* If `resource` is of type `schema:Role`, `resource` is domain acceptable if any other resource references `resource` using the same property.
+* If `resource` is of type `schema:Role`, it is range acceptable if it has the same property with an acceptable value.
+* If `resource` is of type `rdf:List` (must be previously entailed), it is range acceptable if all members of the list are otherwise range acceptable on the same property.
+
 ## Dependencies
 
 * [Ruby](http://ruby-lang.org/) (>= 1.9.2)

data/VERSION

@@ -1 +1 @@
-0.0.4
+0.1.0

data/lib/rdf/reasoner/schema.rb

@@ -67,6 +67,8 @@ module RDF::Reasoner
     #
     # If `resource` is of type `schema:Role`, it is range acceptable if it has the same property with an acceptable value.
     #
+    # If `resource` is of type `rdf:List` (must be previously entailed), it is range acceptable if all members of the list are otherwise range acceptable on the same property.
+    #
     # Also, a plain literal (or schema:Text) is always compatible with an object range.
     #
     # @param [RDF::Resource] resource
@@ -156,11 +158,17 @@ module RDF::Reasoner
 
           # Resource may still be acceptable if it has the same property with an acceptable value
           resource_acceptable ||
-            types.include?(RDF::SCHEMA.Role) &&
-              queryable.query(subject: resource, predicate: self).any? do |stmt|
-                acc = self.range_compatible_schema?(stmt.object, queryable)
-                acc
-              end
+
+          # Resource also acceptable if it is a Role, and the Role object contains the same predicate having a compatible object
+          types.include?(RDF::SCHEMA.Role) &&
+            queryable.query(subject: resource, predicate: self).any? do |stmt|
+              acc = self.range_compatible_schema?(stmt.object, queryable)
+              acc
+            end ||
+          # Resource also acceptable if it is a List, and every member of the list is range compatible with the predicate
+          (list = RDF::List.new(resource, queryable)).valid? && list.all? do |member|
+            self.range_compatible_schema?(member, queryable)
+          end
         end
       else
         true

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: rdf-reasoner
 version: !ruby/object:Gem::Version
-  version: 0.0.4
+  version: 0.1.0
 platform: ruby
 authors:
 - Gregg Kellogg
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2014-07-28 00:00:00.000000000 Z
+date: 2014-08-27 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rdf