As part of my PhD, I worked on OntoDLV, a system based on Answer Set Programming (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. OntoDLV also supports a powerful interoperability mechanism with OWL DL, allowing the user to retrieve information from OWL ontologies, and build rule-based reasoning on top of OWL ontologies. The system has been used in a number of real-world applications including agent-based systems, information extraction, and text classification.
OntoDLV has become an industrial product, commercialized by Exeura as part of an advanced and integrated Platform for Knowledge Modeling and Knowledge-based Reasoning.