ONTODLV
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.
- Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell’Armi, Giovanni Grasso, Nicola Leone: OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009)
- Francesco Ricca, Nicola Leone: Disjunctive logic programming with types and objects: The DLV+ system. J. Appl. Log. 5(3): 545-573 (2007)