Ontologies, inference and validation

Ontologies describe classes and relationships and can support inference across systems. Choose the language around the questions it must answer, and use separate validation rules for incoming records.

Inference and input validation

Example record: inv_1042, typed as ApprovedInvoice.

Inference

Class rule: every ApprovedInvoice has some approver.

Input validation

Contract rule: approverId must be present and contain a value.

Approver omitted

approverId: omitted
Inference

The model implies an unnamed approver.

The existential class rule allows an approver whose name is absent from the data. A missing field does not prove that no approver exists.

Input validation

Required field missing

The record fails validation because approverId is absent.

Approver supplied

approverId: user_17

The field maps to an approver relationship.

Inference

The record names an approver.

The record identifies user_17. The person’s identity and permissions still need verification.

Input validation

Required field present

The field contains a value. This check does not verify the referenced person or their permissions.

Choose the formalism the problem requires

A glossary aligns language. A taxonomy organizes concepts. An ontology adds formal statements about classes and relationships that may support inference. These tools can work together, but adopting a more expressive language also introduces learning, governance, and computational costs. Define the required competency questions before choosing a representation.

SKOS is useful for managed concept schemes, labels, and broader or narrower relationships. OWL can express logical relationships such as class restrictions and equivalence. Do not equate a broader taxonomy relation with a subclass assertion without checking the intended meaning. Business categorization and logical inheritance are not always the same.

Understand what an absent statement means

OWL uses an open world assumption: a statement missing from the knowledge base is not necessarily false. This differs from many application checks where a missing mandatory field is treated as invalid. A model that says every approved invoice has an approver does not, by itself, replace a validation rule that reports a missing approver in an incoming record.

OWL also does not require different names to identify different individuals. Equality and difference have explicit semantics. Review these assumptions with engineers before using ontology results to drive actions. A useful inference can expand knowledge, while a validation rule determines whether a particular submitted record meets an operational contract.

TaskTypical toolQuestion answered
Manage business termsSKOS concept schemeWhich term and label should we use?
Describe logical meaningOWL ontologyWhat follows from these assertions?
Validate an input objectJSON Schema or shape rulesDoes this record meet the contract?

Govern identifiers and mappings

Use stable concept identifiers independently of human labels. Names can change because of reorganization, translation, or clarification without requiring a new concept. When meaning changes materially, publish a distinct version or replacement relationship and preserve the prior interpretation for historical records.

Treat cross domain mappings as governed assertions. A procurement vendor and a finance payee may overlap without being exactly equivalent. Use the weakest relationship that truthfully describes the alignment. Overstated equivalence can propagate incorrect inferences through the graph and is harder to diagnose than a visibly incomplete mapping.

Test expected and unexpected inferences

Build examples that should and should not produce a specific inference. Include inconsistent class assertions, ambiguous identities, and incomplete records. A syntactically valid ontology can still encode the wrong business meaning. Record the reasoner, supported language profile, and input version when comparing results.

Evaluate reasoning cost on representative graph sizes and update patterns. A batch classification step and an interactive request have different latency constraints. Keep a reviewable explanation of derived facts, define when those facts are refreshed, and make the distinction between asserted and inferred knowledge visible to downstream decision services.

References