org.semanticweb.more.RLrewriting
Class Clause

java.lang.Object
  extended by org.semanticweb.more.RLrewriting.Clause

public class Clause
extends Object


Constructor Summary
Clause(RLOntology ontology, org.semanticweb.HermiT.model.DLClause clause)
           
 
Method Summary
 Set<org.semanticweb.owlapi.model.OWLClassExpression> getSubClasses()
           
 Set<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClasses()
           
 void seperateEquality(Set<org.semanticweb.HermiT.model.Atom> noEquality, Set<org.semanticweb.HermiT.model.Atom> inEquality, Set<org.semanticweb.HermiT.model.Variable> eVariables)
           
 void seperateEquality4Clause(Set<org.semanticweb.HermiT.model.Atom> eBodyAtoms, Set<org.semanticweb.HermiT.model.Atom> eHeadAtoms, Set<org.semanticweb.HermiT.model.Variable> eVariables)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Clause

public Clause(RLOntology ontology,
              org.semanticweb.HermiT.model.DLClause clause)
Method Detail

getSuperClasses

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getSuperClasses()

getSubClasses

public Set<org.semanticweb.owlapi.model.OWLClassExpression> getSubClasses()

seperateEquality4Clause

public void seperateEquality4Clause(Set<org.semanticweb.HermiT.model.Atom> eBodyAtoms,
                                    Set<org.semanticweb.HermiT.model.Atom> eHeadAtoms,
                                    Set<org.semanticweb.HermiT.model.Variable> eVariables)

seperateEquality

public void seperateEquality(Set<org.semanticweb.HermiT.model.Atom> noEquality,
                             Set<org.semanticweb.HermiT.model.Atom> inEquality,
                             Set<org.semanticweb.HermiT.model.Variable> eVariables)

toString

public String toString()
Overrides:
toString in class Object


Copyright © 2013. All Rights Reserved.