@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ns0: <http://robot.obolibrary.org/> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
obo_purl:IAO_8000013
metadata_def:mappingLoom "reasonedontologymodule" ;
metadata_def:mappingSameURI obo_purl:IAO_8000013 ;
metadata_def:prefLabel "reasoned ontology module"@en ;
metadata:prefixIRI "IAO:8000013" ;
obo_purl:IAO_0000111 "reasoned ontology module"@en ;
obo_purl:IAO_0000115 "An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available."@en ;
a owl:Class ;
rdfs:label "reasoned ontology module"@en ;
rdfs:seeAlso ns0:reason ;
rdfs:subClassOf obo_purl:IAO_8000000 .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix obo_purl: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix ns0: <http://robot.obolibrary.org/> .
@prefix metadata_def: <http://data.bioontology.org/metadata/def/> .
@prefix metadata: <http://data.bioontology.org/metadata/> .
obo_purl:IAO_8000013
metadata_def:mappingLoom "reasonedontologymodule" ;
metadata_def:mappingSameURI obo_purl:IAO_8000013 ;
metadata_def:prefLabel "reasoned ontology module"@en ;
metadata:prefixIRI "IAO:8000013" ;
obo_purl:IAO_0000111 "reasoned ontology module"@en ;
obo_purl:IAO_0000115 "An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available."@en ;
a owl:Class ;
rdfs:label "reasoned ontology module"@en ;
rdfs:seeAlso ns0:reason ;
rdfs:subClassOf obo_purl:IAO_8000000 .