Formal Ontology
Definition
A formal ontology describes concepts with machine-interpretable meaning.
Classes, relationships, and logical statements are expressed in a language with defined semantics. This allows certain inferences and contradictions to be automatically examined.
Simply explained
A technical dictionary receives precise rules about how its concepts are related.
Why it matters in practice
This supports consistent knowledge and rule-based AI applications.
Example from business
Hypothetical example: A company models product classes and impermissible combinations.
Limits and pitfalls
- Formal consistency does not mean that the underlying assumptions are true or complete.
Origin & history
The approach combines knowledge representation with formal logic; OWL is a common implementation.
Use in mid-sized companies
- SMEs should start with a clearly defined subject area.
Frequently asked questions
Is a keyword list already a formal ontology?
No, explicit logical meanings are usually missing for that.
Sources
- OWL 2 Overview — · W3C: OWL 2 Overview —
Editorially reviewed on: