Using Intuitionistic Logic as a Basis for Legal Ontologies