org.semanticweb.more.RLrewriting
Class RLrewOntology
java.lang.Object
org.semanticweb.more.RLrewriting.RLOntology
org.semanticweb.more.RLrewriting.RLrewOntology
public class RLrewOntology
- extends RLOntology
This class extends RLOntology so that the intermediate ontologies are not stored
- Author:
- root
Constructor Summary |
RLrewOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager,
org.semanticweb.owlapi.model.OWLOntology onto,
boolean flag)
|
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 |
RLrewOntology
public RLrewOntology(org.semanticweb.owlapi.model.OWLOntologyManager manager,
org.semanticweb.owlapi.model.OWLOntology onto,
boolean flag)
getIRIRewirtenOntology
public String getIRIRewirtenOntology()
transform
public void transform()
- Overrides:
transform
in class RLOntology
clearIntermediateOntologies
public void clearIntermediateOntologies()
Copyright © 2013. All Rights Reserved.