Classifying Ontologies

During the development of an ontology it may be important to know which is the
logic underlying that particular ontology, so that the developer knows what
the expected complexity of reasoning over it will be. In this paper, we first
present an ontology that describes several description logics and then two
different classifiers that were implemented using our ontology. The tools
classify the ontology according to the minimal description logic that covers
all constructors used.

------------------------------------------------------------------------

Trabalho realizado em conjunto com Fábio Kepler, Joselyto Riani, Karina
Valdivia Delgado , Márcio Ribeiro, Leliane Nunes de Barros e Renata Wassermann