https://ontologforum.com/index.php?action=history&feed=atom&title=ConservativeExtension 2026-05-30T22:28:07Z Revision history for this page on the wiki MediaWiki 1.39.0 https://ontologforum.com/index.php?title=ConservativeExtension&diff=1302&oldid=prev 2016-01-09T06:53:17Z

<p>Fix PurpleMediaWiki references</p> <p><b>New page</b></p><div>Good entry already exists here:<br /> http://en.wikipedia.org/wiki/Conservative_extension <br /> <br /> == Example ==<br /> <br /> === Plain English ===<br /> <br /> You have a [[FormalOntology|Formal Ontology]] for numbers. You extend your ontology by introducing a [[FormalOntology|Formal Ontology]] about elephants.<br /> You can now talk about 1 elephant or 5 elephants etc. If you now have one ontology that includes both numbers and elephants,<br /> we say that you have conservatively extended your ontology of numbers (by adding an ontology for elephants). <br /> <br /> Let us call the number ontology T1, and the combined number and elephant ontology, T2. If we think of a<br /> Conservative Extension as a binary relation between two formal ontologies, then we can say that T2 conservative extends T1. <br /> <br /> === Formal Example ===<br /> <br /> ... <br /> <br /> [[Category:Information]] [[Category:Standard_DefactoStd]]<br /> <br /> <br /> <br /> </div>

imported>KennethBaclawski