Package openllet.owlapi

Class AxiomConverter

  • All Implemented Interfaces:
    FacetFactoryOWL
    public class AxiomConverter
extends java.lang.Object
implements FacetFactoryOWL

    Title: AxiomConverter

    Description: Converts axioms expressed as ATerms to OWL-API structures.

    Copyright: Copyright (c) 2007

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Field Summary

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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.semanticweb.owlapi.model.OWLAxiom convert​(openllet.aterm.ATermAppl termParam)  
      org.semanticweb.owlapi.model.OWLDataFactory getFactory()  

      • 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

      • AxiomConverter

        public AxiomConverter​(openllet.core.KnowledgeBase kb,
                      org.semanticweb.owlapi.model.OWLDataFactory factory)

    • Method Detail

      • getFactory

        public org.semanticweb.owlapi.model.OWLDataFactory getFactory()
        Specified by:
        getFactory in interface FacetFactoryOWL
        Returns:
        a factory that can build object for this ontlogy.

      • convert

        public org.semanticweb.owlapi.model.OWLAxiom convert​(openllet.aterm.ATermAppl termParam)