reasoned ontology module

Category:OSWf217812273805881a313de7f601b6805
reasoned ontology module
ID OSWf217812273805881a313de7f601b6805
UUID f2178122-7380-5881-a313-de7f601b6805
Label reasoned ontology module
Machine compatible name ReasonedOntologyModule
Statements (outgoing)
Statements (incoming)

Description

An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available.

Category (Class)
OWL Class
Supercategories<br>Definition: Category (Class), OWL Class
Imported fromA prefixed IRI defining this entry as a imported term. In OSW the prefix must be a registered imported ontology.<br>Definition: OWL Class iao:8000013
jsondata
uuid"f2178122-7380-5881-a313-de7f601b6805"
name"ReasonedOntologyModule"
label
text"reasoned ontology module"
lang"en"
description
text"An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available."
lang"en"
type
"Category:OSW725a3cf5458f4daea86615fcbd0029f8"
subclass_of
"Category:OSWb188ea07e2305690897997c41d795a56"
uri"http://purl.obolibrary.org/obo/IAO_8000013"
rdf_type
"owl:Class"
iri"http://purl.obolibrary.org/obo/IAO_8000013"
meta
uuid"602ffd38-8b24-48f7-add3-6174903b77c2"
wiki_page
title"OSWf217812273805881a313de7f601b6805"
namespace"Category"
change_id
"84b563ec-4fd4-41da-8038-9cc4891fde85"
imported_from"iao:8000013"

This category currently contains no pages or media.