RIS ID
22006
Abstract
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate logic. In this paper, a diagrammatic representation of the DL ALC, based on Peirce’s existential graphs, is presented, and a set of transformation rules on these graphs is provided. It is proven that these rules form a sound and complete diagrammatic calculus for ALC.
Publication Details
Dau, F. & Eklund, P. W. (2007). A Pierce Style Calculus for ALC. In P. Cox (Eds.), Proceedings of the VLL 2007 workshop on Visual Languages and Logic (pp. 55-71). USA: CEUR-WS.