Есть вопрос

1) Что есть? Solid ontology-based analysis with a rigorous formal mapping for correctness. 
Основательный онтологический анализ (Solid ontology-based analysis) и строгий формализованный мэппинг для обеспечения корректности. 
Корректен ли перевод? Если нет, можно разъяснение?