Classifying Ontologies

Fábio Natanael Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann
2006 Workshop on Ontologies and their Applications  
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.
dblp:conf/wonto/KeplerPRRDBW06 fatcat:rnlsdnxetbeftpguizafm4ym3i