fr.lirmm.graphik.graal.elder.labeling.Labels Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of graal-elder Show documentation

A defeasible reasoning tool for existential rules, it supports defeasible reasoning with amibguity blocking/propagating with or without team defeat

There is a newer version: 1.0.17

Show newest version

package fr.lirmm.graphik.graal.elder.labeling;

public abstract class Labels {
	public static final String STRICT_IN = "INstr", 
			DEFEASIBLE_IN = "INdef", 
			AMBIGUOUS = "AMBIG",
			STRICT_OUT = "OUTstr",
			DEFEASIBLE_OUT = "OUTdef",
			ASSUMED_OUT = "UNSUP";
}