{"@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/","oboinowl_gen":"http://www.geneontology.org/formats/oboInOwl#","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":"reasoned ontology module","rdfs:seeAlso":{"@id":"ns0:reason"},"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.","oboinowl_gen:created_by":"cjm","oboinowl_gen:creation_date":{"@type":"http://www.w3.org/2001/XMLSchema#dateTime","@value":"2018-05-20T21:20:33Z"},"metadata:def/prefLabel":"reasoned ontology module","metadata:def/mappingLoom":"reasonedontologymodule","metadata:def/mappingSameURI":{"@id":"obo_purl:IAO_8000013"},"metadata:prefixIRI":"IAO:8000013"}