org.semanticweb.more.RLrewriting
Class RLOntology

java.lang.Object
  extended by org.semanticweb.more.RLrewriting.RLOntology
Direct Known Subclasses:
RLrewOntology

public class RLOntology
extends Object


Field Summary
protected  Map<org.semanticweb.owlapi.model.OWLClassExpression,Integer> subCounter
           
 
Constructor Summary
RLOntology()
           
RLOntology(String directory, String ontologyName, boolean flag)
           
 
Method Summary
protected  void add2SubCounter(org.semanticweb.owlapi.model.OWLClassExpression exp)
           
protected  void addAxiom2output(org.semanticweb.owlapi.model.OWLAxiom axiom)
           
protected  void clausify()
           
protected  Set<org.semanticweb.owlapi.model.OWLClassExpression> getDisjunctionApprox0(Set<org.semanticweb.owlapi.model.OWLClassExpression> superClasses)
           
 org.semanticweb.owlapi.model.OWLOntology getIntermediateOntology()
           
 org.semanticweb.owlapi.model.OWLOntology getOutputOntology()
           
 org.semanticweb.owlapi.model.OWLOntologyManager getOWLOntologyManager()
           
protected  org.semanticweb.owlapi.model.OWLClassExpression getSimplifiedConjunction(Set<org.semanticweb.owlapi.model.OWLClassExpression> set)
           
protected  void save(org.semanticweb.owlapi.model.OWLOntology onto)
           
protected  void seperate()
           
 void simplify()
           
protected  String simplify(String str)
           
protected  void simplifyABox()
           
 void transform()
           
protected  org.semanticweb.owlapi.model.OWLClassExpression transform(org.semanticweb.owlapi.model.OWLClassExpression exp)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

subCounter

protected Map<org.semanticweb.owlapi.model.OWLClassExpression,Integer> subCounter
Constructor Detail

RLOntology

public RLOntology()

RLOntology

public RLOntology(String directory,
                  String ontologyName,
                  boolean flag)
Method Detail

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.