Logic-Based Ontology Engineering

From International Center for Computational Logic