<http://webisa.webdatacommons.org/concept/equivalence_checking_>	<http://www.w3.org/2000/01/rdf-schema#label>	"equivalence checking" .
<http://webisa.webdatacommons.org/concept/equivalence_checking_>	<http://webisa.webdatacommons.org/ontology#hasPreModifier>	"equivalence" .
<http://webisa.webdatacommons.org/concept/equivalence_checking_>	<http://webisa.webdatacommons.org/ontology#hasHead>	"checking" .
<http://webisa.webdatacommons.org/concept/equivalence_checking_>	<http://www.w3.org/2002/07/owl#sameAs>	<http://dbpedia.org/resource/Formal_equivalence_checking> .