Unique identifier defined for OWL Entailment with RDF-Based Semantics