org.semanticweb.more.RLrewriting
Class RLrewOntology

java.lang.Object
  extended by org.semanticweb.more.RLrewriting.RLOntology
      extended by org.semanticweb.more.RLrewriting.RLrewOntology

public class RLrewOntology
extends RLOntology

This class extends RLOntology so that the intermediate ontologies are not stored

Author:
root

Field Summary
 
Fields inherited from class org.semanticweb.more.RLrewriting.RLOntology
subCounter
 
Constructor Summary
RLrewOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager, org.semanticweb.owlapi.model.OWLOntology onto, boolean flag)
           
 
Method Summary
 void clearIntermediateOntologies()
           
 String getIRIRewirtenOntology()
           
 void transform()
           
 
Methods inherited from class org.semanticweb.more.RLrewriting.RLOntology
add2SubCounter, addAxiom2output, clausify, getDisjunctionApprox0, getIntermediateOntology, getOutputOntology, getOWLOntologyManager, getSimplifiedConjunction, save, seperate, simplify, simplify, simplifyABox, transform
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RLrewOntology

public RLrewOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager,
                     org.semanticweb.owlapi.model.OWLOntology onto,
                     boolean flag)
Method Detail

getIRIRewirtenOntology

public String getIRIRewirtenOntology()

transform

public void transform()
Overrides:
transform in class RLOntology

clearIntermediateOntologies

public void clearIntermediateOntologies()


Copyright © 2013. All Rights Reserved.