Ontology Verification

OOPS! · FOOPS! · OWL Consistency · Competency Questions

← Class Reference

IRI: https://www.inf.ufrgs.br/ontologies/copi Validated classes: 293 TTL size: 1901.0 KB

OOPS! Ontology Pitfall Scanner

Detects common modeling mistakes — oops.linkeddata.es

Click Run to analyze the ontology against 41 pitfall patterns.

OWL 2 DL Consistency

HermiT reasoner via owlready2 — detects unsatisfiable classes and axiom contradictions

Click Run to check ontology consistency using the HermiT OWL reasoner.

FOOPS! FAIR Evaluation

FAIR principles compliance for ontologies — foops.linkeddata.es · Requires the IRI to be publicly resolvable

Click Run to evaluate FAIR compliance. Some checks will fail until the ontology is deployed at https://www.inf.ufrgs.br/ontologies/copi.

APV — Annotation Property Verification

Verifies annotation constraints declared in the ontology itself via apv: annotations — URI patterns, language coverage, annotation cardinality, length and regex rules. Runs locally against the combined Turtle export.
Tool by Rafael H. Petry — MSc CS, UFRGS, Apr 2026.

Click Run to verify APV constraints. Add apv: annotations to the ontology header in copi-edit.owl to configure rules.

Definition Quality

Checks Aristotelian structure (genus in definition), bilingual completeness, semiformal axiom, Portuguese label, and circularity — across all validated/reviewed classes with a COPI ID.

Click Run to check definition quality across all classes with an assigned COPI IRI.

Competency Questions

Manage CQs →

Answered

Partial

106

Open

What is a valve?

answered

What is a pump?

answered

What is a compressor?

answered

What are all the subclasses of Valve recognised in COPI?

answered

Which equipment classes in COPI have iof:Assembly as their BFO genus root?

answered

Which equipment classes in COPI have iof:MaterialArtifact as their BFO genus root?

answered

Which equipment classes in COPI are defined with equivalent (sufficient + necessary) conditions?

answered

Which equipment classes in COPI use necessary-only (primitive) conditions?

answered

Can the same individual be simultaneously classified as a Pump and as a Compressor?

answered

∃x (Pump(x) ∧ Compressor(x)) → ⊥

Which equipment classes in COPI bear a FluidFlowControlFunction as identity-giving function?

answered

Which equipment classes bear a SafetyFunction as identity-giving function?

answered

Which equipment classes in COPI participate in a SeparationProcess?

answered

What planned processes involve Transmitters as measurement participants?

answered

What is the identity-giving function of a control valve?

answered

∃f (FlowControlFunction(f) ∧ bearerOf(controlValve, f))

What distinguishes an on-off control valve from a proportional control valve?

answered

What distinguishes a safety valve from a safety relief valve?

answered

What distinguishes a safety valve from a relief valve?

answered

Can a check valve simultaneously be a control valve?

answered

∃x (CheckValve(x) ∧ ControlValve(x)) → ⊥

What is the genus of a solenoid valve?

answered

What distinguishes a choke valve from a generic control valve?

answered

What is the identity-giving function of a blow down valve?

answered

What distinguishes a self-operating valve from an actuated control valve?

answered

What distinguishes a gate valve from a globe valve constructively?

answered

What are the necessary parts of an emergency shut-down valve?

answered

What distinguishes a ball valve from a butterfly valve?

answered

Is a diaphragm valve a type of manual valve or a type of control valve?

answered

What is the identity-giving function of a check valve?

answered

∃f (UnidirectionalFlowPermissionFunction(f) ∧ bearerOf(checkValve, f))

What distinguishes a block-and-bleed valve from a double-block-and-bleed valve?

answered

What is the identity-giving function of a centrifugal pump?

answered

∃f (FluidTransferFunction(f) ∧ bearerOf(centrifugalPump, f))

What are the necessary parts of a centrifugal pump?

answered

What distinguishes a centrifugal pump from a positive displacement pump?

answered

What is the identity-giving function of a centrifugal compressor?

answered

∃f (GasCompressionFunction(f) ∧ bearerOf(centrifugalCompressor, f))

What are the necessary parts of a compressor?

answered

What distinguishes a centrifugal compressor from a reciprocating compressor?

answered

What planned process does a pump necessarily participate in as the primary agent?

answered

∃x∃p (Pump(x) ∧ FluidPumpingProcess(p) ∧ participatesIn(x,p))

What is the identity-giving function of a heat exchanger?

answered

∃f (HeatTransferFunction(f) ∧ bearerOf(heatExchanger, f))

What distinguishes a plate heat exchanger from a shell-and-tube heat exchanger?

answered

What is the genus of a plate heat exchanger?

answered

Is a heater a subtype of heat exchanger in COPI?

answered

What process does a heat exchanger participate in?

answered

∃x∃p (HeatExchanger(x) ∧ HeatTransferProcess(p) ∧ participatesIn(x,p))

What is the difference between a pressure vessel and a storage tank in COPI?

answered

Is an absorber a subtype of pressure vessel in COPI?

answered

∀x (Absorber(x) → PressureVessel(x))

What distinguishes an absorber from a separator?

answered

What is the identity-giving function of an absorber?

answered

∃f (AbsorptionFunction(f) ∧ bearerOf(absorber, f))

Is a storage tank necessarily a pressure vessel?

answered

∀x (StorageTank(x) → PressureVessel(x)) ?

What distinguishes a Transmitter from a local Indicator?

answered

What is the measurand of a differential pressure transmitter?

answered

What is the measurand of a vibration transmitter?

answered

What distinguishes a temperature element from a temperature transmitter?

answered

What distinguishes a pressure gauge from a pressure transmitter?

answered

What distinguishes a level sight glass from a level transmitter?

answered

What is the designed function of a thermowell?

answered

∃f (TemperatureElementProtectionFunction(f) ∧ bearerOf(thermowell, f))

What is the designed function of a limit switch?

answered

∃f (PositionDetectionFunction(f) ∧ bearerOf(limitSwitch, f))

What is the designed function of a humidity analyser?

answered

What is the designed function of a phase sequence meter?

answered

What is the identity-giving function of a flow indicator?

answered

What is the difference between an orifice plate and a restriction orifice?

answered

What is the genus of an orifice plate in COPI?

answered

What is the identity-giving function of an orifice plate?

answered

∃f (FlowMeasurementFunction(f) ∧ bearerOf(orificePlate, f))

What is the identity-giving function of a restriction orifice?

answered

∃f (FlowRestrictionFunction(f) ∧ bearerOf(restrictionOrifice, f))

What is the genus of a coalescer in COPI?

answered

What is the identity-giving function of a coalescer?

answered

∃f (CoalescenceFunction(f) ∧ bearerOf(coalescer, f))

What distinguishes an in-line strainer from a coalescing filter?

answered

What type of process does a filter participate in?

answered

∃x∃p (Filter(x) ∧ FiltrationProcess(p) ∧ participatesIn(x,p))

What is the identity-giving function of an electric motor?

answered

∃f (ElectromechanicalConversionFunction(f) ∧ bearerOf(electricMotor, f))

What is the genus of a gearbox in COPI?

answered

What is the identity-giving function of a gearbox?

answered

∃f (MechanicalPowerTransmissionFunction(f) ∧ bearerOf(gearbox, f))

What is the identity-giving function of a fan or blower?

answered

∃f (GasCirculationFunction(f) ∧ bearerOf(fan, f))

What process does a fan participate in?

answered

Is an electric motor an Assembly or a MaterialArtifact in BFO terms?

answered

What is a turbine?

open

What is a portion of fluid?

open

What is a angle valve body?

open

Is a angle valve body a necessary component of every angle valve?

open

What is a centrifugal compressor casing?

open

Is a centrifugal compressor casing a necessary component of every centrifugal compressor?

open

What is a check valve body?

open

Is a check valve body a necessary component of every check valve?

open

What is a check valve closure member?

open

Which COPI equipment classes require a check valve closure member as a necessary component? (candidates: check valve and wafer check valve)

open

What is a compressor casing?

open

Is a compressor casing a necessary component of every compressor?

open

What is a diaphragm actuator?

open

Is a diaphragm actuator a necessary component of every diaphragm valve?

open

What is a differential pressure measuring element?

open

Is a differential pressure measuring element a necessary component of every differential pressure gauge?

open

What is a display?

open

Is a display a necessary component of every indicator?

open

What is a drive shaft?

open

Is a drive shaft a necessary component of every pump?

open

What is a electrical connection?

open

Is a electrical connection a necessary component of every solenoid valve?

open

What is a electrical connector?

open

Is a electrical connector a necessary component of every phase sequence meter?

open

What is a filter element?

open

Is a filter element a necessary component of every in-line filter?

open

What is a flow measuring element?

open

Is a flow measuring element a necessary component of every flow indicator?

open

What is a gear casing?

open

Is a gear casing a necessary component of every gearbox?

open

What is a gear wheel?

open

Is a gear wheel a necessary component of every gearbox?

open

What is a globe valve body?

open

Is a globe valve body a necessary component of every globe control valve?

open

What is a heat transfer plate?

open

Is a heat transfer plate a necessary component of every plate heat exchanger?

open

What is a housing?

open

Which COPI equipment classes require a housing as a necessary component? (candidates: blower, humidity analyser and pressure gauge)

open

What is a input shaft?

open

Is a input shaft a necessary component of every gearbox?

open

What is a manual actuator?

open

Is a manual actuator a necessary component of every manual valve?

open

What is a output shaft?

open

Is a output shaft a necessary component of every gearbox?

open

What is a port?

open

Is a port a necessary component of every diaphragm valve?

open

What is a power transformer primary winding?

open

Is a power transformer primary winding a necessary component of every power transformer?

open

What is a power transformer secondary winding?

open

Is a power transformer secondary winding a necessary component of every power transformer?

open

What is a pump casing?

open

Is a pump casing a necessary component of every pump?

open

What is a pump shaft?

open

Is a pump shaft a necessary component of every centrifugal pump?

open

What is a rotary actuator?

open

Is a rotary actuator a necessary component of every ball control valve?

open

What is a rotor?

open

Is a rotor a necessary component of every electric motor?

open

What is a seat?

open

Is a seat a necessary component of every valve?

open

What is a shaft?

open

Is a shaft a necessary component of every blower?

open

What is a solenoid actuator?

open

Is a solenoid actuator a necessary component of every solenoid valve?

open

What is a stator?

open

Is a stator a necessary component of every electric motor?

open

What is a switch contact?

open

Is a switch contact a necessary component of every limit switch?

open

What is a thermowell stem?

open

Is a thermowell stem a necessary component of every thermowell?

open

What is a thin plate?

open

Is a thin plate a necessary component of every orifice plate?

open

What is a transmitter housing?

open

Is a transmitter housing a necessary component of every vibration transmitter?

open

What is a valve body?

open

Which COPI equipment classes require a valve body as a necessary component? (candidates: blow down valve, butterfly control valve, double block and bleed valve, safety relief valve, self-operating valve and valve)

open

What is a valve seat?

open

Which COPI equipment classes require a valve seat as a necessary component? (candidates: ball control valve, ball valve, check valve, gate valve, plug valve and swing check valve)

open

What is a valve stem?

open

Which COPI equipment classes require a valve stem as a necessary component? (candidates: ball valve, gate control valve, globe control valve and globe valve)

open

What is a vessel head?

open

Is a vessel head a necessary component of every vessel?

open

What is a vessel shell?

open

Is a vessel shell a necessary component of every vessel?

open

What is a closure member?

open

Is closure member the correct genus for wafer check valve in the COPI ontology?

open

What is a electric measuring instrument?

open

Is electric measuring instrument the correct genus for phase sequence meter in the COPI ontology?

open

What is a electrical switching device?

open

Is electrical switching device the correct genus for circuit breaker in the COPI ontology?

open

What is a flow modification accessory?

open

Is flow modification accessory the correct genus for restriction orifice in the COPI ontology?

open

What is a materialartifact?

open

Which classes have materialartifact as their genus? (candidates: instrument, strainer)

open

What is a primary winding?

open

Is primary winding the correct genus for power transformer in the COPI ontology?

open

What is a process analyzer?

open

Is process analyzer the correct genus for humidity analyser in the COPI ontology?

open

What is a rotating shaft?

open

Is rotating shaft the correct genus for centrifugal pump in the COPI ontology?

open

What is a secondary winding?

open

Is secondary winding the correct genus for power transformer in the COPI ontology?

open

What is a sight glass?

open

Is sight glass the correct genus for level sight glass in the COPI ontology?

open

What is a valve closure member?

open

Is valve closure member the correct genus for check valve in the COPI ontology?

open

Ontology Verification

Suggest a change