“…The syntax is based on the intuitive logic programming. In particular, ontological constructs are partially derived from OntoDLP (Calimeri et al, 2003) (Ricca and Leone, 2007), whereas acquisition formalism are based on the XOnto language (Oro and Ruffolo, 2008) (Oro et Al, 2009). OntoDLP introduces many interesting features, including complex types, e.g.…”