[Refactor, Doc] minor fixes and improvements, format option for converter (default turtle), Doc propositional logic update