Category:OSWf217812273805881a313de7f601b6805: Difference between revisions

Revision as of 05:18, 11 June 2023

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	ontology variant
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

Graph

Attachments

Description:

📎 Select files (or drop them here)... 📷 Camera

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:OSW9deb690d6ebb4eaaa1ca5a24c2f32cad"

subclass_of

"Category:OSW3a55ac699854514a983c7a3313f2c2f1"

uri

"http://purl.obolibrary.org/obo/IAO_8000013"

This category currently contains no pages or media.