DeepVenn -- a web application for the creation of area-proportional Venn diagrams using the deep learning framework Tensorflow.js

Motivation: The Venn diagram is one of the most popular methods to visualize the overlap and differences between data sets. It is especially useful when it is are 'area-proportional'; i.e. the sizes of the circles and the overlaps are proportional to the sizes of the data sets. There are some tools available that can generate area-proportional Venn Diagrams, but most of them are limited to two or three circles, and others are not available as a web application or accept only numbers and not lists of IDs as input. Some existing solutions also have limited accuracy because of outdated algorithms to calculate the optimal placement of the circles. The latest machine learning and deep learning frameworks can offer a solution to this problem. Results: The DeepVenn web application can create area-proportional Venn diagrams of up to ten sets. Because of an algorithm implemented with the deep learning framework Tensorflow.js, DeepVenn automatically finds the optimal solution in which the overlap between the circles corresponds to the sizes of the overlap as much as possible. The only required input is two to ten lists of IDs. Optional parameters include the main title, the subtitle, the set titles and colours of the circles and the background. The user can choose to display absolute numbers or percentages in the final diagram. The image can be saved as a PNG file by right-clicking on it and choosing "Save image as". The right side of the interface also shows the numbers and contents of all intersections. Availability: DeepVenn is available at https://www.deepvenn.com. Contact: [email protected]: 2 pages, 1 figur

Icon: A diagrammatic theorem prover for ontologies

Concept diagrams form a visual language that is aimed at non-experts for the specification of ontologies and reason- ing about them. Empirical evidence suggests that they are more accessible to ontology users than symbolic notations typically used for ontologies (e.g., DL, OWL). Here, we re- port on iCon, a theorem prover for concept diagrams that al- lows reasoning about ontologies diagrammatically. The input to iCon is a theorem that needs proving to establish how an entailment, in an ontology that needs debugging, is caused by a minimal set of axioms. Such a minimal set of axioms is called an entailment justification. Carrying out inference in iCon provides a diagrammatic proof (i.e., explanation) that shows how the axioms in an entailment justification give rise to the entailment under investigation. iCon proofs are for- mally verified and guaranteed to be correct.Zohre

Ontology specific visual canvas generation to facilitate sense-making-an algorithmic approach

Ontologies are domain-specific conceptualizations that are both human and machine-readable. Due to this remarkable attribute of ontologies, its applications are not limited to computing domains. Banking, medicine, agriculture, and law are a few of the non-computing domains, where ontologies are being used very effectively. When creating ontologies for non-computing domains, involvement of the non-computing domain specialists like bankers, lawyers, farmers become very vital. Hence, they are not semantic specialists, particularly designed visualization assistance is required for the ontology schema verifications and sense-making. Existing visualization methods are not fine-tuned for non-technical domain specialists and there are lots of complexities. In this research, a novel algorithm capable of generating domain specialists’ friendlier visualization canvas has been explored. This proposed algorithm and the visualization canvas has been tested for three different domains and overall success of 85% has been yielded