org.semanticweb.more.RLrewriting
Class Clause
java.lang.Object
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()
|
Clause
public Clause(RLOntology ontology,
org.semanticweb.HermiT.model.DLClause clause)
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.