En tu ejemplo tanto Perro como Gato son clases especializadas de la clase abstracta Animal, una clase abstracta debes verla como un Type genérico o base a partir del cual crearas clases mas especializadas, las clases abstractas a diferencia de una interfaz (a partir de Java 8 una interfaz puede proporcionar la implementación a través de métodos default) permiten definir la implementación de los métodos a excepción de los métodos que declares explícitamente como métodos abstract, en este caso declaras al metodo sonido en la clase Animal como abstract ya que cada clase especializada de Animal debe proporcionar la implementación, entonces definimos la clase abstracta AbstractAnimal, fijate que al declarar como abstract el método 'sonido', este no define la implementación del método, de hecho ni siquiera declara el bloque de código.
public abstract class AbstractAnimal {
public abstract void sonido();
}
Al implementar las clases mas especializadas de AbstractAnimal, estas forzado a proporcionar la implementación del método 'sonido', es aquí donde diferencias entre el sonido que haria la clase especializada Perro y la clase especializada Gato.
public class Perro extends AbstractAnimal {
@Override
public void sonido() {
System.out.println("Guau!");
}
}
public class Gato extends AbstractAnimal {
@Override
public void sonido() {
System.out.println("Miau!");
}
}
Puedes instanciar tanto Perro como Gato de la siguiente manera
AbstractAnimal perroFirulais = new Perro();
AbstractAnimal gatoRamon = new Gato();
perroFirulais.sonido(); // imprimira 'Guau!'
gatoRamon.sonido(); // imprimira 'Miau!'
También fíjate que el type tanto para perroFirulais como para gatoRamon utilizo la misma clase AbstractAnimal a pesar de que los valores son instancias diferentes una instancia de Perro y una instancia de Gato a esta propiedad se la conoce como polimorfismo.
Una corrección es que a partir de Java 8 introdujeron los métodos Default en las interfaces, con ellos una interfaz puede proveer la implementación default de los métodos, esto lo hicieran principalmente por la introducción de lambdas (programación funcional) al querer integrar estos con los API's ya existentes como Collection y List sin romper la implementación existente de estos API's en versiones anteriores, pero toma en cuenta que esto es solo desde la versión de Java 8 en adelante.