Uses of Interface
com.clarkparsia.pellet.api.term.axiom.DisjointClasses

Packages that use DisjointClasses

com.clarkparsia.pellet.api.term	Provides classes for representing terms.
com.clarkparsia.pellet.api.term.entity	Terms to represent entities (class expressions, property expressions, individuals, datatypes, variables).
com.clarkparsia.pellet.api.term.visitor	Visitor interfaces and utility implementations for terms.

Uses of DisjointClasses in com.clarkparsia.pellet.api.term

Methods in com.clarkparsia.pellet.api.term that return DisjointClasses

static DisjointClasses	TermFactory.disjointClasses(ClassExpression... classes)
static DisjointClasses	TermFactory.disjointClasses(java.util.Collection<? extends ClassExpression> classes)

Uses of DisjointClasses in com.clarkparsia.pellet.api.term.entity

Methods in com.clarkparsia.pellet.api.term.entity that return DisjointClasses

DisjointClasses

ClassExpression.disjointWith(ClassExpression c) Creates a DisjointClasses axiom containing this concept and the given concept.

Uses of DisjointClasses in com.clarkparsia.pellet.api.term.visitor

Methods in com.clarkparsia.pellet.api.term.visitor with parameters of type DisjointClasses

void	TermVisitorVoid.visit(DisjointClasses axiom)
T	TermVisitor.visit(DisjointClasses axiom)
void	RecursiveTermVisitorVoid.visit(DisjointClasses axiom)
void	BaseTermVisitorVoid.visit(DisjointClasses axiom)
T	BaseTermVisitor.visit(DisjointClasses axiom)