Describir: Principios de la ontología formal del derecho y su expresión simbólica