Model-Finding for Externally Verifying FOL Ontologies: A Study of Spatial Ontologies.

Shirly Stephen, Torsten Hahmann

Browse the full FOIS paper archive.