pomegranate 0.9

data/pomegranate.gemspec

@@ -0,0 +1,16 @@
+Gem::Specification.new do |s|
+  s.name = "pomegranate"
+  s.version = "0.9"
+  s.date = "2008-12-30"
+  s.summary = "RDF and OWL inference engine for Ruby."
+  s.email = "pius+github@uyiosa.com"
+  s.homepage = "http://github.com/pius/pomegranate"
+  s.description = "Pomegranate is a Ruby library for inferencing over a corpus of RDFS triples.  Implements standard RDFS and RDFS-Plus."
+  s.has_rdoc = true
+  s.authors = ['Pius Uzamere']
+  s.files = ["README.markdown", "Rakefile", "pomegranate.gemspec", "lib/pomegranate.rb", "lib/pomegranate/rdfs_rulebook.rb", "lib/pomegranate/rdfs_plus_rulebook.rb", "coverage/index.html", "coverage/lib-pomegranate-rdfs_plus_rulebook_rb.html", "coverage/lib-pomegranate_rb.html"]
+  s.test_files = ["spec/spec.opts", "spec/spec_helper.rb", "spec/unit/owl_equivalent_class_spec.rb", "spec/unit/owl_equivalent_property_spec.rb", "spec/unit/owl_functional_property_spec.rb", "spec/unit/owl_inverse_functional_property_spec.rb", "spec/unit/owl_inverse_of_spec.rb", "spec/unit/owl_same_as_spec.rb", "spec/unit/owl_symmetric_property_spec.rb", "spec/unit/owl_transitive_property_spec.rb", "spec/unit/rdfs_domain_spec.rb", "spec/unit/rdfs_range_spec.rb", "spec/unit/rdfs_subclass_of_spec.rb", "spec/unit/rdfs_subproperty_of_spec.rb"]
+  #s.rdoc_options = ["--main", "README.txt"]
+  #s.extra_rdoc_files = ["History.txt", "Manifest.txt", "README.txt"]
+  s.add_dependency("ruleby", [">= 0.4"])
+end

data/spec/spec.opts

@@ -0,0 +1,2 @@
+--format specdoc
+--colour

data/spec/spec_helper.rb

@@ -0,0 +1,18 @@
+require 'rubygems'
+require 'pathname'
+
+class Pathname
+  def /(path)
+    (self + path).expand_path
+  end
+end # class Pathname
+
+spec_dir_path = Pathname(__FILE__).dirname.expand_path
+require spec_dir_path.parent + 'lib/pomegranate'
+
+
+
+# require fixture resources
+Dir[spec_dir_path + "fixtures/*.rb"].each do |fixture_file|
+  require fixture_file
+end

data/spec/unit/owl_equivalent_class_spec.rb

@@ -0,0 +1,42 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+require 'lib/pomegranate'
+
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:equivalentClass", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+
+      p = Triple.new("mit:class", "owl:equivalentClass", "mit:subject"); 
+      h = Triple.new(":6.170", "rdf:type", "mit:class");
+      e.assert p
+      e.assert h
+      e.match
+    end
+  end
+  
+  it "should understand class equivalence when a triple object is owl:equivalentClass another resource" do
+    fact = Triple.new(":6.170", "rdf:type", "mit:subject");
+    f = @e.facts.select {|t| t.subject == ":6.170"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_equivalent_property_spec.rb

@@ -0,0 +1,45 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+#require 'ruleby'
+require 'lib/pomegranate'
+# require 'lib/pomegranate/rdfs_rulebook'
+# require 'lib/pomegranate/rdfsplus_rulebook'
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:equivalentProperty", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+
+      p = Triple.new("mit:took_class", "owl:equivalentProperty", "mit:took_course"); 
+      h = Triple.new(":Pius", "mit:took_course", ":6.171");
+
+      e.assert p
+      e.assert h
+      e.match
+    end
+  end
+  
+  it "should understand property equivalence when a property is owl:equivalentProperty to another" do
+    fact = Triple.new(":Pius", "mit:took_class", ":6.171");
+    f = @e.facts.select {|t| t.subject == ":Pius"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_functional_property_spec.rb

@@ -0,0 +1,42 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+require 'lib/pomegranate'
+
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:FunctionalProperty", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+
+      p = Triple.new("mit:had_academic_advisor", "rdf:type", "owl:FunctionalProperty");
+      h = Triple.new(":Pius", "mit:had_academic_advisor", ":Hal");
+      d = Triple.new(":Pius", "mit:had_academic_advisor", ":Dude_Who_Wrote_SICP_With_Gerald_Sussman");
+      e.assert p; e.assert h; e.assert d;
+      e.match
+    end
+  end
+  
+  it "should be able to deduce sameness" do
+    fact = Triple.new(":Hal", "owl:sameAs", ":Dude_Who_Wrote_SICP_With_Gerald_Sussman");
+    f = @e.facts.select {|t| t.subject == ":Hal"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_inverse_functional_property_spec.rb

@@ -0,0 +1,41 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+require 'lib/pomegranate'
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:InverseFunctionalProperty", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+
+      p = Triple.new("mit:lived_alone_fall_2004_in", "rdf:type", "owl:InverseFunctionalProperty");
+      h = Triple.new(":Pius", "mit:lived_alone_fall_2004_in", ":pomegranate_314_at_Next_House");
+      d = Triple.new(":2004_UA_President", "mit:lived_alone_fall_2004_in", ":pomegranate_314_at_Next_House");
+      e.assert p; e.assert h; e.assert d;
+      e.match
+    end
+  end
+  
+  it "should be able to deduce sameness" do
+    fact = Triple.new(":2004_UA_President", "owl:sameAs", ":Pius");
+    f = @e.facts.select {|t| t.subject == ":2004_UA_President"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_inverse_of_spec.rb

@@ -0,0 +1,45 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+#require 'ruleby'
+require 'lib/pomegranate'
+# require 'lib/pomegranate/rdfs_rulebook'
+# require 'lib/pomegranate/rdfsplus_rulebook'
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:inverseOf", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+      
+      alpha = Triple.new(":Pius", ":took_a_class_taught_by", ":Winston")
+      beta = Triple.new(":took_a_class_taught_by", "owl:inverseOf", ":taught")
+
+      e.assert alpha
+      e.assert beta
+      e.match
+    end
+  end
+  
+  it "should understand individual equivalence when a triple object is owl:sameAs another resource" do
+    fact = Triple.new(":Winston", ":taught", ":Pius");
+    f = @e.facts.select {|t| t.subject == ":Winston"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_same_as_spec.rb

@@ -0,0 +1,51 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+#require 'ruleby'
+require 'lib/pomegranate'
+# require 'lib/pomegranate/rdfs_rulebook'
+# require 'lib/pomegranate/rdfsplus_rulebook'
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:sameAs", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+      p = Triple.new(":Pius", "mit:took_class_at", ":The_Media_Lab");
+      h = Triple.new(":Pius", "owl:sameAs", ":Uzamere");
+      d = Triple.new(":The_Media_Lab", "owl:sameAs", ":Media_Lab");
+      e.assert h
+      e.assert p
+      e.assert d
+      e.match
+    end
+  end
+  
+  it "should understand individual equivalence when a triple subject is owl:sameAs another resource" do
+    fact = Triple.new(":Uzamere", "mit:took_class_at", ":The_Media_Lab");
+    f = @e.facts.select {|t| t.subject == ":Uzamere"}
+    f.should include(fact)
+  end
+  
+  it "should understand individual equivalence when a triple object is owl:sameAs another resource" do
+    fact = Triple.new(":Pius", "mit:took_class_at", ":Media_Lab");
+    f = @e.facts.select {|t| t.subject == ":Pius"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_symmetric_property_spec.rb

@@ -0,0 +1,42 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+require 'lib/pomegranate'
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:SymmetricProperty", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+      
+      eta = Triple.new(":Pius", ":was_in_a_class_with", ":Adam"); 
+      zeta = Triple.new(":was_in_a_class_with", "rdf:type", "owl:SymmetricProperty")
+
+      e.assert zeta
+      e.assert eta
+      e.match
+    end
+  end
+  
+  it "should understand individual equivalence when a triple object is owl:sameAs another resource" do
+    fact = Triple.new(":Adam", ":was_in_a_class_with", ":Pius");
+    f = @e.facts.select {|t| t.subject == ":Adam"}
+    f.should include(fact)
+  end
+end

data/spec/unit/owl_transitive_property_spec.rb

@@ -0,0 +1,47 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+#require 'ruleby'
+require 'lib/pomegranate'
+# require 'lib/pomegranate/rdfs_rulebook'
+# require 'lib/pomegranate/rdfsplus_rulebook'
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "owl:TransitiveProperty", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+      
+      p = Triple.new(":Dirichlet", ":is_an_academic_ancestor_of", ":Minsky"); 
+      h = Triple.new(":Poisson", ":is_an_academic_ancestor_of", ":Dirichlet");
+      j = Triple.new(":is_an_academic_ancestor_of", "rdf:type", "owl:TransitiveProperty");
+
+      e.assert p
+      e.assert h
+      e.assert j
+      e.match
+    end
+  end
+  
+  it "should understand transitivity when a property is an owl:TransitiveProperty" do
+    fact = Triple.new(":Poisson", ":is_an_academic_ancestor_of", ":Minsky");
+    f = @e.facts.select {|t| t.subject == ":Poisson"}
+    f.should include(fact)
+  end
+end

data/spec/unit/rdfs_domain_spec.rb

@@ -0,0 +1,43 @@
+# This file is part of Pomegranate
+# 
+# Pomegranate is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+# 
+# Pomegranate is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU Lesser General Public License for more details.
+# 
+# You should have received a copy of the GNU Lesser General Public License
+# along with Pomegranate.  If not, see <http://www.gnu.org/licenses/>.
+
+require 'pathname'
+require 'lib/pomegranate'
+
+
+require Pathname(__FILE__).dirname.expand_path.parent + 'spec_helper'
+include Ruleby
+
+describe "rdfs:domain", 'rule' do
+  
+  before(:all) do
+    @e = engine :engine do |e|
+      RdfsPlusRulebook.new(e).rules 
+      
+      a = Triple.new("mit:majored_in", "rdfs:domain", ":student"); 
+      b = Triple.new(":Pius", "mit:majored_in", ":Course_17")
+
+      e.assert a
+      e.assert b
+      e.match
+    end
+  end
+  
+  it "should understand domains" do
+    fact = Triple.new(":Pius", "rdf:type", ":student")
+    f = @e.facts.select {|t| t.subject == ":Pius"}
+    f.should include(fact)
+  end
+end