Link to this page
OCD ontology
Last uploaded:
December 4, 2023
Acronym | OCD |
Visibility | Public |
Description | The Obsessive Compulsive Disorder Ontology (OCD) is a domain-specific ontology for representing the knowledge of OCD. |
Status | Alpha |
Format | OWL |
Contact | Areej , muhajaba@cardiff.ac.uk |
Categories | Health, Taxonomic Classification |
Version | Released | Uploaded | Downloads |
---|---|---|---|
unknown (Parsed, Indexed, Metrics, Annotator) | 12/21/2022 | 12/04/2023 | OWL | CSV | RDF/XML | Diff |
unknown (Archived) | 12/21/2022 | 12/21/2022 | OWL | Diff |
unknown (Archived) | 05/06/2022 | 06/08/2022 | SKOS |
unknown (Archived) | 05/06/2022 | 06/08/2022 | OWL |
unknown (Archived) | 05/06/2022 | 05/09/2022 | OWL | Diff |
unknown (Archived) | 05/06/2022 | 05/06/2022 | OWL | Diff |
more... |
No views of OCD available
Jump to:
Id | http://purl.obolibrary.org/obo/BFO_0000008
http://purl.obolibrary.org/obo/BFO_0000008
|
---|---|
Preferred Name | temporal region |
Type | http://www.w3.org/2002/07/owl#Class |
All Properties
label | temporal region
|
---|---|
prefLabel | temporal region
|
has associated axiom(fol) | (forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002]
(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001]
|
editor note | Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional
|
has associated axiom(nl) | Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])
All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
|
is defined by | |
elucidation | A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
|
BFO OWL specification label | t-region
|
prefixIRI | BFO:0000008
|
see also | |
subClassOf | |
type | |
BFO CLIF specification label | TemporalRegion
|
disjointWith |
Add comment
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |
- Problem retrieving properties:
Notes
Filter:
Add NCBO Web Widgets to your site for OCD
Widget type | Widget demonstration |
---|---|
|
Step 2: Follow the Instructions
For more help visit NCBO Widget Wiki |
|
Example 1 (start typing the class name to get its full URI)
Example 2 (get the ID for a class) Example 3 (get the preferred name for a class) Step 2: Follow the Instructions
For more help visit NCBO Widget Wiki |
|
Step 2: Follow the InstructionsCopy the code below and paste it to your HTML page <iframe frameborder="0" src="/widgets/visualization?ontology=OCD&class=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FGSSO_001155&apikey=YOUR_API_KEY"></iframe> For more help visit NCBO Widget Wiki |
|
Step 2: Follow the InstructionsCopy the code below and paste it to your HTML page <link rel="stylesheet" type="text/css" href="/widgets/jquery.ncbo.tree.css"> <script src="/widgets/jquery.ncbo.tree-2.0.2.js"></script> <div id="widget_tree"></div> var widget_tree = $("#widget_tree").NCBOTree({ apikey: "YOUR_API_KEY", ontology: "OCD" }); You can also view a detailed demonstration For more help visit NCBO Widget Wiki |