org.mindswap.pellet.output

Class ATermManchesterSyntaxRenderer

java.lang.Object

org.mindswap.pellet.output.ATermBaseVisitor

org.mindswap.pellet.output.ATermBaseRenderer

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

Fields

Modifier and Type	Field and Description
static Map<aterm.ATermAppl,String>	FACETS

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

OWL_NOTHING, OWL_THING

Constructor Summary

Constructors

Constructor and Description
ATermManchesterSyntaxRenderer()

Method Summary

Methods

Modifier and Type	Method and Description
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, 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

clone, equals, finalize, 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 Map<aterm.ATermAppl,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,
             String op)

visitRestrictedDatatype

public void visitRestrictedDatatype(aterm.ATermAppl dt)