1. [n.d.]. The Protégé website. http://protégé.stanford.edu [n.d.]. The Protégé website. http://protégé.stanford.edu
2. An Overview of Tableau Algorithms for Description Logics;Baader Franz;Studia Logica,2011
3. Joost Breuker and Rinke Hoekstra. 2004. Epistemology and ontology in core ontologies: FOLaw and LRI-Core two core ontologies for law. Joost Breuker and Rinke Hoekstra. 2004. Epistemology and ontology in core ontologies: FOLaw and LRI-Core two core ontologies for law.