axiom db: _T$$$1 _T$$$1 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Company http://example.com/xmlns/aggregation-demo#Company 1 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 1 _T$$$1 _T$$$1 agg:name http://example.com/xmlns/aggregation-demo#name MegaCorp Inc. MegaCorp Inc. 1 _T$$$1 _T$$$1 agg:owner http://example.com/xmlns/aggregation-demo#owner _T$$$2 _T$$$2 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Person http://example.com/xmlns/aggregation-demo#Person _T$$$2 _T$$$2 agg:name http://example.com/xmlns/aggregation-demo#name Mr Mega Mr Mega _T$$$2 _T$$$2 agg:personalMailbox http://example.com/xmlns/aggregation-demo#personalMailbox mailto:mega@megacorp.example.com _T$$$2 _T$$$2 agg:personalHomepage http://example.com/xmlns/aggregation-demo#personalHomepage http://megacorp.example.com/~mega _T$$$2 _T$$$2 agg:age http://example.com/xmlns/aggregation-demo#age 50 50 1 _T$$$1 _T$$$1 agg:ticker http://example.com/xmlns/aggregation-demo#ticker MEGA MEGA 1 _T$$$3 _T$$$3 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:User http://example.com/xmlns/aggregation-demo#User 2 _T$$$3 _T$$$3 agg:personalMailbox http://example.com/xmlns/aggregation-demo#personalMailbox mailto:mega@megacorp.example.com 2 _T$$$3 _T$$$3 agg:technologyInterest http://example.com/xmlns/aggregation-demo#technologyInterest _T$$$4 _T$$$4 agg:li http://example.com/xmlns/aggregation-demo#li http://www.mozilla.org/ _T$$$4 _T$$$4 agg:li http://example.com/xmlns/aggregation-demo#li http://www.w3.org/RDF/ _T$$$4 _T$$$4 agg:li http://example.com/xmlns/aggregation-demo#li http://www.w3.org/XML/ 2 _T$$$5 _T$$$5 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Organisation http://example.com/xmlns/aggregation-demo#Organisation 3 _T$$$5 _T$$$5 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 3 _T$$$5 _T$$$5 agg:ethicalPolicy http://example.com/xmlns/aggregation-demo#ethicalPolicy http://dotherightthing.example.org/policy.xhtml 3 _T$$$6 _T$$$6 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Company http://example.com/xmlns/aggregation-demo#Company 4 _T$$$6 _T$$$6 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 4 _T$$$6 _T$$$6 agg:name http://example.com/xmlns/aggregation-demo#name GigaCorp Inc. GigaCorp Inc. 4 _T$$$6 _T$$$6 agg:owner http://example.com/xmlns/aggregation-demo#owner _T$$$7 _T$$$7 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Person http://example.com/xmlns/aggregation-demo#Person _T$$$7 _T$$$7 agg:name http://example.com/xmlns/aggregation-demo#name Mr Giga Mr Giga _T$$$7 _T$$$7 agg:personalMailbox http://example.com/xmlns/aggregation-demo#personalMailbox mailto:giga@gigacorp.example.com _T$$$7 _T$$$7 agg:personalHomepage http://example.com/xmlns/aggregation-demo#personalHomepage http://gigacorp.example.com/~mega _T$$$7 _T$$$7 agg:age http://example.com/xmlns/aggregation-demo#age 46 46 4 _T$$$6 _T$$$6 agg:ticker http://example.com/xmlns/aggregation-demo#ticker GIGA GIGA 4 _T$$$8 _T$$$8 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:User http://example.com/xmlns/aggregation-demo#User 5 _T$$$8 _T$$$8 agg:personalMailbox http://example.com/xmlns/aggregation-demo#personalMailbox mailto:giga@gigacorp.example.com 5 _T$$$8 _T$$$8 agg:technologyInterest http://example.com/xmlns/aggregation-demo#technologyInterest _T$$$9 _T$$$9 agg:li http://example.com/xmlns/aggregation-demo#li http://www.mozilla.org/ _T$$$9 _T$$$9 agg:li http://example.com/xmlns/aggregation-demo#li http://www.w3.org/RDF/ _T$$$9 _T$$$9 agg:li http://example.com/xmlns/aggregation-demo#li http://www.w3.org/2001/sw/ 5 _T$$$10 _T$$$10 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Organisation http://example.com/xmlns/aggregation-demo#Organisation 7 _T$$$10 _T$$$10 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 7 _T$$$10 _T$$$10 agg:ethicalPolicy http://example.com/xmlns/aggregation-demo#ethicalPolicy http://dotherightthing.example.org/policy.xhtml 7 http://dotherightthing.example.org/policy.xhtml a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:PolicyStatement http://example.com/xmlns/aggregation-demo#PolicyStatement 8 http://dotherightthing.example.org/policy.xhtml agg:title http://example.com/xmlns/aggregation-demo#title Ethical Business Shared Guidelines 1.1 Ethical Business Shared Guidelines 1.1 8 axiom variables: lemma db: _T$$$1 _T$$$1 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Company http://example.com/xmlns/aggregation-demo#Company 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 2 _T$$$1 _T$$$1 agg:owner http://example.com/xmlns/aggregation-demo#owner _T$$$2 _T$$$2 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Person http://example.com/xmlns/aggregation-demo#Person _T$$$2 _T$$$2 agg:personalMailbox http://example.com/xmlns/aggregation-demo#personalMailbox :mb 2 _T$$$3 _T$$$3 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:User http://example.com/xmlns/aggregation-demo#User 3 _T$$$3 _T$$$3 agg:personalMailbox http://example.com/xmlns/aggregation-demo#personalMailbox :mb 3 _T$$$3 _T$$$3 agg:technologyInterest http://example.com/xmlns/aggregation-demo#technologyInterest :ti 3 _T$$$4 _T$$$4 a http://www.w3.org/1999/02/22-rdf-syntax-ns#type agg:Organisation http://example.com/xmlns/aggregation-demo#Organisation 5 _T$$$4 _T$$$4 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 _T$$$4 _T$$$4 agg:ethicalPolicy http://example.com/xmlns/aggregation-demo#ethicalPolicy http://dotherightthing.example.org/policy.xhtml 5 lemma variables: :mb :ti :hp