org.semanticweb.HermiT.structural
Class OWLAxioms.DisjunctiveRule

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLAxioms.DisjunctiveRule
Enclosing class:
OWLAxioms

public static class OWLAxioms.DisjunctiveRule
extends java.lang.Object


Field Summary
 org.semanticweb.owlapi.model.SWRLAtom[] m_body
           
 org.semanticweb.owlapi.model.SWRLAtom[] m_head
           
 
Constructor Summary
OWLAxioms.DisjunctiveRule(org.semanticweb.owlapi.model.SWRLAtom[] body, org.semanticweb.owlapi.model.SWRLAtom[] head)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_body

public final org.semanticweb.owlapi.model.SWRLAtom[] m_body

m_head

public final org.semanticweb.owlapi.model.SWRLAtom[] m_head
Constructor Detail

OWLAxioms.DisjunctiveRule

public OWLAxioms.DisjunctiveRule(org.semanticweb.owlapi.model.SWRLAtom[] body,
                                 org.semanticweb.owlapi.model.SWRLAtom[] head)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object