A diagrammatic reasoning system for the description logic I

  title={A diagrammatic reasoning system for the description logic I},
  author={Frithjof Dau and Peter W. Eklund},
  journal={J. Vis. Lang. Comput.},
Diagrammatic reasoning is a tradition of visual logic that allows sentences that are equivalent to first order logic to be written in a visual or structural form: usually for improved usability. A calculus for the diagram can then be defined that allows well-formed formulas to be derived. This calculus is intended is the analog of logical inference. Description logics (DLs) have become a popular knowledge representation and processing language. DLs correspond to decidable fragments of first… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Visualizing OWL 2 using diagrams

2017 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-10 of 68 references

The semantics of augmented constraint diagrams

J. Vis. Lang. Comput. • 2005
View 9 Excerpts
Highly Influenced

Conceptual graphs

Knowl.-Based Syst. • 1992
View 12 Excerpts
Highly Influenced

Visual Modeling of OWL DL Ontologies Using UML

International Semantic Web Conference • 2004
View 1 Excerpt
Highly Influenced

Conceptual Structures: Logical, Linguistic, and Computational Issues

Lecture Notes in Computer Science • 2000
View 5 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…