The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

OWL is recognized as the de facto standard notation for ontology engineering. The Manchester OWL Syntax (MOS) was developed as an alternative to symbolic description logic (DL) and it is believed to b