com.clarkparsia.pellet.sparqldl.model

Class QueryAtomFactory

java.lang.Object

com.clarkparsia.pellet.sparqldl.model.QueryAtomFactory

public class QueryAtomFactory
extends Object

Title: Factory for creating query atoms.

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Petr Kremen

Constructor Summary

Constructors

Constructor and Description
QueryAtomFactory()

Method Summary

Modifier and Type	Method and Description
static QueryAtom	AnnotationAtom(aterm.ATermAppl iA, aterm.ATermAppl pA, aterm.ATermAppl ilA)
static QueryAtom	AsymmetricAtom(aterm.ATermAppl pA)
static QueryAtom	ComplementOfAtom(aterm.ATermAppl cA1, aterm.ATermAppl cA2)
static QueryAtom	Core(Collection<QueryAtom> atoms, Collection<aterm.ATermAppl> uv, KnowledgeBase kb)
static QueryAtom	DatatypeAtom(aterm.ATermAppl lA, aterm.ATermAppl dA)
static QueryAtom	DatatypePropertyAtom(aterm.ATermAppl pA)
static QueryAtom	DifferentFromAtom(aterm.ATermAppl iA1, aterm.ATermAppl iA2)
static QueryAtom	DirectSubClassOfAtom(aterm.ATermAppl c1, aterm.ATermAppl c2)
static QueryAtom	DirectSubPropertyOfAtom(aterm.ATermAppl c1, aterm.ATermAppl c2)
static QueryAtom	DirectTypeAtom(aterm.ATermAppl i, aterm.ATermAppl c)
static QueryAtom	DisjointWithAtom(aterm.ATermAppl cA1, aterm.ATermAppl cA2)
static QueryAtom	DomainAtom(aterm.ATermAppl pA1, aterm.ATermAppl cA2)
static QueryAtom	EquivalentClassAtom(aterm.ATermAppl classArgument, aterm.ATermAppl classArgument2)
static QueryAtom	EquivalentPropertyAtom(aterm.ATermAppl pA1, aterm.ATermAppl pA2)
static QueryAtom	FunctionalAtom(aterm.ATermAppl pA)
static QueryAtom	InverseFunctionalAtom(aterm.ATermAppl pA)
static QueryAtom	InverseOfAtom(aterm.ATermAppl pA1, aterm.ATermAppl pA2)
static QueryAtom	IrreflexiveAtom(aterm.ATermAppl pA)
static QueryAtom	NegativePropertyValueAtom(aterm.ATermAppl iA, aterm.ATermAppl pA, aterm.ATermAppl ilA)
static QueryAtom	NotKnownAtom(List<QueryAtom> atoms)
static QueryAtom	NotKnownAtom(QueryAtom... atoms)
static QueryAtom	NotKnownAtom(QueryAtom atom)
static QueryAtom	ObjectPropertyAtom(aterm.ATermAppl pA)
static QueryAtom	PropertyDisjointWithAtom(aterm.ATermAppl pA1, aterm.ATermAppl pA2)
static QueryAtom	PropertyValueAtom(aterm.ATermAppl iA, aterm.ATermAppl pA, aterm.ATermAppl ilA)
static QueryAtom	RangeAtom(aterm.ATermAppl pA1, aterm.ATermAppl cA2)
static QueryAtom	ReflexiveAtom(aterm.ATermAppl pA)
static QueryAtom	SameAsAtom(aterm.ATermAppl iA1, aterm.ATermAppl iA2)
static QueryAtom	StrictSubClassOfAtom(aterm.ATermAppl c1, aterm.ATermAppl c2)
static QueryAtom	StrictSubPropertyOfAtom(aterm.ATermAppl c1, aterm.ATermAppl c2)
static QueryAtom	SubClassOfAtom(aterm.ATermAppl cA1, aterm.ATermAppl cA2)
static QueryAtom	SubPropertyOfAtom(aterm.ATermAppl pA1, aterm.ATermAppl pA2)
static QueryAtom	SymmetricAtom(aterm.ATermAppl pA)
static QueryAtom	TransitiveAtom(aterm.ATermAppl pA)
static QueryAtom	TypeAtom(aterm.ATermAppl iA, aterm.ATermAppl cA)
static QueryAtom	UnionAtom(List<List<QueryAtom>> union)

Methods inherited from class java.lang.Object

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

Constructor Detail

QueryAtomFactory

public QueryAtomFactory()

Method Detail

TypeAtom

public static QueryAtom TypeAtom(aterm.ATermAppl iA,
                                 aterm.ATermAppl cA)

DatatypeAtom

public static QueryAtom DatatypeAtom(aterm.ATermAppl lA,
                                     aterm.ATermAppl dA)

PropertyValueAtom

public static QueryAtom PropertyValueAtom(aterm.ATermAppl iA,
                                          aterm.ATermAppl pA,
                                          aterm.ATermAppl ilA)

NegativePropertyValueAtom

public static QueryAtom NegativePropertyValueAtom(aterm.ATermAppl iA,
                                                  aterm.ATermAppl pA,
                                                  aterm.ATermAppl ilA)

SameAsAtom

public static QueryAtom SameAsAtom(aterm.ATermAppl iA1,
                                   aterm.ATermAppl iA2)

DifferentFromAtom

public static QueryAtom DifferentFromAtom(aterm.ATermAppl iA1,
                                          aterm.ATermAppl iA2)

SubClassOfAtom

public static QueryAtom SubClassOfAtom(aterm.ATermAppl cA1,
                                       aterm.ATermAppl cA2)

EquivalentClassAtom

public static QueryAtom EquivalentClassAtom(aterm.ATermAppl classArgument,
                                            aterm.ATermAppl classArgument2)

DisjointWithAtom

public static QueryAtom DisjointWithAtom(aterm.ATermAppl cA1,
                                         aterm.ATermAppl cA2)

ComplementOfAtom

public static QueryAtom ComplementOfAtom(aterm.ATermAppl cA1,
                                         aterm.ATermAppl cA2)

SubPropertyOfAtom

public static QueryAtom SubPropertyOfAtom(aterm.ATermAppl pA1,
                                          aterm.ATermAppl pA2)

EquivalentPropertyAtom

public static QueryAtom EquivalentPropertyAtom(aterm.ATermAppl pA1,
                                               aterm.ATermAppl pA2)

DomainAtom

public static QueryAtom DomainAtom(aterm.ATermAppl pA1,
                                   aterm.ATermAppl cA2)

RangeAtom

public static QueryAtom RangeAtom(aterm.ATermAppl pA1,
                                  aterm.ATermAppl cA2)

InverseOfAtom

public static QueryAtom InverseOfAtom(aterm.ATermAppl pA1,
                                      aterm.ATermAppl pA2)

ObjectPropertyAtom

public static QueryAtom ObjectPropertyAtom(aterm.ATermAppl pA)

DatatypePropertyAtom

public static QueryAtom DatatypePropertyAtom(aterm.ATermAppl pA)

FunctionalAtom

public static QueryAtom FunctionalAtom(aterm.ATermAppl pA)

InverseFunctionalAtom

public static QueryAtom InverseFunctionalAtom(aterm.ATermAppl pA)

TransitiveAtom

public static QueryAtom TransitiveAtom(aterm.ATermAppl pA)

SymmetricAtom

public static QueryAtom SymmetricAtom(aterm.ATermAppl pA)

AsymmetricAtom

public static QueryAtom AsymmetricAtom(aterm.ATermAppl pA)

ReflexiveAtom

public static QueryAtom ReflexiveAtom(aterm.ATermAppl pA)

IrreflexiveAtom

public static QueryAtom IrreflexiveAtom(aterm.ATermAppl pA)

PropertyDisjointWithAtom

public static QueryAtom PropertyDisjointWithAtom(aterm.ATermAppl pA1,
                                                 aterm.ATermAppl pA2)

AnnotationAtom

public static QueryAtom AnnotationAtom(aterm.ATermAppl iA,
                                       aterm.ATermAppl pA,
                                       aterm.ATermAppl ilA)

StrictSubClassOfAtom

public static QueryAtom StrictSubClassOfAtom(aterm.ATermAppl c1,
                                             aterm.ATermAppl c2)

DirectSubClassOfAtom

public static QueryAtom DirectSubClassOfAtom(aterm.ATermAppl c1,
                                             aterm.ATermAppl c2)

DirectSubPropertyOfAtom

public static QueryAtom DirectSubPropertyOfAtom(aterm.ATermAppl c1,
                                                aterm.ATermAppl c2)

StrictSubPropertyOfAtom

public static QueryAtom StrictSubPropertyOfAtom(aterm.ATermAppl c1,
                                                aterm.ATermAppl c2)

DirectTypeAtom

public static QueryAtom DirectTypeAtom(aterm.ATermAppl i,
                                       aterm.ATermAppl c)

Core

public static QueryAtom Core(Collection<QueryAtom> atoms,
                             Collection<aterm.ATermAppl> uv,
                             KnowledgeBase kb)

NotKnownAtom

public static QueryAtom NotKnownAtom(QueryAtom atom)

NotKnownAtom

public static QueryAtom NotKnownAtom(QueryAtom... atoms)

NotKnownAtom

public static QueryAtom NotKnownAtom(List<QueryAtom> atoms)

UnionAtom

public static QueryAtom UnionAtom(List<List<QueryAtom>> union)