1,721,146 research outputs found
Visualizing ALC Using Concept Diagrams
Full text linkThis paper addresses the problem of how to visualize axiomsfrom ALC using concept diagrams. We establish that 66.4% of OWL axioms defined for ontologies in the Manchester corpus are formulated over ALC, demonstrating the significance of considering how to visualize this relatively simple description logic. Our solution to the problem involves providing a general translation from ALC axioms into concept diagrams, which is sufficient to establish that all of ALC can be expressed. However, the translation itself is not designed to give optimally readable diagrams, which is particularly challenging to achieve in the general case. As such, we also improve the translations for a selected category of ALC axioms, to illustrate that more effective diagrams can be produced
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Diagrammatic Ontology Engineering
Full text linkOntology engineering involves defining axioms to capture required constraints when modelling a domain of interest. Ontologies arise in many areas, with potentially a diverse range of end users involved in their creation. This leads to the requirement for accessible approaches to ontology engineering, as some stakeholders need not be fluent or trained in symbolic notations such as OWL. This paper summarises concept diagrams and property diagrams which are designed to be an accessible alternative to OWL. The paper reports on two empirical studies, the first of which focuses on how to choose effective concept diagrams for expressing simple OWL axioms. The second study compares these effective diagrams to both OWL and DL, demonstrating that they can bring about significant improvements in task performance for novice users. These results support the incorporation of concept diagrams into ontology engineering tools, such as Prot´eg´e or WebProtege. This is an exciting prospect, allowing more stakeholders to fully engage with the ontology engineering process, leading to more efficiently produced and robust ontologies in the future
Euler diagram reasoning
Full text linkThis guide has been written as an accompaniment to the How to Use Edith documentation available fromhttp://www.cmis.brighton.ac.uk/research/vmg/HowToUseEdith.pdf. It is intended to aid users of Edith who are less familiar with Euler diagram reasoning, allowing them to gain an understanding of the terminology required in order to use Edith successfully
Diagrammatic Ontology Engineering
Full text linkOntology engineering involves defining axioms to capture required constraints when modelling a domain of interest. Ontologies arise in many areas, with potentially a diverse range of end users involved in their creation. This leads to the requirement for accessible approaches to ontology engineering, as some stakeholders need not be fluent or trained in symbolic notations such as OWL. This paper summarises concept diagrams and property diagrams which are designed to be an accessible alternative to OWL. The paper reports on two empirical studies, the first of which focuses on how to choose effective concept diagrams for expressing simple OWL axioms. The second study compares these effective diagrams to both OWL and DL, demonstrating that they can bring about significant improvements in task performance for novice users. These results support the incorporation of concept diagrams into ontology engineering tools, such as Prot´eg´e or WebProtege. This is an exciting prospect, allowing more stakeholders to fully engage with the ontology engineering process, leading to more efficiently produced and robust ontologies in the future
Euler diagram reasoning
Full text linkThis guide has been written as an accompaniment to the How to Use Edith documentation available fromhttp://www.cmis.brighton.ac.uk/research/vmg/HowToUseEdith.pdf. It is intended to aid users of Edith who are less familiar with Euler diagram reasoning, allowing them to gain an understanding of the terminology required in order to use Edith successfully
Spider diagrams augmented with constants: a complete system
Full text linkThe use of visual languages in computing is varied, ranging from system modelling to the display of data analyzedin computation processes. A prominent example of a visual notation is the Unified Modelling Language (UML),designed for use by software engineers. Constraint diagrams were proposed as an alternative to the UML's ObjectConstraint Language. Spider diagrams form a fragment of constraint diagrams, and their applications are more broad than just placing constraints on software models, including information visualization and displaying the results of database queries. This paper focuses on spider diagrams augmented with constants that represent specific individuals. We present a sound reasoning system for spider diagrams with constants and establish completeness. Furthermore, the technique used to prove completeness can be adapted to give rise to a decision procedure
A Survey of Reasoning Systems Based on Euler Diagrams
No full textAbstractEuler diagrams have been used for centuries as a means for conveying ideas in an intuitive, informal way. Recently much research has been conducted to develop formal, diagrammatic reasoning systems based on Euler diagrams. Most of these systems extend Euler diagrams by adding further syntax to increase expressiveness. In this paper we survey such systems and draw comparisons between them
- …
