Resolution-Based Approximate Reasoning for OWL DL

Resolution-Based Approximate Reasoning for OWL DL