trace: _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 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 1 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 2 _T$$$5 _T$$$5 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 3 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 2 _T$$$6 _T$$$6 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 4 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 2 _T$$$10 _T$$$10 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 7 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 1 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 2 _T$$$5 _T$$$5 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 3 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://megacorp.example.com/ _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$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://megacorp.example.com/ _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$$$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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 1 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 2 _T$$$5 _T$$$5 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 3 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://megacorp.example.com/ _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$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://megacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://megacorp.example.com/ _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$$$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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 2 _T$$$6 _T$$$6 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 4 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 2 _T$$$10 _T$$$10 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 7 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://gigacorp.example.com/ _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$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://gigacorp.example.com/ _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$$$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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 2 _T$$$6 _T$$$6 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 4 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 2 _T$$$10 _T$$$10 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 7 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 2 _T$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://gigacorp.example.com/ _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$$$1 _T$$$1 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage http://gigacorp.example.com/ 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 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 agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage :hp 5 Variable: :hp Term: http://gigacorp.example.com/ _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 substitutions: Lemma: _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 Solutions: This were all the solutions