Using the Isabelle ontology framework -- linking the formal with the informal

DOI10.1007/978-3-319-96812-4_3zbMath1417.68178OpenAlexW2883194143MaRDI QIDQ1798941

Paolo Crisafulli, Achim D. Brucker, Idir Ait-Sadoune, Burkhart Wolff

Publication date: 18 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-96812-4_3

zbMATH Keywords

ontologyIsabelle/DOFontological modeling

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

Isabelle/DOF ⋮ Integration of formal proof into unified assurance cases with Isabelle/SACM

Uses Software

• Isabelle
• R
• Isabelle/HOL
• Protege
• NeOn
• rOntorion
• Fluent Editor

This page was built for publication: Using the Isabelle ontology framework -- linking the formal with the informal