FaCT++
description logic reasoner for the semantic web
RUN apt-get update && \
apt-get install -y fact++
RUN apt-get update && \
apt-get install -y fact++
RUN apt-get update && \
apt-get install -y fact++
RUN apt-get update && \
apt-get install -y fact++