PKG=LNFpellet ARCH=x86_64 VERSION=2.3.1.3 SERIALNUM=001 NAME=OWL DL reasoner Pellet CATEGORY=develop,application EMAIL=jel+ubuntu-pkg@cs.uni-magdeburg.de VENDOR=http://theo.cs.ovgu.de/ BASEDIR=/usr DESC=Pellet is an open-source Java based Web Ontology Language Description Logic (OWL DL) reasoner. It can be used in conjunction with either Jena (a Java framework for building semantic web and Linked Data applications) or OWL API (http://owlapi.sourceforge.net/) libraries. Pellet provides functionalities to check the consistency of ontologies, classify the taxonomy, check entailments, give explanations, and answer SPARQL-DL queries. LICINFO=GNU Affero General Public License, Version 3, 19 November 2007 LICURL=http://www.gnu.org/licenses/agpl.html LICFILE=agpl3.txt PSTAMP=focal20201011202250 CLASSES=none rename