Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955607364> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2955607364 endingPage "292" @default.
- W2955607364 startingPage "275" @default.
- W2955607364 abstract "DOF is a novel framework for defining ontologies and enforcing them during document development and document evolution. A major goal of DOF is the integrated development of formal certification documents (e. g., for Common Criteria or CENELEC 50128) that require consistency across both formal and informal arguments. To support a consistent development of formal and informal parts of a document, we provide Isabelle/DOF, an implementation of DOF on top of Isabelle/HOL. Isabelle/DOF is integrated into Isabelle’s IDE, which allows for smooth ontology development as well as immediate ontological feedback during the editing of a document. In this paper, we give an in-depth presentation of the design concepts of DOF’s Ontology Definition Language (ODL) and key aspects of the technology of its implementation. Isabelle/DOF is the first ontology language supporting machine-checked links between the formal and informal parts in an LCF-style interactive theorem proving environment. Sufficiently annotated, large documents can easily be developed collaboratively, while ensuring their consistency, and the impact of changes (in the formal and the semi-formal content) is tracked automatically." @default.
- W2955607364 created "2019-07-12" @default.
- W2955607364 creator A5001790193 @default.
- W2955607364 creator A5016746101 @default.
- W2955607364 date "2019-01-01" @default.
- W2955607364 modified "2023-10-13" @default.
- W2955607364 title "Isabelle/DOF: Design and Implementation" @default.
- W2955607364 cites W1505271495 @default.
- W2955607364 cites W1593582629 @default.
- W2955607364 cites W1910466616 @default.
- W2955607364 cites W1983365251 @default.
- W2955607364 cites W2163347957 @default.
- W2955607364 cites W246379881 @default.
- W2955607364 cites W2611818715 @default.
- W2955607364 cites W2883194143 @default.
- W2955607364 cites W4250846042 @default.
- W2955607364 cites W4302802465 @default.
- W2955607364 doi "https://doi.org/10.1007/978-3-030-30446-1_15" @default.
- W2955607364 hasPublicationYear "2019" @default.
- W2955607364 type Work @default.
- W2955607364 sameAs 2955607364 @default.
- W2955607364 citedByCount "7" @default.
- W2955607364 countsByYear W29556073642019 @default.
- W2955607364 countsByYear W29556073642020 @default.
- W2955607364 countsByYear W29556073642021 @default.
- W2955607364 countsByYear W29556073642023 @default.
- W2955607364 crossrefType "book-chapter" @default.
- W2955607364 hasAuthorship W2955607364A5001790193 @default.
- W2955607364 hasAuthorship W2955607364A5016746101 @default.
- W2955607364 hasBestOaLocation W29556073642 @default.
- W2955607364 hasConcept C111472728 @default.
- W2955607364 hasConcept C115903868 @default.
- W2955607364 hasConcept C126838900 @default.
- W2955607364 hasConcept C134306372 @default.
- W2955607364 hasConcept C138885662 @default.
- W2955607364 hasConcept C154945302 @default.
- W2955607364 hasConcept C17435882 @default.
- W2955607364 hasConcept C17744445 @default.
- W2955607364 hasConcept C199360897 @default.
- W2955607364 hasConcept C199539241 @default.
- W2955607364 hasConcept C25810664 @default.
- W2955607364 hasConcept C2776436953 @default.
- W2955607364 hasConcept C2776542497 @default.
- W2955607364 hasConcept C2777601897 @default.
- W2955607364 hasConcept C2778177438 @default.
- W2955607364 hasConcept C33923547 @default.
- W2955607364 hasConcept C3473561 @default.
- W2955607364 hasConcept C41008148 @default.
- W2955607364 hasConcept C46304622 @default.
- W2955607364 hasConcept C71924100 @default.
- W2955607364 hasConcept C75606506 @default.
- W2955607364 hasConcept C78726541 @default.
- W2955607364 hasConcept C98045186 @default.
- W2955607364 hasConceptScore W2955607364C111472728 @default.
- W2955607364 hasConceptScore W2955607364C115903868 @default.
- W2955607364 hasConceptScore W2955607364C126838900 @default.
- W2955607364 hasConceptScore W2955607364C134306372 @default.
- W2955607364 hasConceptScore W2955607364C138885662 @default.
- W2955607364 hasConceptScore W2955607364C154945302 @default.
- W2955607364 hasConceptScore W2955607364C17435882 @default.
- W2955607364 hasConceptScore W2955607364C17744445 @default.
- W2955607364 hasConceptScore W2955607364C199360897 @default.
- W2955607364 hasConceptScore W2955607364C199539241 @default.
- W2955607364 hasConceptScore W2955607364C25810664 @default.
- W2955607364 hasConceptScore W2955607364C2776436953 @default.
- W2955607364 hasConceptScore W2955607364C2776542497 @default.
- W2955607364 hasConceptScore W2955607364C2777601897 @default.
- W2955607364 hasConceptScore W2955607364C2778177438 @default.
- W2955607364 hasConceptScore W2955607364C33923547 @default.
- W2955607364 hasConceptScore W2955607364C3473561 @default.
- W2955607364 hasConceptScore W2955607364C41008148 @default.
- W2955607364 hasConceptScore W2955607364C46304622 @default.
- W2955607364 hasConceptScore W2955607364C71924100 @default.
- W2955607364 hasConceptScore W2955607364C75606506 @default.
- W2955607364 hasConceptScore W2955607364C78726541 @default.
- W2955607364 hasConceptScore W2955607364C98045186 @default.
- W2955607364 hasLocation W29556073641 @default.
- W2955607364 hasLocation W29556073642 @default.
- W2955607364 hasOpenAccess W2955607364 @default.
- W2955607364 hasPrimaryLocation W29556073641 @default.
- W2955607364 hasRelatedWork W1509244320 @default.
- W2955607364 hasRelatedWork W188463999 @default.
- W2955607364 hasRelatedWork W2350252029 @default.
- W2955607364 hasRelatedWork W2757679662 @default.
- W2955607364 hasRelatedWork W2928609647 @default.
- W2955607364 hasRelatedWork W2955607364 @default.
- W2955607364 hasRelatedWork W4312542365 @default.
- W2955607364 hasRelatedWork W76010470 @default.
- W2955607364 hasRelatedWork W88656310 @default.
- W2955607364 hasRelatedWork W2004831104 @default.
- W2955607364 isParatext "false" @default.
- W2955607364 isRetracted "false" @default.
- W2955607364 magId "2955607364" @default.
- W2955607364 workType "book-chapter" @default.