From OntologPSMW

Revision as of 02:53, 9 January 2016 by KennethBaclawski (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
[ ]

Example     (2)

Plain English     (2A)

You have a Formal Ontology for numbers. You extend your ontology by introducing a Formal Ontology about elephants. You can now talk about 1 elephant or 5 elephants etc. If you now have one ontology that includes both numbers and elephants, we say that you have conservatively extended your ontology of numbers (by adding an ontology for elephants).     (2A1)

Let us call the number ontology T1, and the combined number and elephant ontology, T2. If we think of a Conservative Extension as a binary relation between two formal ontologies, then we can say that T2 conservative extends T1.     (2A2)

Formal Example     (2B)


This page has been migrated from the OntologWiki - Click here for original page     (2B2)