A legal case OWL ontology with an instantiation of Popov v. Hayashi