pagoda.properties « resources « src - ACQuA - OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.

about summary refs log tree commit diff

path: root/src/resources/pagoda.properties

blob: e49aa35b4ea9b4350c57eae655f01d4cd7ca9b24 (plain) (blame)

debug=true
useAlwaysSimpleUpperBound=false
useSkolemUpperBound=false
toCallHermit=true

statisticsDir=/home/alessandro/Dropbox/Oxford/PAGOdA/statistics