FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1936699993> ?p ?o ?g. }

• W1936699993 endingPage "17" @default.
• W1936699993 startingPage "1" @default.
• W1936699993 abstract "Euler diagrams are a visual language which are used for purposes such as the presentation of set-based data or as the basis of visual logical languages which can be utilised for software specification and reasoning. Such Euler diagram reasoning systems tend to be defined at an abstract level, and the concrete level is simply a visualisation of an abstract model, thereby capturing some subset of the usual boolean logic. The visualisation process tends to be divorced from the data transformation process thereby affecting the user's mental map and reducing the effectiveness of the diagrammatic notation. Furthermore, geometric and topological constraints, called wellformedness conditions, are often placed on the concrete diagrams to try to reduce human comprehension errors, and the effects of these conditions are not modelled in these systems.We view Euler diagrams as a type of graph, where the faces that are present are the key features that convey information and we provide transformations at the dual graph level that correspond to transformations of Euler diagrams, both in terms of editing moves and logical reasoning moves. This original approach gives a correspondence between manipulations of diagrams at an abstract level (such as logical reasoning steps, or simply an update of information) and the manipulation at a concrete level. Thus we facilitate the presentation of diagram changes in a manner that preserves the mental map. The approach will facilitate the realisation of reasoning systems at the concrete level; this has the potential to provide diagrammatic reasoning systems that are inherently different from symbolic logics due to natural geometric constraints. We provide a particular concrete transformation system whichpreserves the important criteria of planarity and connectivity, which may form part of a framework encompassing multiple concrete systems each adhering to different sets of wellformedness conditions." @default.
• W1936699993 created "2016-06-24" @default.
• W1936699993 creator A5086562959 @default.
• W1936699993 date "2009-09-08" @default.
• W1936699993 modified "2023-09-24" @default.
• W1936699993 title "Euler Diagram Transformations" @default.
• W1936699993 cites W1534480245 @default.
• W1936699993 cites W1552252603 @default.
• W1936699993 cites W1616708177 @default.
• W1936699993 cites W1769857254 @default.
• W1936699993 cites W1812431881 @default.
• W1936699993 cites W1950050180 @default.
• W1936699993 cites W1987697835 @default.
• W1936699993 cites W1997952588 @default.
• W1936699993 cites W1998236253 @default.
• W1936699993 cites W2063089045 @default.
• W1936699993 cites W2069342586 @default.
• W1936699993 cites W2100166969 @default.
• W1936699993 cites W2119244061 @default.
• W1936699993 cites W2128050408 @default.
• W1936699993 cites W2142304137 @default.
• W1936699993 cites W2163094636 @default.
• W1936699993 cites W5053679 @default.
• W1936699993 doi "https://doi.org/10.14279/tuj.eceasst.18.266" @default.
• W1936699993 hasPublicationYear "2009" @default.
• W1936699993 type Work @default.
• W1936699993 sameAs 1936699993 @default.
• W1936699993 citedByCount "2" @default.
• W1936699993 countsByYear W19366999932012 @default.
• W1936699993 countsByYear W19366999932017 @default.
• W1936699993 crossrefType "journal-article" @default.
• W1936699993 hasAuthorship W1936699993A5086562959 @default.
• W1936699993 hasConcept C106624574 @default.
• W1936699993 hasConcept C132525143 @default.
• W1936699993 hasConcept C145420912 @default.
• W1936699993 hasConcept C154945302 @default.
• W1936699993 hasConcept C199360897 @default.
• W1936699993 hasConcept C33923547 @default.
• W1936699993 hasConcept C36464697 @default.
• W1936699993 hasConcept C41008148 @default.
• W1936699993 hasConcept C55508974 @default.
• W1936699993 hasConcept C558772884 @default.
• W1936699993 hasConcept C80444323 @default.
• W1936699993 hasConceptScore W1936699993C106624574 @default.
• W1936699993 hasConceptScore W1936699993C132525143 @default.
• W1936699993 hasConceptScore W1936699993C145420912 @default.
• W1936699993 hasConceptScore W1936699993C154945302 @default.
• W1936699993 hasConceptScore W1936699993C199360897 @default.
• W1936699993 hasConceptScore W1936699993C33923547 @default.
• W1936699993 hasConceptScore W1936699993C36464697 @default.
• W1936699993 hasConceptScore W1936699993C41008148 @default.
• W1936699993 hasConceptScore W1936699993C55508974 @default.
• W1936699993 hasConceptScore W1936699993C558772884 @default.
• W1936699993 hasConceptScore W1936699993C80444323 @default.
• W1936699993 hasLocation W19366999931 @default.
• W1936699993 hasOpenAccess W1936699993 @default.
• W1936699993 hasPrimaryLocation W19366999931 @default.
• W1936699993 hasRelatedWork W117725880 @default.
• W1936699993 hasRelatedWork W124164766 @default.
• W1936699993 hasRelatedWork W1525065554 @default.
• W1936699993 hasRelatedWork W1534480245 @default.
• W1936699993 hasRelatedWork W1549126937 @default.
• W1936699993 hasRelatedWork W195441223 @default.
• W1936699993 hasRelatedWork W1964935812 @default.
• W1936699993 hasRelatedWork W1992503283 @default.
• W1936699993 hasRelatedWork W1998236253 @default.
• W1936699993 hasRelatedWork W2015072063 @default.
• W1936699993 hasRelatedWork W2032680966 @default.
• W1936699993 hasRelatedWork W2185712430 @default.
• W1936699993 hasRelatedWork W2188400438 @default.
• W1936699993 hasRelatedWork W2894637107 @default.
• W1936699993 hasRelatedWork W2986452333 @default.
• W1936699993 hasRelatedWork W3170158234 @default.
• W1936699993 hasRelatedWork W582053384 @default.
• W1936699993 hasRelatedWork W91527745 @default.
• W1936699993 hasRelatedWork W2520433599 @default.
• W1936699993 hasRelatedWork W2747224073 @default.
• W1936699993 hasVolume "18" @default.
• W1936699993 isParatext "false" @default.
• W1936699993 isRetracted "false" @default.
• W1936699993 magId "1936699993" @default.
• W1936699993 workType "article" @default.