Konclude
tableau-based description logic reasoner for the semantic web
RUN apt-get update && \
apt-get install -y konclude
RUN apt-get update && \
apt-get install -y konclude
RUN apt-get update && \
apt-get install -y konclude
RUN apt-get update && \
apt-get install -y konclude