OntoCeramic: an OWL ontology for ceramics classification