Package openllet.core.boxes.tbox.impl

Class PrimitiveTBox

  • public class PrimitiveTBox
extends java.lang.Object

    Copyright: Copyright (c) 2009

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.util.logging.Logger _logger  

    • Constructor Summary

      Constructors 
      Constructor Description
      PrimitiveTBox()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean add​(openllet.aterm.ATermAppl concept, openllet.aterm.ATermAppl definition, java.util.Set<openllet.aterm.ATermAppl> explanation)  
      boolean contains​(openllet.aterm.ATermAppl concept)  
      Unfolding getDefinition​(openllet.aterm.ATermAppl concept)  
      void print​(java.lang.Appendable out)  
      java.util.Iterator<Unfolding> unfold​(openllet.aterm.ATermAppl concept)  

      • Methods inherited from class java.lang.Object

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

    • Field Detail

      • _logger

        public static final java.util.logging.Logger _logger

    • Constructor Detail

      • PrimitiveTBox

        public PrimitiveTBox()

    • Method Detail

      • contains

        public boolean contains​(openllet.aterm.ATermAppl concept)

      • getDefinition

        public Unfolding getDefinition​(openllet.aterm.ATermAppl concept)

      • add

        public boolean add​(openllet.aterm.ATermAppl concept,
                   openllet.aterm.ATermAppl definition,
                   java.util.Set<openllet.aterm.ATermAppl> explanation)

      • unfold

        public java.util.Iterator<Unfolding> unfold​(openllet.aterm.ATermAppl concept)

      • print

        public void print​(java.lang.Appendable out)
           throws java.io.IOException
        Throws:
        java.io.IOException