Package openllet.core.knowledge

Class DatatypeVisitor

java.lang.Object

openllet.core.output.ATermBaseVisitor

openllet.core.knowledge.DatatypeVisitor

All Implemented Interfaces:

Boxes, ATermVisitor

public abstract class DatatypeVisitor
extends ATermBaseVisitor
implements Boxes

Field Summary

Fields inherited from class openllet.core.output.ATermBaseVisitor

OWL_NOTHING, OWL_THING

Constructor Summary

Constructors

Constructor	Description
DatatypeVisitor()

Method Summary

Modifier and Type	Method	Description
boolean	isDatatype(openllet.aterm.ATermAppl term)
void	visit(openllet.aterm.ATermAppl term)	Visit a generic term which may be a class expression, _individual or a literal.
void	visitAnd(openllet.aterm.ATermAppl term)	Visit the 'and' (intersectionOf) term.
void	visitNot(openllet.aterm.ATermAppl term)	Visit the 'not' (complementOf) term.
void	visitOneOf(openllet.aterm.ATermAppl term)	Visit the 'oneOf' term.
void	visitOr(openllet.aterm.ATermAppl term)	Visit the 'or' (unionOf) term.
void	visitRestrictedDatatype(openllet.aterm.ATermAppl dt)
void	visitTerm(openllet.aterm.ATermAppl term)	Visit a primitive term (with no arguments) that stands for a URI.
void	visitValue(openllet.aterm.ATermAppl term)	Visit the nominal term.

Methods inherited from class openllet.core.output.ATermBaseVisitor

visitList

Methods inherited from class java.lang.Object

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

Methods inherited from interface openllet.core.output.ATermVisitor

visitAll, visitCard, visitHasValue, visitInverse, visitLiteral, visitMax, visitMin, visitSelf, visitSome

Methods inherited from interface openllet.core.knowledge.Boxes

getABox, getDatatypeReasoner, getRBox, getTBox, getTimers

Constructor Detail

DatatypeVisitor

public DatatypeVisitor()

Method Detail

isDatatype

public boolean isDatatype(openllet.aterm.ATermAppl term)

visit

public void visit(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit a generic term which may be a class expression, _individual or a literal.

Specified by:

visit in interface ATermVisitor

Overrides:

visit in class ATermBaseVisitor

visitOr

public void visitOr(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'or' (unionOf) term.

Specified by:

visitOr in interface ATermVisitor

visitValue

public void visitValue(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the nominal term. This term is in the form some(property,value(_individual))

Specified by:

visitValue in interface ATermVisitor

visitTerm

public void visitTerm(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit a primitive term (with no arguments) that stands for a URI. This URI may belong to a class, a property, an _individual or a datatype.

Specified by:

visitTerm in interface ATermVisitor

visitNot

public void visitNot(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'not' (complementOf) term.

Specified by:

visitNot in interface ATermVisitor

visitAnd

public void visitAnd(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'and' (intersectionOf) term.

Specified by:

visitAnd in interface ATermVisitor

visitOneOf

public void visitOneOf(openllet.aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'oneOf' term. This term is in the form or([value(i1),value(i2),...,value(i3)] where i's are individuals or literal constants

Specified by:

visitOneOf in interface ATermVisitor

visitRestrictedDatatype

public void visitRestrictedDatatype(openllet.aterm.ATermAppl dt)

Specified by:

visitRestrictedDatatype in interface ATermVisitor