OWL FSS

Ontology(
   http://attempto.ifi.uzh.ch/ontologies/owlswrl/test
   ObjectPropertyAssertion(
      ObjectProperty(:part)
      Individual(:Iceland)
      AnonymousIndividual(62672087801701202)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:part)
      Individual(:Atlantic-Ocean)
      AnonymousIndividual(62672087801701202)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:part)
      Individual(:Iceland)
      AnonymousIndividual(467807035483401712)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:part)
      Individual(:Atlantic-Ocean)
      AnonymousIndividual(467807035483401712)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:part)
      Individual(:Iceland)
      AnonymousIndividual(336927251816857747)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:part)
      Individual(:Atlantic-Ocean)
      AnonymousIndividual(336927251816857747)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:gathering-place)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(62672087801701202)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:gathering-place)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(467807035483401712)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:gathering-place)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(336927251816857747)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(27889252610652492)
      AnonymousIndividual(970691664619765620)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(27889252610652492)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(848507386156943066)
      AnonymousIndividual(971521185014456760)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(848507386156943066)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(469370472786353526)
      AnonymousIndividual(177499958352141075)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(469370472786353526)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(196627922432011684)
      AnonymousIndividual(817913108149776955)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(196627922432011684)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(654583660298189545)
      AnonymousIndividual(997993741536238237)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(654583660298189545)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(210663951452250270)
      AnonymousIndividual(164347512979726966)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(210663951452250270)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(894254538624157956)
      AnonymousIndividual(204510812850648032)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(894254538624157956)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(170477780860025868)
      AnonymousIndividual(822739642299913684)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(170477780860025868)
      AnonymousIndividual(927701922665091765)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(690040054811732222)
      AnonymousIndividual(726339834324917704)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(690040054811732222)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(923168202165799902)
      AnonymousIndividual(459211726290120404)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(923168202165799902)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(626162198897772918)
      AnonymousIndividual(52907513696994180)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(626162198897772918)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(516415912429307740)
      AnonymousIndividual(623973570226678488)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(516415912429307740)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(225247324625825669)
      AnonymousIndividual(441511244970352769)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(225247324625825669)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(417651980365712899)
      AnonymousIndividual(536758405637632340)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(417651980365712899)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(697908189299931171)
      AnonymousIndividual(197170452539109566)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(697908189299931171)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(79664647454915113)
      AnonymousIndividual(396636893066307975)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(79664647454915113)
      AnonymousIndividual(214381425337405618)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(813341401758702555)
      AnonymousIndividual(861508071673254656)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(813341401758702555)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(374093675168532176)
      AnonymousIndividual(682304209462071567)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(374093675168532176)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(734059439308409788)
      AnonymousIndividual(599673958541313888)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(734059439308409788)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(382660301708610130)
      AnonymousIndividual(198102885462955358)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(382660301708610130)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(175498736409032621)
      AnonymousIndividual(820446865557735930)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(175498736409032621)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(22100847233644758)
      AnonymousIndividual(905057237912100025)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(22100847233644758)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(651730415974097026)
      AnonymousIndividual(365022971986240808)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(651730415974097026)
      AnonymousIndividual(580628687678054676)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:component)
      AnonymousIndividual(898765750582940682)
      AnonymousIndividual(277727730988367315)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:mixture)
      AnonymousIndividual(898765750582940682)
      AnonymousIndividual(580628687678054676)
   )
   DataPropertyAssertion(
      DataProperty(:year)
      AnonymousIndividual(661264559883965951)
      ^^(1946, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:title)
      AnonymousIndividual(661264559883965951)
      ^^(A CONTRIBUTION TO THE GEOLOGY OF THE KERLINGARFJELL, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:journal-reference)
      AnonymousIndividual(661264559883965951)
      ^^(ACTA NAT. ISLAND. 1 (2), http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:first-page)
      AnonymousIndividual(661264559883965951)
      ^^(1, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:last-page)
      AnonymousIndividual(661264559883965951)
      ^^(15, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(661264559883965951)
      ^^(5633, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(62672087801701202)
      ^^(32994, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(927701922665091765)
      ^^(32994, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:latitude)
      AnonymousIndividual(62672087801701202)
      ^^(64.7, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:longitude)
      AnonymousIndividual(62672087801701202)
      ^^(-19.2, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:reference)
      AnonymousIndividual(62672087801701202)
      ^^(KERLINGARFJELL, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:authorial-number)
      AnonymousIndividual(927701922665091765)
      ^^(A, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(467807035483401712)
      ^^(32995, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(214381425337405618)
      ^^(32995, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:latitude)
      AnonymousIndividual(467807035483401712)
      ^^(64.7, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:longitude)
      AnonymousIndividual(467807035483401712)
      ^^(-19.2, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:reference)
      AnonymousIndividual(467807035483401712)
      ^^(KERLINGARFJELL, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:authorial-number)
      AnonymousIndividual(214381425337405618)
      ^^(B, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(336927251816857747)
      ^^(32996, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(580628687678054676)
      ^^(32996, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:latitude)
      AnonymousIndividual(336927251816857747)
      ^^(64.7, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:longitude)
      AnonymousIndividual(336927251816857747)
      ^^(-19.2, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:reference)
      AnonymousIndividual(336927251816857747)
      ^^(KERLINGARFJELL, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:authorial-number)
      AnonymousIndividual(580628687678054676)
      ^^(C, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(970691664619765620)
      ^^(469812, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(970691664619765620)
      ^^(SIO2, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(27889252610652492)
      ^^(469812, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(27889252610652492)
      ^^(73.95, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(971521185014456760)
      ^^(469813, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(971521185014456760)
      ^^(AL2O3, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(848507386156943066)
      ^^(469813, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(848507386156943066)
      ^^(15, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(177499958352141075)
      ^^(469814, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(177499958352141075)
      ^^(FE2O3, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(469370472786353526)
      ^^(469814, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(469370472786353526)
      ^^(1.05, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(817913108149776955)
      ^^(469815, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(817913108149776955)
      ^^(MGO, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(196627922432011684)
      ^^(469815, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(196627922432011684)
      ^^(0.15, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(997993741536238237)
      ^^(469816, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(997993741536238237)
      ^^(CAO, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(654583660298189545)
      ^^(469816, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(654583660298189545)
      ^^(0.72, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(164347512979726966)
      ^^(469817, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(164347512979726966)
      ^^(NA2O, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(210663951452250270)
      ^^(469817, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(210663951452250270)
      ^^(5.3, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(204510812850648032)
      ^^(469818, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(204510812850648032)
      ^^(K2O, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(894254538624157956)
      ^^(469818, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(894254538624157956)
      ^^(2.37, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(822739642299913684)
      ^^(469819, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(822739642299913684)
      ^^(H2O+, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(170477780860025868)
      ^^(469819, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(170477780860025868)
      ^^(0.51, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(726339834324917704)
      ^^(469820, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(726339834324917704)
      ^^(SIO2, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(690040054811732222)
      ^^(469820, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(690040054811732222)
      ^^(72.25, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(459211726290120404)
      ^^(469821, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(459211726290120404)
      ^^(AL2O3, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(923168202165799902)
      ^^(469821, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(923168202165799902)
      ^^(12.8, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(52907513696994180)
      ^^(469822, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(52907513696994180)
      ^^(FE2O3, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(626162198897772918)
      ^^(469822, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(626162198897772918)
      ^^(5.1, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(623973570226678488)
      ^^(469823, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(623973570226678488)
      ^^(MGO, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(516415912429307740)
      ^^(469823, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(516415912429307740)
      ^^(0.25, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(441511244970352769)
      ^^(469824, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(441511244970352769)
      ^^(CAO, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(225247324625825669)
      ^^(469824, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(225247324625825669)
      ^^(2.55, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(536758405637632340)
      ^^(469825, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(536758405637632340)
      ^^(NA2O, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(417651980365712899)
      ^^(469825, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(417651980365712899)
      ^^(4.33, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(197170452539109566)
      ^^(469826, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(197170452539109566)
      ^^(K2O, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(697908189299931171)
      ^^(469826, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(697908189299931171)
      ^^(1.68, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(396636893066307975)
      ^^(469827, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(396636893066307975)
      ^^(H2O+, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(79664647454915113)
      ^^(469827, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(79664647454915113)
      ^^(1.27, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(861508071673254656)
      ^^(469828, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(861508071673254656)
      ^^(SIO2, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(813341401758702555)
      ^^(469828, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(813341401758702555)
      ^^(71.32, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(682304209462071567)
      ^^(469829, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(682304209462071567)
      ^^(AL2O3, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(374093675168532176)
      ^^(469829, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(374093675168532176)
      ^^(14.35, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(599673958541313888)
      ^^(469830, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(599673958541313888)
      ^^(FE2O3, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(734059439308409788)
      ^^(469830, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(734059439308409788)
      ^^(3.3, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(198102885462955358)
      ^^(469831, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(198102885462955358)
      ^^(MGO, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(382660301708610130)
      ^^(469831, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(382660301708610130)
      ^^(0.1, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(820446865557735930)
      ^^(469832, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(820446865557735930)
      ^^(CAO, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(175498736409032621)
      ^^(469832, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(175498736409032621)
      ^^(1.22, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(905057237912100025)
      ^^(469833, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(905057237912100025)
      ^^(NA2O, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(22100847233644758)
      ^^(469833, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(22100847233644758)
      ^^(4.22, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(365022971986240808)
      ^^(469834, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(365022971986240808)
      ^^(K2O, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(651730415974097026)
      ^^(469834, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(651730415974097026)
      ^^(1.55, http://www.w3.org/2001/XMLSchema#double)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(277727730988367315)
      ^^(469835, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:chemical-formula)
      AnonymousIndividual(277727730988367315)
      ^^(H2O+, http://www.w3.org/2001/XMLSchema#string)
   )
   DataPropertyAssertion(
      DataProperty(:db-number)
      AnonymousIndividual(898765750582940682)
      ^^(469835, http://www.w3.org/2001/XMLSchema#integer)
   )
   DataPropertyAssertion(
      DataProperty(:value)
      AnonymousIndividual(898765750582940682)
      ^^(3.08, http://www.w3.org/2001/XMLSchema#double)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(898765750582940682)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(277727730988367315)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(277727730988367315)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(651730415974097026)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(365022971986240808)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(365022971986240808)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(22100847233644758)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(905057237912100025)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(905057237912100025)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(175498736409032621)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(820446865557735930)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(820446865557735930)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(382660301708610130)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(198102885462955358)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(198102885462955358)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(734059439308409788)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(599673958541313888)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(599673958541313888)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(374093675168532176)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(682304209462071567)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(682304209462071567)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(813341401758702555)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(580628687678054676)
      AnonymousIndividual(861508071673254656)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(861508071673254656)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(79664647454915113)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(396636893066307975)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(396636893066307975)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(697908189299931171)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(197170452539109566)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(197170452539109566)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(417651980365712899)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(536758405637632340)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(536758405637632340)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(225247324625825669)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(441511244970352769)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(441511244970352769)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(516415912429307740)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(623973570226678488)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(623973570226678488)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(626162198897772918)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(52907513696994180)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(52907513696994180)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(923168202165799902)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(459211726290120404)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(459211726290120404)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(690040054811732222)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(214381425337405618)
      AnonymousIndividual(726339834324917704)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(726339834324917704)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(170477780860025868)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(822739642299913684)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(822739642299913684)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(894254538624157956)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(204510812850648032)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(204510812850648032)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(210663951452250270)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(164347512979726966)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(164347512979726966)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(654583660298189545)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(997993741536238237)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(997993741536238237)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(196627922432011684)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(817913108149776955)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(817913108149776955)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(469370472786353526)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(177499958352141075)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(177499958352141075)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(848507386156943066)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(971521185014456760)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(971521185014456760)
   )
   ClassAssertion(
      Class(:weight-percent)
      AnonymousIndividual(27889252610652492)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:include)
      AnonymousIndividual(927701922665091765)
      AnonymousIndividual(970691664619765620)
   )
   ClassAssertion(
      Class(:substance)
      AnonymousIndividual(970691664619765620)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:describe)
      AnonymousIndividual(661264559883965951)
      AnonymousIndividual(580628687678054676)
   )
   ClassAssertion(
      Class(:rhyolite)
      AnonymousIndividual(580628687678054676)
   )
   ClassAssertion(
      Class(:sample)
      AnonymousIndividual(580628687678054676)
   )
   ClassAssertion(
      Class(:place)
      AnonymousIndividual(336927251816857747)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:describe)
      AnonymousIndividual(661264559883965951)
      AnonymousIndividual(214381425337405618)
   )
   ClassAssertion(
      Class(:rhyolite)
      AnonymousIndividual(214381425337405618)
   )
   ClassAssertion(
      Class(:sample)
      AnonymousIndividual(214381425337405618)
   )
   ClassAssertion(
      Class(:place)
      AnonymousIndividual(467807035483401712)
   )
   ObjectPropertyAssertion(
      ObjectProperty(:describe)
      AnonymousIndividual(661264559883965951)
      AnonymousIndividual(927701922665091765)
   )
   ClassAssertion(
      Class(:rhyolite)
      AnonymousIndividual(927701922665091765)
   )
   ClassAssertion(
      Class(:sample)
      AnonymousIndividual(927701922665091765)
   )
   ClassAssertion(
      Class(:place)
      AnonymousIndividual(62672087801701202)
   )
   ClassAssertion(
      Class(:publication)
      AnonymousIndividual(661264559883965951)
   )
)