Atom

java.lang.Object

tech.oxfordsemantic.jrdfox.logic.Formula

tech.oxfordsemantic.jrdfox.logic.BodyFormula

tech.oxfordsemantic.jrdfox.logic.Atom

All Implemented Interfaces:: java.io.Serializable

public class Atom
extends BodyFormula

See Also:: Serialized Form

Field Summary

Fields

Modifier and Type Field Description

static Atom[] NO_ATOMS

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.BodyFormula
NO_LITERALS

Fields inherited from class tech.oxfordsemantic.jrdfox.logic.Formula
NO_FORMULAS

Method Summary

Modifier and Type	Method	Description
`<E> E`	`accept(LogicVisitor<E> visitor)`
`static Atom`	`bottomDataProperty(Term argument1, Term argument2)`
`static Atom`	`bottomObjectProperty(Term argument1, Term argument2)`
`static Atom`	`create(TupleTableName tupleTableName, java.util.List<Term> arguments)`
`static Atom`	`create(TupleTableName tupleTableName, Term... arguments)`
`static Atom`	`differentFrom(Term argument1, Term argument2)`
`TupleTableName`	`getTupleTableName()`
`static Atom`	`nothing(Term argument)`
`static Atom`	`rdf(Term subject, Term predicate, Term object)`
`static Atom`	`sameAs(Term argument1, Term argument2)`
`Atom`	`simplify()`
`void`	`toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)`

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.BodyFormula

getArgument, getArguments, getNumberOfArguments

Methods inherited from class tech.oxfordsemantic.jrdfox.logic.Formula

toString, toString, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details
- NO_ATOMS
  
  public static final Atom[] NO_ATOMS
Method Details
- getTupleTableName
  
  public TupleTableName getTupleTableName()
- simplify
  
  public Atom simplify()
  
  Specified by:
  
  simplify in class BodyFormula
- accept
  
  public <E> E accept(LogicVisitor<E> visitor)
  
  Specified by:
  
  accept in class BodyFormula
- toString
  
  public void toString(Prefixes prefixes, java.util.function.Consumer<java.lang.String> consumer, LogicFormat logicFormat)
  
  Specified by:
  
  toString in class BodyFormula
- create
  
  public static Atom create(TupleTableName tupleTableName, java.util.List<Term> arguments)
- create
  
  public static Atom create(TupleTableName tupleTableName, Term... arguments)
- rdf
  
  public static Atom rdf(Term subject, Term predicate, Term object)
- sameAs
  
  public static Atom sameAs(Term argument1, Term argument2)
- differentFrom
  
  public static Atom differentFrom(Term argument1, Term argument2)
- nothing
  
  public static Atom nothing(Term argument)
- bottomObjectProperty
  
  public static Atom bottomObjectProperty(Term argument1, Term argument2)
- bottomDataProperty
  
  public static Atom bottomDataProperty(Term argument1, Term argument2)