A diagrammatic reasoning system for the description logic ALC

Dau, Frithjof and Eklund, Peter 2008, A diagrammatic reasoning system for the description logic ALC, Journal of visual languages and computing, vol. 19, no. 5, pp. 539-573, doi: 10.1016/j.jvlc.2007.12.003.

Attached Files
Name Description MIMEType Size Downloads

Title A diagrammatic reasoning system for the description logic ALC
Author(s) Dau, Frithjof
Eklund, PeterORCID iD for Eklund, Peter orcid.org/0000-0003-2313-8603
Journal name Journal of visual languages and computing
Volume number 19
Issue number 5
Start page 539
End page 573
Total pages 35
Publisher Elsevier
Place of publication Amsterdam, The Netherlands
Publication date 2008-10
ISSN 1045-926X
Keyword(s) Description logics
Spider diagrams
Constraint diagrams
Conceptual graphs
Existential graphs
Science & Technology
Computer Science, Software Engineering
Computer Science
Language eng
DOI 10.1016/j.jvlc.2007.12.003
Field of Research 0803 Computer Software
1702 Cognitive Science
0801 Artificial Intelligence And Image Processing
HERDC Research category C1.1 Refereed article in a scholarly journal
ERA Research output type C Journal article
Copyright notice ©2008, Elsevier
Persistent URL http://hdl.handle.net/10536/DRO/DU:30113918

Document type: Journal Article
Collection: School of Information Technology
Connect to link resolver
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 14 times in TR Web of Science
Scopus Citation Count Cited 21 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 45 Abstract Views, 1 File Downloads  -  Detailed Statistics
Created: Tue, 02 Oct 2018, 12:02:25 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.