Whether digital computers can eventually be as intelligent as humans has been a topic of controversy for decades. Neither side of the debate has provided solid
Description logics (DLs) are a family of logic-based knowledge representation formalisms with a number of computer science applications. DLs are especially well