# Generated with http://eulersharp.sourceforge.net/ version 1.4.7 on 29 Sep 2005 13:07:18 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 e:constructs
{
@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#>.

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

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

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