Enterprise/Corporate ontologies are widely adopted to conceptualize business enterprise information. OntoDLV is a system based on ASP for the specification and reasoning on enterprise ontologies. OntoDLV implements a powerful ontology representation language, called OntoDLP, extending (disjunctive) ASP with all the main ontology features including classes, inheritance, relations and axioms. OntoDLP is strongly typed and includes also complex type constructors like lists and sets.

Licences for commercial use can be requested by writing to info@dlvsystem.com

To request a copy of ONTOdlv please write an email to info@dlvsystem.com