An ontology in OWL for legal case-based reasoning