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