Core Ontology for Petroleum Installations · INF-UFRGS-Ontologies · CNPq INF-UFRGS-ENERGIA inf.ufrgs.br/ontologies/copi dee69df
Ontology Consequences validated classes · individual inferences · disjointness
— classes — equivalent — necessary —
—
Graph
Chowlk
Validated Classes
Building consequence graph…
Hierarchy +Functions Full Classes Genus BFO roots Functions Parts Processes Proposed
Legend
BFO/IOF-Core root
Equivalent (≡)
Necessary (⊑)
Proposed
Intermediate genus
Function
subClassOf
equivalentClass
disjointWith
— Select a class to view its Chowlk diagram.
copi: iof:
Class Inspector
Click a class to inspect its individual consequences and inferred types.

Suggest a change

Opens a pre-filled GitHub issue on the COPI repo — nothing is sent until you submit it there.