org.mindswap.pellet.owlapi
Class PelletVisitor

java.lang.Object
  extended by org.mindswap.pellet.owlapi.PelletVisitor
All Implemented Interfaces:
java.io.Serializable, org.semanticweb.owl.model.OWLObjectVisitor

public class PelletVisitor
extends java.lang.Object
implements org.semanticweb.owl.model.OWLObjectVisitor

PelletVisitor

See Also:
Serialized Form

Field Summary
static boolean DEBUG
           
static QNameProvider qnames
           
 
Constructor Summary
PelletVisitor(PelletLoader loader)
           
 
Method Summary
 void reset()
           
 aterm.ATermAppl result()
           
 aterm.ATermAppl term(org.semanticweb.owl.model.OWLDataValue dv)
           
 aterm.ATermAppl term(org.semanticweb.owl.model.OWLNamedObject o)
           
 aterm.ATermAppl term(java.lang.String s)
           
 aterm.ATermAppl term(java.net.URI u)
           
 void visit(org.semanticweb.owl.model.OWLAnd and)
           
 void visit(org.semanticweb.owl.model.OWLAnnotationInstance ai)
           
 void visit(org.semanticweb.owl.model.OWLAnnotationProperty ap)
           
 void visit(org.semanticweb.owl.model.OWLClass clazz)
           
 void visit(org.semanticweb.owl.model.OWLDataAllRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLDataCardinalityRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLDataEnumeration enumeration)
           
 void visit(org.semanticweb.owl.model.OWLDataProperty prop)
           
 void visit(org.semanticweb.owl.model.OWLDataPropertyInstance node)
           
 void visit(org.semanticweb.owl.model.OWLDataPropertyRangeAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLDataSomeRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLDataType ocdt)
           
 void visit(org.semanticweb.owl.model.OWLDataValue cd)
           
 void visit(org.semanticweb.owl.model.OWLDataValueRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLDifferentIndividualsAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLDisjointClassesAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLEnumeration enumeration)
           
 void visit(org.semanticweb.owl.model.OWLEquivalentClassesAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLEquivalentPropertiesAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLFrame f)
           
 void visit(org.semanticweb.owl.model.OWLFunctionalPropertyAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLIndividual ind)
           
 void visit(org.semanticweb.owl.model.OWLIndividualTypeAssertion node)
           
 void visit(org.semanticweb.owl.model.OWLInverseFunctionalPropertyAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLInversePropertyAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLNot not)
           
 void visit(org.semanticweb.owl.model.OWLObjectAllRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLObjectCardinalityRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLObjectProperty prop)
           
 void visit(org.semanticweb.owl.model.OWLObjectPropertyInstance node)
           
 void visit(org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLObjectSomeRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLObjectValueRestriction restriction)
           
 void visit(org.semanticweb.owl.model.OWLOntology o)
           
 void visit(org.semanticweb.owl.model.OWLOr or)
           
 void visit(org.semanticweb.owl.model.OWLPropertyDomainAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLSameIndividualsAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLSubClassAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLSubPropertyAxiom axiom)
           
 void visit(org.semanticweb.owl.model.OWLSymmetricPropertyAxiom node)
           
 void visit(org.semanticweb.owl.model.OWLTransitivePropertyAxiom node)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

DEBUG

public static boolean DEBUG

qnames

public static QNameProvider qnames
Constructor Detail

PelletVisitor

public PelletVisitor(PelletLoader loader)
Method Detail

result

public aterm.ATermAppl result()

reset

public void reset()

term

public aterm.ATermAppl term(org.semanticweb.owl.model.OWLDataValue dv)
                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

term

public aterm.ATermAppl term(org.semanticweb.owl.model.OWLNamedObject o)
                     throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException

term

public aterm.ATermAppl term(java.lang.String s)

term

public aterm.ATermAppl term(java.net.URI u)

visit

public void visit(org.semanticweb.owl.model.OWLClass clazz)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLIndividual ind)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectProperty prop)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataProperty prop)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataValue cd)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataType ocdt)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLAnd and)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLOr or)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLNot not)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLEnumeration enumeration)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectSomeRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectAllRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectValueRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectCardinalityRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataCardinalityRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLEquivalentClassesAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDisjointClassesAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLSubClassAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLEquivalentPropertiesAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLSubPropertyAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDifferentIndividualsAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLSameIndividualsAxiom axiom)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLAnnotationProperty ap)
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor

visit

public void visit(org.semanticweb.owl.model.OWLAnnotationInstance ai)
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor

visit

public void visit(org.semanticweb.owl.model.OWLDataEnumeration enumeration)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataAllRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataSomeRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataValueRestriction restriction)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLFrame f)
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor

visit

public void visit(org.semanticweb.owl.model.OWLOntology o)
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor

visit

public void visit(org.semanticweb.owl.model.OWLFunctionalPropertyAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLInverseFunctionalPropertyAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLTransitivePropertyAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLSymmetricPropertyAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLInversePropertyAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLPropertyDomainAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectPropertyRangeAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataPropertyRangeAxiom node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLObjectPropertyInstance node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLDataPropertyInstance node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException

visit

public void visit(org.semanticweb.owl.model.OWLIndividualTypeAssertion node)
           throws org.semanticweb.owl.model.OWLException
Specified by:
visit in interface org.semanticweb.owl.model.OWLObjectVisitor
Throws:
org.semanticweb.owl.model.OWLException


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.