org.semanticweb.more.RLrewriting
Class RLOntology
java.lang.Object
org.semanticweb.more.RLrewriting.RLOntology
- Direct Known Subclasses:
- RLrewOntology
public class RLOntology
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
subCounter
protected Map<org.semanticweb.owlapi.model.OWLClassExpression,Integer> subCounter
RLOntology
public RLOntology()
RLOntology
public RLOntology(String directory,
String ontologyName,
boolean flag)
add2SubCounter
protected void add2SubCounter(org.semanticweb.owlapi.model.OWLClassExpression exp)
simplify
public void simplify()
transform
public void transform()
simplify
protected String simplify(String str)
save
protected void save(org.semanticweb.owlapi.model.OWLOntology onto)
getDisjunctionApprox0
protected Set<org.semanticweb.owlapi.model.OWLClassExpression> getDisjunctionApprox0(Set<org.semanticweb.owlapi.model.OWLClassExpression> superClasses)
simplifyABox
protected void simplifyABox()
seperate
protected void seperate()
clausify
protected void clausify()
addAxiom2output
protected void addAxiom2output(org.semanticweb.owlapi.model.OWLAxiom axiom)
transform
protected org.semanticweb.owlapi.model.OWLClassExpression transform(org.semanticweb.owlapi.model.OWLClassExpression exp)
getSimplifiedConjunction
protected org.semanticweb.owlapi.model.OWLClassExpression getSimplifiedConjunction(Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
getOWLOntologyManager
public org.semanticweb.owlapi.model.OWLOntologyManager getOWLOntologyManager()
getOutputOntology
public org.semanticweb.owlapi.model.OWLOntology getOutputOntology()
getIntermediateOntology
public org.semanticweb.owlapi.model.OWLOntology getIntermediateOntology()
Copyright © 2013. All Rights Reserved.