A diagrammatic reasoning system for ALC

Authors:
Frithjof Dau;Peter Eklund
Affiliations:
Faculty of Informatics, University of Wollongong, Wollongong, NSW, Australia;Faculty of Informatics, University of Wollongong, Wollongong, NSW, Australia
Venue:
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Year:
2007

Citing 7
Cited 0

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine
A comparison of formal knowledge representation schemes as communication tools; predicate logic vs semantic network

International Journal of Man-Machine Studies
Towards Correspondence between Conceptual Graphs and Description Logics

ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations

ICCS '02 Proceedings of the 10th International Conference on Conceptual Structures: Integration and Interfaces
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
An interactive visual language for term subsumption languages

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Fixing shin's reading algorithm for peirce's existential graphs

Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style 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 provided. As the transformation rules modify the diagrammatic representation of ALC this produces a diagrammatic calculus. Some examples present in the paper illustrate the use and properties of this calculus.