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: 0b9d2ee6308e0aac31a83fb761e8b194e13caffc (plain) (blame)

1
2
3

debug=true
useAlwaysSimpleUpperBound=false
useSkolemUpperBound=false