Package openllet.core.output

Class ATermManchesterSyntaxRenderer

  • All Implemented Interfaces:
    ATermRenderer, ATermVisitor
    public class ATermManchesterSyntaxRenderer
extends ATermBaseRenderer

    Title: ATermManchesterSyntaxRenderer

    Copyright: Copyright (c) 2008

    Company: Clark & Parsia, LLC.

    Author:
    Markus Stocker

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.Map<openllet.aterm.ATermAppl,​java.lang.String> FACETS  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void visitAll​(openllet.aterm.ATermAppl term)
      Visit the 'all' (allValuesFrom restriction) term.
      void visitAnd​(openllet.aterm.ATermAppl term)
      Visit the 'and' (intersectionOf) term.
      void visitCard​(openllet.aterm.ATermAppl term)
      Visit the 'card' (minCardinality restriction) term.
      void visitHasValue​(openllet.aterm.ATermAppl term)
      Visit the hasValue restriction term.
      void visitInverse​(openllet.aterm.ATermAppl p)  
      void visitList​(openllet.aterm.ATermList list, java.lang.String op)  
      void visitLiteral​(openllet.aterm.ATermAppl term)
      Visit the literal term.
      void visitMax​(openllet.aterm.ATermAppl term)
      Visit the 'max' (maxCardinality restriction) term.
      void visitMin​(openllet.aterm.ATermAppl term)
      Visit the 'min' (minCardinality restriction) 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 visitSelf​(openllet.aterm.ATermAppl term)
      Visit the self restriction term.
      void visitSome​(openllet.aterm.ATermAppl term)
      Visit the 'some' (someValuesFrom restriction) term.
      void visitValue​(openllet.aterm.ATermAppl term)
      Visit the nominal term.

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • FACETS

        public static final java.util.Map<openllet.aterm.ATermAppl,​java.lang.String> FACETS

    • Constructor Detail

      • ATermManchesterSyntaxRenderer

        public ATermManchesterSyntaxRenderer()

    • Method Detail

      • visitAll

        public void visitAll​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'all' (allValuesFrom restriction) term.

      • visitAnd

        public void visitAnd​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'and' (intersectionOf) term.

      • visitCard

        public void visitCard​(openllet.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​(openllet.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​(openllet.aterm.ATermAppl p)
        Parameters:
        p - inverse

      • visitLiteral

        public void visitLiteral​(openllet.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​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'max' (maxCardinality restriction) term.

      • visitMin

        public void visitMin​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'min' (minCardinality restriction) term.

      • visitNot

        public void visitNot​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'not' (complementOf) term.

      • 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

      • visitOr

        public void visitOr​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'or' (unionOf) term.

      • visitSelf

        public void visitSelf​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the self restriction term. This is in the form self(p).

      • visitSome

        public void visitSome​(openllet.aterm.ATermAppl term)
        Description copied from interface: ATermVisitor
        Visit the 'some' (someValuesFrom restriction) term.

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

      • visitList

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

      • visitRestrictedDatatype

        public void visitRestrictedDatatype​(openllet.aterm.ATermAppl dt)