org.mindswap.pellet.owlapi
Class ATermConverter

java.lang.Object
  extended by org.mindswap.pellet.output.ATermBaseVisitor
      extended by org.mindswap.pellet.owlapi.ATermConverter
All Implemented Interfaces:
ATermVisitor

public class ATermConverter
extends ATermBaseVisitor
implements ATermVisitor

Converts ATerm concepts and concept axioms (i.e. subclass axiom) to OWL-API structures.

Author:
Evren Sirin

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

ATermConverter

public ATermConverter(org.semanticweb.owl.model.OWLOntology ont)
               throws org.semanticweb.owl.model.OWLException
Throws:
org.semanticweb.owl.model.OWLException
Method Detail

getResult

public org.semanticweb.owl.model.OWLObject getResult()

visitTerm

public void visitTerm(aterm.ATermAppl term)
Description copied from interface: ATermVisitor
Visit a primitive term (with no arguments) that stands for a URI. This URI may belong to a class, a property, an individual or a datatype.

Specified by:
visitTerm in interface ATermVisitor

visitAnd

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

Specified by:
visitAnd in interface ATermVisitor

visitOr

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

Specified by:
visitOr in interface ATermVisitor

visitNot

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

Specified by:
visitNot in interface ATermVisitor

visitSome

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

Specified by:
visitSome in interface ATermVisitor

visitAll

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

Specified by:
visitAll in interface ATermVisitor

visitMin

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

Specified by:
visitMin in interface ATermVisitor

visitMax

public void visitMax(aterm.ATermAppl term)
Description copied from interface: ATermVisitor
Visit the 'max' (maxCardinality restriction) term.

Specified by:
visitMax in interface ATermVisitor

visitHasValue

public void visitHasValue(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))

Specified by:
visitHasValue in interface ATermVisitor

visitValue

public void visitValue(aterm.ATermAppl term)
Description copied from interface: ATermVisitor
Visit the nominal term. This term is in the form some(property,value(individual))

Specified by:
visitValue in interface ATermVisitor

visitOneOf

public void visitOneOf(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

Specified by:
visitOneOf in interface ATermVisitor

visitLiteral

public void visitLiteral(aterm.ATermAppl term)
Description copied from interface: ATermVisitor
Visit the literal term. The literals are in the form literal(lexicalValue, language, datatypeURI)

Specified by:
visitLiteral in interface ATermVisitor

visitList

public void visitList(aterm.ATermList list)
Description copied from interface: ATermVisitor
Visit the list structure. Lists are found in 'and' and 'or' terms.

Specified by:
visitList in interface ATermVisitor
Overrides:
visitList in class ATermBaseVisitor

visitSubClass

public void visitSubClass(aterm.ATermAppl term)
Specified by:
visitSubClass in interface ATermVisitor
Overrides:
visitSubClass in class ATermBaseVisitor

visitAllfuture

public void visitAllfuture(aterm.ATermAppl term)
Specified by:
visitAllfuture in interface ATermVisitor

visitAllpast

public void visitAllpast(aterm.ATermAppl term)
Specified by:
visitAllpast in interface ATermVisitor

visitFuture

public void visitFuture(aterm.ATermAppl term)
Specified by:
visitFuture in interface ATermVisitor

visitPast

public void visitPast(aterm.ATermAppl term)
Specified by:
visitPast in interface ATermVisitor

visitAt

public void visitAt(aterm.ATermAppl term)
Specified by:
visitAt in interface ATermVisitor

visitSomefuture

public void visitSomefuture(aterm.ATermAppl term)
Specified by:
visitSomefuture in interface ATermVisitor

visitSomepast

public void visitSomepast(aterm.ATermAppl term)
Specified by:
visitSomepast in interface ATermVisitor


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