|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.output.ATermBaseVisitor
org.mindswap.pellet.owlapi.ATermConverter
public class ATermConverter
Converts ATerm concepts and concept axioms (i.e. subclass axiom) to OWL-API structures.
Field Summary |
---|
Fields inherited from class org.mindswap.pellet.output.ATermBaseVisitor |
---|
OWL_NOTHING, OWL_THING |
Constructor Summary | |
---|---|
ATermConverter(org.semanticweb.owl.model.OWLOntology ont)
|
Method Summary | |
---|---|
org.semanticweb.owl.model.OWLObject |
getResult()
|
void |
visitAll(aterm.ATermAppl term)
Visit the 'all' (allValuesFrom restriction) term. |
void |
visitAllfuture(aterm.ATermAppl term)
|
void |
visitAllpast(aterm.ATermAppl term)
|
void |
visitAnd(aterm.ATermAppl term)
Visit the 'and' (intersectionOf) term. |
void |
visitAt(aterm.ATermAppl term)
|
void |
visitFuture(aterm.ATermAppl term)
|
void |
visitHasValue(aterm.ATermAppl term)
Visit the hasValue restriction term. |
void |
visitList(aterm.ATermList list)
Visit the list structure. |
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 |
visitPast(aterm.ATermAppl term)
|
void |
visitSome(aterm.ATermAppl term)
Visit the 'some' (someValuesFrom restriction) term. |
void |
visitSomefuture(aterm.ATermAppl term)
|
void |
visitSomepast(aterm.ATermAppl term)
|
void |
visitSubClass(aterm.ATermAppl term)
|
void |
visitTerm(aterm.ATermAppl term)
Visit a primitive term (with no arguments) that stands for a URI. |
void |
visitValue(aterm.ATermAppl term)
Visit the nominal term. |
Methods inherited from class org.mindswap.pellet.output.ATermBaseVisitor |
---|
visit, visitCard |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.mindswap.pellet.output.ATermVisitor |
---|
visit, visitCard |
Constructor Detail |
---|
public ATermConverter(org.semanticweb.owl.model.OWLOntology ont) throws org.semanticweb.owl.model.OWLException
org.semanticweb.owl.model.OWLException
Method Detail |
---|
public org.semanticweb.owl.model.OWLObject getResult()
public void visitTerm(aterm.ATermAppl term)
ATermVisitor
visitTerm
in interface ATermVisitor
public void visitAnd(aterm.ATermAppl term)
ATermVisitor
visitAnd
in interface ATermVisitor
public void visitOr(aterm.ATermAppl term)
ATermVisitor
visitOr
in interface ATermVisitor
public void visitNot(aterm.ATermAppl term)
ATermVisitor
visitNot
in interface ATermVisitor
public void visitSome(aterm.ATermAppl term)
ATermVisitor
visitSome
in interface ATermVisitor
public void visitAll(aterm.ATermAppl term)
ATermVisitor
visitAll
in interface ATermVisitor
public void visitMin(aterm.ATermAppl term)
ATermVisitor
visitMin
in interface ATermVisitor
public void visitMax(aterm.ATermAppl term)
ATermVisitor
visitMax
in interface ATermVisitor
public void visitHasValue(aterm.ATermAppl term)
ATermVisitor
visitHasValue
in interface ATermVisitor
public void visitValue(aterm.ATermAppl term)
ATermVisitor
visitValue
in interface ATermVisitor
public void visitOneOf(aterm.ATermAppl term)
ATermVisitor
visitOneOf
in interface ATermVisitor
public void visitLiteral(aterm.ATermAppl term)
ATermVisitor
visitLiteral
in interface ATermVisitor
public void visitList(aterm.ATermList list)
ATermVisitor
visitList
in interface ATermVisitor
visitList
in class ATermBaseVisitor
public void visitSubClass(aterm.ATermAppl term)
visitSubClass
in interface ATermVisitor
visitSubClass
in class ATermBaseVisitor
public void visitAllfuture(aterm.ATermAppl term)
visitAllfuture
in interface ATermVisitor
public void visitAllpast(aterm.ATermAppl term)
visitAllpast
in interface ATermVisitor
public void visitFuture(aterm.ATermAppl term)
visitFuture
in interface ATermVisitor
public void visitPast(aterm.ATermAppl term)
visitPast
in interface ATermVisitor
public void visitAt(aterm.ATermAppl term)
visitAt
in interface ATermVisitor
public void visitSomefuture(aterm.ATermAppl term)
visitSomefuture
in interface ATermVisitor
public void visitSomepast(aterm.ATermAppl term)
visitSomepast
in interface ATermVisitor
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |