org.semanticweb.triple.language
Class Negation

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Formula
          org.semanticweb.triple.language.UnaryFormula
              org.semanticweb.triple.language.Negation

Direct Known Subclasses:

Neg, Not

public abstract class Negation

extends UnaryFormula

Constructor Summary

Negation()

Methods inherited from class org.semanticweb.triple.language.UnaryFormula

getFormula, putFormula

Methods inherited from class org.semanticweb.triple.language.Formula

toGLP

Methods inherited from class org.semanticweb.triple.language.TripleExpression

appendModel, appendModel, getModel, putModel, toPrologString, toString, toString, toTripleString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Negation

public Negation()