axiom db:
_T$$$1 _T$$$1
a http://www.w3.org/1999/02/22-rdf-syntax-ns#type
1
_T$$$1 _T$$$1
agg:corporateHomepage http://example.com/xmlns/aggregation-demo#corporateHomepage
1
_T$$$1 _T$$$1
agg:name http://example.com/xmlns/aggregation-demo#name
1
_T$$$1 _T$$$1
agg:owner http://example.com/xmlns/aggregation-demo#owner
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