Uses of Class
tech.oxfordsemantic.jrdfox.logic.datalog.Negation
Package | Description |
---|---|
tech.oxfordsemantic.jrdfox.logic | |
tech.oxfordsemantic.jrdfox.logic.datalog |
-
Uses of Negation in tech.oxfordsemantic.jrdfox.logic
-
Uses of Negation in tech.oxfordsemantic.jrdfox.logic.datalog
Methods in tech.oxfordsemantic.jrdfox.logic.datalog that return Negation Modifier and Type Method Description static Negation
Negation. create(java.util.List<Variable> existentialVariables, java.util.List<Atom> negatedAtoms)
static Negation
Negation. create(Atom... negatedAtoms)
static Negation
Negation. create(Variable[] existentialVariable, Atom[] negatedAtoms)