org.mindswap.pellet.output
Class ATermManchesterSyntaxRenderer

java.lang.Object
  extended by org.mindswap.pellet.output.ATermBaseVisitor
      extended by org.mindswap.pellet.output.ATermBaseRenderer
          extended by org.mindswap.pellet.output.ATermManchesterSyntaxRenderer
All Implemented Interfaces:
ATermRenderer, ATermVisitor

public class ATermManchesterSyntaxRenderer
extends ATermBaseRenderer

Title: ATermManchesterSyntaxRenderer

Description:

Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:
Markus Stocker

Field Summary
static java.util.Map<aterm.ATermAppl,java.lang.String> FACETS
           
 
Fields inherited from class org.mindswap.pellet.output.ATermBaseVisitor
OWL_NOTHING, OWL_THING
 
Constructor Summary
ATermManchesterSyntaxRenderer()
           
 
Method Summary
 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 visitList(aterm.ATermList list, java.lang.String op)
           
 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 visitValue(aterm.ATermAppl term)
          Visit the nominal term.
 
Methods inherited from class org.mindswap.pellet.output.ATermBaseRenderer
getWriter, setWriter, setWriter, visitTerm
 
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
 
Methods inherited from interface org.mindswap.pellet.output.ATermVisitor
visit, visitList
 

Field Detail

FACETS

public static final java.util.Map<aterm.ATermAppl,java.lang.String> FACETS
Constructor Detail

ATermManchesterSyntaxRenderer

public ATermManchesterSyntaxRenderer()
Method Detail

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.


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.


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))


visitList

public void visitList(aterm.ATermList list,
                      java.lang.String op)

visitRestrictedDatatype

public void visitRestrictedDatatype(aterm.ATermAppl dt)


Copyright © 2004 Evren Sirin. All Rights Reserved.