com.clarkparsia.pellet.datatypes

Class NamedDataRangeExpander

java.lang.Object

org.mindswap.pellet.output.ATermBaseVisitor

com.clarkparsia.pellet.datatypes.NamedDataRangeExpander

All Implemented Interfaces:

ATermVisitor

public class NamedDataRangeExpander
extends ATermBaseVisitor

Title: Named Data Range Expander

Description: Substitutes one ATermAppl for another in a data range description, based on input map. Used to implement OWL 2 datatype definitions.

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Field Summary

Fields inherited from class org.mindswap.pellet.output.ATermBaseVisitor

OWL_NOTHING, OWL_THING

Constructor Summary

Constructors

Constructor and Description
NamedDataRangeExpander()

Method Summary

Modifier and Type	Method and Description
aterm.ATermAppl	expand(aterm.ATermAppl input, Map<aterm.ATermAppl,aterm.ATermAppl> map)
void	visitAll(aterm.ATermAppl term) Visit the 'all' (allValuesFrom restriction) term.
void	visitAnd(aterm.ATermAppl term) Visit the 'and' (intersectionOf) term.
void	visitCard(aterm.ATermAppl term) Visit the 'card' (minCardinality restriction) term.
void	visitHasValue(aterm.ATermAppl term) Visit the hasValue restriction term.
void	visitInverse(aterm.ATermAppl p)
void	visitLiteral(aterm.ATermAppl term) Visit the literal term.
void	visitMax(aterm.ATermAppl term) Visit the 'max' (maxCardinality restriction) term.
void	visitMin(aterm.ATermAppl term) Visit the 'min' (minCardinality restriction) term.
void	visitNot(aterm.ATermAppl term) Visit the 'not' (complementOf) term.
void	visitOneOf(aterm.ATermAppl term) Visit the 'oneOf' term.
void	visitOr(aterm.ATermAppl term) Visit the 'or' (unionOf) term.
void	visitRestrictedDatatype(aterm.ATermAppl dt)
void	visitSelf(aterm.ATermAppl term) Visit the self restriction term.
void	visitSome(aterm.ATermAppl term) Visit the 'some' (someValuesFrom restriction) term.
void	visitTerm(aterm.ATermAppl term) Visit a primitive term (with no arguments) that stands for a URI.
void	visitValue(aterm.ATermAppl term) Visit the nominal term.

Methods inherited from class org.mindswap.pellet.output.ATermBaseVisitor

visit, visitList

Methods inherited from class java.lang.Object

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

Constructor Detail

NamedDataRangeExpander

public NamedDataRangeExpander()

Method Detail

expand

public aterm.ATermAppl expand(aterm.ATermAppl input,
                              Map<aterm.ATermAppl,aterm.ATermAppl> map)

visitAll

public void visitAll(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'all' (allValuesFrom restriction) term.

visitAnd

public void visitAnd(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'and' (intersectionOf) term.

visitCard

public void visitCard(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'card' (minCardinality restriction) term. This is not a standard term that ise used inside the reasoner but sometimes used for display purposes. Normally, cardinality restrictions would be stored as a conjunction of min and max restrictions.

visitHasValue

public void visitHasValue(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the hasValue restriction term. This term is in the form some(property,value(individual)) or some(property,value(literal))

visitInverse

public void visitInverse(aterm.ATermAppl p)

visitLiteral

public void visitLiteral(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the literal term. The literals are in the form literal(lexicalValue, language, datatypeURI)

visitMax

public void visitMax(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'max' (maxCardinality restriction) term.

visitMin

public void visitMin(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'min' (minCardinality restriction) term.

visitNot

public void visitNot(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'not' (complementOf) term.

visitOneOf

public void visitOneOf(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

visitOr

public void visitOr(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'or' (unionOf) term.

visitRestrictedDatatype

public void visitRestrictedDatatype(aterm.ATermAppl dt)

visitSelf

public void visitSelf(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the self restriction term. This is in the form self(p).

visitSome

public void visitSome(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

Visit the 'some' (someValuesFrom restriction) term.

visitTerm

public void visitTerm(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.

visitValue

public void visitValue(aterm.ATermAppl term)

Description copied from interface: ATermVisitor

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