Jól értem az absztrakt osztály lényegét?

Ha ragaszkodunk a terminológiához, akkor nem igazán helyes a kijelentésed. Ha absztrakció áll fenn, akkor tudunk olyant, mondani, hogy "az A az egy B" az elég furán hangzik, hogy "az égitest az egy univerzum".

A csillagászati példánál maradva: az absztrakt osztály legyen az, hogy Űrobjektum. Ennek legyen két gyermek osztálya: Űrköd és Égitest. ("Az Űrköd az egy Égitest"). Az Égitest szintén legyen absztrakt és legyen leszármazott osztályai: Csillag, Bolygó, Hold. ("A Csillag egy Égitest")

Az Égitesteknek van mondjuk súlya és mérete. A Csillagoknak ezenkívül van még fényereje mondjuk, ami megkülönbözteti őket a Bolygóktól és a Holdaktól.

Kis javítás: "A csillagászati példánál maradva: az absztrakt osztály legyen az, hogy Űrobjektum. Ennek legyen két gyermek osztálya: Űrköd és Égitest. ("Az Űrköd az egy Égitest")."

Itt az Űrköd az egy Űrobjektum akart lenni szerintem, nem pedig égitest. :)

Kicsit pontatlan a példád, de nagyjából jól látod kérdező. Mondok egy talán érthetőbbet. Programozók úgyis a falra másznak már tőle, de szinte biztos, hogy tanulmányaid folyamán találkozni fogsz az autós hasonlatokkal.

Tehát képzeld el, hogy egy olyan programot kell készítened, amely autókkal dolgozik, azonban fontos az autó fajtája (teherautó, személyautó, sportkocsi, stb). Ha a fajtája fontos, akkor egyértelmű, hogy egy "auto" osztály példányosításának nincs értelme, hiszen minden objektum esetén tudnunk kell, hogy az milyen fajta autó. Ezért az "auto" osztály lehet absztrakt, amely alapvető tulajdonságokat ad a leszármazottainak (pl. maximum_speed, number_of_wheels, stb), illetve alapvető metódusokat hagy a származtatott osztályokra (Moving(), Breaking() stb).