Conjunction.java « clauses « rules « pagoda « cs « ox « ac « uk « 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/uk/ac/ox/cs/pagoda/rules/clauses/Conjunction.java

blob: 91bb3e7835a2dcbe8f8f6a673fbef3dc3bcc0ecb (plain) (blame)

package uk.ac.ox.cs.pagoda.rules.clauses;

public class Conjunction {
}