iCon: A Diagrammatic Theorem Prover for Ontologies

Zohreh Shams, Mateja Jamnik, Gemmelia Stapleton, Yuri Sato

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Fingerprint

    Dive into the research topics of 'iCon: A Diagrammatic Theorem Prover for Ontologies'. Together they form a unique fingerprint.

    Engineering & Materials Science