# Generated with http://eulersharp.sourceforge.net/ version 1.4.28 on 31 Jan 2006 10:30:22 GMT
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.

(<http://www.agfa.com/w3c/euler/danb.n3>!log:semantics)!log:conjunction =>
{
@prefix e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>.
@prefix q: <http://www.w3.org/2004/ql#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix agg: <http://example.com/xmlns/aggregation-demo#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <http://www.agfa.com/w3c/euler/danb#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.

{_:e25_0_ a agg:Company} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_6>. 
{_:e25_0_ agg:corporateHomepage <http://megacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_7>. 
{_:e25_0_ agg:owner _:e45_0_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_9>. 
{_:e45_0_ a agg:Person} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_10>. 
{_:e45_0_ agg:personalMailbox <mailto:mega@megacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_12>. 
{_:e69_0_ a agg:User} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_17>. 
{_:e69_0_ agg:personalMailbox <mailto:mega@megacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_18>. 
{_:e69_0_ agg:technologyInterest _:e81_0_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_19>. 
{_:e96_0_ a agg:Organisation} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_23>. 
{_:e96_0_ agg:corporateHomepage <http://megacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_24>. 
{_:e96_0_ agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_25>. 

{_:e124_0_ a agg:Company} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_28>. 
{_:e124_0_ agg:corporateHomepage <http://gigacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_29>. 
{_:e124_0_ agg:owner _:e144_0_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_31>. 
{_:e144_0_ a agg:Person} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_32>. 
{_:e144_0_ agg:personalMailbox <mailto:giga@gigacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_34>. 
{_:e168_0_ a agg:User} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_39>. 
{_:e168_0_ agg:personalMailbox <mailto:giga@gigacorp.example.com>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_40>. 
{_:e168_0_ agg:technologyInterest _:e180_0_} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_41>. 
{_:e195_0_ a agg:Organisation} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_45>. 
{_:e195_0_ agg:corporateHomepage <http://gigacorp.example.com/>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_46>. 
{_:e195_0_ agg:ethicalPolicy <http://dotherightthing.example.org/policy.xhtml>} e:evidence <http://www.agfa.com/w3c/euler/danb.n3#_47>. 

# Proof found in 123 steps (12287 steps/sec) using 1 engine (40 triples)
}.