B. A. Guizzardi-g, . F. Braga-b, and . P. Almeida-j, Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures, Journal of Universal Computer Science, issue.20, pp.16-2904, 2010.

C. O. , R. C. Vilches-blázquez-l, and . Perez-dominguez-i, Pattern-based OWL ontology debugging guidelines, 2009.

F. S. Rudolph-s, Advocatus Diaboli?Exploratory enrichment of ontologies with negative constraints, Knowledge Engineering and Knowledge Management, pp.42-56, 2012.

G. A. Presutti-v, Ontology design patterns. Handbook on Ontologies, pp.221-243, 2009.

G. N. Welty-c, A formal ontology of properties. Knowledge Engineering and Knowledge Management Methods, Models, and Tools, pp.191-230, 2000.

P. Villalon and M. &. Suárez-figueroa-m, OOPS ! OntOlogy pitfalls scanner !, 2012.

R. C. Zamazal-o, Antipattern detection : How to debug an ontology without a reasoner, Second International Workshop on Debugging Ontologies and Ontology Mappings, 2013.

S. T. Barcelos-p and . Guizzardi-g, Identification of semantic anti-patterns in ontology-driven conceptual modeling via visual si- mulation, 2012.

S. R. and M. B. Horrocks-i, HermiT : a highly-efficient OWL reasoner, 5th International Workshop on OWL : Experiences and Di- rections, 2008.

V. N. Vieu-l, Towards semi-automatic methods for improving WordNet, 9th International Conference on Computational Semantics, 2011.