Designing visual languages for description logics


Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic.

Download options


    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

26 (#444,425)

6 months
1 (#386,040)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Logical Foundations of Probability.Rudolf Carnap - 1950 - Chicago, IL, USA: Chicago University of Chicago Press.
A Natural History of Negation.Laurence R. Horn - 1989 - University of Chicago Press.
Dispositions.Stephen Mumford - 1998 - Clarendon Press.

View all 58 references / Add more references

Citations of this work

An Essay on Knowledge and Belief.John Corcoran - 2006 - International Journal of Decision Ethics (2):125-144.
Human Rationality Challenges Universal Logic.Brian R. Gaines - 2010 - Logica Universalis 4 (2):163-205.

Add more citations