Category:OSWf217812273805881a313de7f601b6805: Difference between revisions

@@ Line 26: / Line 26: @@
      "iri": "http://purl.obolibrary.org/obo/IAO_8000013",
      "meta": {
-         "uuid": "f6a57ed9-48d7-4236-8ad9-3c7a0b0aa754",
+         "uuid": "602ffd38-8b24-48f7-add3-6174903b77c2",
          "wiki_page": {
              "title": "OSWf217812273805881a313de7f601b6805",

Latest revision as of 05:15, 16 April 2025

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)...

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"