Knowledge representation and reasoning of XML with ontology
Pellet : A practical OWL-DL reasoner