org.semanticweb.HermiT.structural
Class OWLAxioms.DisjunctiveRule
java.lang.Object
org.semanticweb.HermiT.structural.OWLAxioms.DisjunctiveRule
- Enclosing class:
- OWLAxioms
public static class OWLAxioms.DisjunctiveRule
- extends 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)
|
m_body
public final org.semanticweb.owlapi.model.SWRLAtom[] m_body
m_head
public final org.semanticweb.owlapi.model.SWRLAtom[] m_head
OWLAxioms.DisjunctiveRule
public OWLAxioms.DisjunctiveRule(org.semanticweb.owlapi.model.SWRLAtom[] body,
org.semanticweb.owlapi.model.SWRLAtom[] head)
toString
public String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.