Experiments with TheyRule.net in RDF

Here's an encoding of some TheyRule.net data into RDF using CWM*:

Command line: cwm -rdf http://rdfweb.org/people/danbri/2001/09/foafcorp/cola-corps-sample.xml -n3 theyrules.n3 -think

I got CWM to conclude everything that I wanted, but for some reason I couldn't get it to filter out the essential data... Assistance appreciated with that bit.

Results

(Key parts are emphasized.)

     @prefix : <theyrules#> .
     @prefix daml: <http://www.daml.org/2001/03/daml+oil#> .
     @prefix dc: <http://purl.org/dc/elements/1.1/> .
     @prefix fc: <http://xmlns.com/foaf/corp#> .
     @prefix foaf: <http://xmlns.com/foaf/0.1/> .
     @prefix log: <http://www.w3.org/2000/10/swap/log#> .
     @prefix rss: <http://purl.org/rss/1.0/> .
     @prefix v: <rules.n3#> .
     @prefix web: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
    
    "Arthur C. Martinez"     :memberOf <#_g0> .
    
    "Cathleen Black"     :memberOf <#_g19> .
    
    "Cynthia M. Trudell, Ph.d."     :memberOf <#_g0> .
    
    "Donald F. McHenry"     :memberOf <#_g19> .
    
    "Douglas N. Daft"     :memberOf <#_g19> .
    
    "Franklin A. Thomas"     :memberOf <#_g0> .
    
    "Franklin D. Raines"     :memberOf <#_g0> .
    
    "Herbert A. Allen"     :memberOf <#_g19> .
    
    "James B. William"     :memberOf <#_g19> .
    
    "James D. Robinson III"     :memberOf <#_g15>,
                <#_g19> .
    
    "John F. Akers"     :memberOf <#_g0> .
    
    "John J. Murphy"     :memberOf <#_g0> .
    
    "Paul F. Oreiffice"     :memberOf <#_g19> .
    
    "Peter Foy"     :memberOf <#_g0> .
    
    "Peter V. Ueberroth"     :memberOf <#_g19> .
    
    "Ray L. Hunt"     :memberOf <#_g0> .
    
    "Robert E. Allen"     :memberOf <#_g0>,
                <#_g15> .
    
    "Roger A. Enrico"     :memberOf <#_g0> .
    
    "Ronald W. Allen"     :memberOf <#_g19> .
    
    "Sam Nunn"     :memberOf <#_g19> .
    
    "Sharon P. Rockefeller"     :memberOf <#_g0> .
    
    "Solomon D. Trujillo"     :memberOf <#_g0> .
    
    "Steven S. Reinemund"     :memberOf <#_g0> .
    
    "Susan B. King"     :memberOf <#_g19> .
    
    "Warren E. Buffett"     :memberOf <#_g19> .
    
    <#_g0>     a fc:Company;
         :connectedTo <#_g0>,
                <#_g15>,
                <#_g19>;
         <http://xmlns.com/foaf/0.1/homepage> <http://www.pepsico.com/>;
         fc:board  [
             a fc:Committee;
             fc:moreinfo <http://www.pepsico.com/filings/2001DEF14A.shtml>;
             fc:member  [
                 fc:name "Cynthia M. Trudell, Ph.d.";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Sharon P. Rockefeller";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Arthur C. Martinez";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Franklin A. Thomas";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Franklin D. Raines";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Solomon D. Trujillo";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Roger A. Enrico";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "John F. Akers";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "John J. Murphy";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Steven S. Reinemund";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Ray L. Hunt";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Peter Foy";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Robert E. Allen";
                 a <http://xmlns.com/foaf/0.1/Person> ] ];
         fc:filings <http://www.pepsico.com/filings/content.shtml>;
         fc:name "PepsiCo Investor Relations";
         fc:stock "PEP" .
    
    <#_g15>     a fc:Company;
         :connectedTo <#_g0>,
                <#_g15>,
                <#_g19>;
         <http://xmlns.com/foaf/0.1/homepage> <http://www.bms.com/>;
         fc:board  [
             a fc:Committee;
             fc:member  [
                 fc:name "Robert E. Allen";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "James D. Robinson III";
                 a <http://xmlns.com/foaf/0.1/Person> ] ];
         fc:name "Bristol-Myers Squibb";
         fc:stock "BMY" .
    
    <#_g19>     a fc:Company;
         :connectedTo <#_g0>,
                <#_g15>,
                <#_g19>;
         <http://xmlns.com/foaf/0.1/homepage> <http://www.cocacola.com/>;
         fc:board  [
             a fc:Committee;
             fc:member  [
                 fc:name "James D. Robinson III";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Paul F. Oreiffice";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Peter V. Ueberroth";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "James B. William";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Sam Nunn";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Donald F. McHenry";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Cathleen Black";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Warren E. Buffett";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Douglas N. Daft";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Herbert A. Allen";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Ronald W. Allen";
                 a <http://xmlns.com/foaf/0.1/Person> ],
                     [
                 fc:name "Susan B. King";
                 a <http://xmlns.com/foaf/0.1/Person> ] ];
         fc:name "Coca Cola co.";
         fc:stock "KO" .
    
    this     log:forAll :c1,
                :c2,
                :c3,
                :corp1,
                :corp2,
                :n1,
                :n2,
                :n3,
                :nam1,
                :nam2,
                :p1,
                :p2,
                :per1,
                :per2,
                :q,
                :x,
                :y,
                :z;
         log:forSome <#_g0>,
                <#_g15>,
                <#_g19> .
    {
        :nam1     = :nam2 .
        :per1     :memberOf :corp1,
                    :corp2;
             fc:name :nam1 .
        :per2     fc:name :nam2 .
        
        }     log:implies {:per1     :memberOf :corp2;
             = :per2 .
        } .
    {
        :x     a fc:Company;
             fc:board :y .
        :y     fc:member :z .
        :z     fc:name :q .
        
        }     log:implies {:q     :memberOf :x .
        } .
    {
        :p1     :memberOf :c1,
                    :c2 .
        :p2     :memberOf :c2,
                    :c3 .
        
        }     log:implies {:c1     :connectedTo :c3 .
        } .
    
    <http://www.bms.com/>     a <http://xmlns.com/foaf/0.1/Document>;
         <http://purl.org/dc/elements/1.1/title> "Bristol Myers Squibb Company" .
    
    <http://www.cocacola.com/>     a <http://xmlns.com/foaf/0.1/Document>;
         <http://purl.org/dc/elements/1.1/title> "Coca-Cola" .
    
    <http://www.pepsico.com/>     a <http://xmlns.com/foaf/0.1/Document>;
         <http://purl.org/dc/elements/1.1/title> "Pepsiworld" .
  

Acknowledgements

Thanks to danbri for finding the site, putting together the original RDF translation, and nagging me to finish this.

Links

RDFWeb notebook: Aggregation strategies

RDFIG Scratchpad on the day we discovered all this fun

Part of LogicError. Powered by Blogspace, an Aaron Swartz project. Email the webmaster with problems.