@inproceedings{a08017d9decc47b08ecf395615f79f04,
title = "Visual reasoning about ontologies",
abstract = "We explore a diagrammatic logic suitable for specifying ontologies using a case study. Diagrammatic reasoning is used to establish consequences of the ontology.",
author = "John Howse and Gem Stapleton and Ian Oliver",
note = "Creative Commons Attribution Share Alike 2.0 licence, UK.; Proceedings of the 9th International Semantic Web Conference (ISWC2010) ; Conference date: 01-11-2010",
year = "2010",
month = nov,
day = "1",
language = "English",
isbn = "9783642177453",
volume = "6496",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "0--0",
booktitle = "Proceedings of the 9th International Semantic Web Conference (ISWC2010)",
}