Text this: Los principios de la ontología formal del derecho y su expresión simbólica