com.clarkparsia.pellet.datatypes
Class NamedDataRangeExpander

java.lang.Object
  extended by org.mindswap.pellet.output.ATermBaseVisitor
      extended by 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
NamedDataRangeExpander()
           
 
Method Summary
 aterm.ATermAppl expand(aterm.ATermAppl input, java.util.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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NamedDataRangeExpander

public NamedDataRangeExpander()
Method Detail

expand

public aterm.ATermAppl expand(aterm.ATermAppl input,
                              java.util.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))



Copyright © 2004 Evren Sirin. All Rights Reserved.