How to generate axioms in Description Logic from ontologies using Protege?

I have just been starting to read about creating ontologies and using Protege. One of the things that I want to do, is given an ontology I want to express the axioms generated from the ontology in a Description Logic format. My questions are as follows:

1. Is there any way to do it in Protege?
2. If no, do you have any suggestions of doing it?

Thank you very much in advance.

Yes, Protege is doing exactly that. If you A \sqsubseteq B in Protege you create class B as subclass of class A. A good resource to learn how to use Protege is the pizza tutorial. On my blog I have a mapping from Description Logics to Manchester Syntax, which is the syntax used in Protege to specify axiom. See here. Also see the mathematical formalization of object orientation for some step-by-step explanation of how DLs relate to object orientation, which can help getting a basic understanding of Description Logics.