Specification of Ontologies in CASL
Klaus Lüttich · 2004
Abstract. In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theory. This is obtained by transforming the given FOL formulas. If this method is applied to an ontology specification in FOL, the resulting