A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
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