iCon: A Diagrammatic Theorem Prover for Ontologies.

Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato

Browse the full KR paper archive.