Visual reasoning about ontologies

CEUR Workshop Proceedings

Volumn 658, Issue , 2010, Pages 5-8

  Howse, John ^a   Stapleton, Gem ^a   Oliver, Ian ^b  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIAGRAMMATIC LOGIC; DIAGRAMMATIC REASONING; VISUAL REASONING;

ABSTRACTING;

EID: 82855182248     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (6)

1. http://owl.cs.manchester.ac.uk/2009/iswc-exptut, 2009.
2. F. Baader, D. Calvanese, D. McGuinness, D. Nadi, and P. Patel-Schneider (eds). The Description Logic Handbook. CUP, 2003.
3. S. Brockmams, R. Volz, A. Eberhart, and P. LÄo2er. Visual modeling of OWL DL ontologies using UML. Int. Semantic Web Conference, 198{213. Springer, 2004.
4. F. Dau and P. Ekland. A diagrammatic reasoning system for the description logic ALC. Journal of Visual Languages and Computing, 19(5):539{573, 2008.
5. M. Horridge, B. Parsia, and U. Sattler. Computing explanations for entailments in description logic based ontologies. In 16th Automated Reasoning Workshop, 2009.
6. I. Oliver, J. Howse, E. Nuutila, and S. TÄormÄa. Visualizing and specifying ontologies using diagrammatic logics. In Australasian Ontologies Workshop, 2009.