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.
منابع مشابه
CARIN: A Representation Language Combining Horn Rules and Description Logics
We describe CARIN, a novel family of representation languages, which integrate the expressive power of Horn rules and of description logics. We address the key issue in designing such a language, namely, providing a sound and complete inference procedure. We identify existential entailment as a core problem in reasoning in CARIN, and describe an existential entailment algorithm for CARIN langua...
متن کاملDescription Logics are not just for the Flightless-Birds: A New Look at the Utility and Foundations of Description Logics
This paper presents some of the underlying principles of description logics (also known as terminological logics or kl-one-style languages), grounding them in the lattice of terms organized by the so-called \subsumption" relationship. A survey of the increasingly varied uses of description logics, including industrial applications, is presented by considering their role in a number of di erent ...
متن کاملTowards practical taxonomic classification for description logics on the Semantic Web
Description logics offer a well-defined semantics for many common and useful reasoning tasks that can be formalized under the notion of subsumption and are currently finding use as a representation language for the Semantic Web (e.g. DAML+OIL). For this domain, description logics can be highly useful for reasoning about relationships between entities in distributed knowledge bases by classifyin...
متن کاملSet Description Languages and Reasoning about Numerical Features of Sets
Set description languages, for example description logics, can be used to specify sets and set-theoretic relationships between them. Mathematical programming, on the other hand, can be used to find optimal solutions for arithmetical equation and in-equation systems. In this paper a combination methodology is presented, which allows one to use numerical algorithms for reasoning about numerical f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 18 شماره
صفحات -
تاریخ انتشار 2009