A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for widely used ontology languages such as OIL, DAML+OIL and OWL, the last of which is now a World Wide Web Consortium (W3C) recommendation. SHOIN , the DL underlying OWL DL (the most widely used "species" of OWL), includes familiar features from hybrid logic. In particular, in order to support extensionally defineddoi:10.1016/j.entcs.2006.11.022 fatcat:4p2bri54zfd75ewx6kqizy34cm