org.semanticweb.HermiT.structural
Class OWLAxioms.ComplexObjectPropertyInclusion

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

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


Field Summary
 org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] m_subObjectProperties
           
 org.semanticweb.owlapi.model.OWLObjectPropertyExpression m_superObjectProperty
           
 
Constructor Summary
OWLAxioms.ComplexObjectPropertyInclusion(org.semanticweb.owlapi.model.OWLObjectPropertyExpression transitiveObjectProperty)
           
OWLAxioms.ComplexObjectPropertyInclusion(org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] subObjectProperties, org.semanticweb.owlapi.model.OWLObjectPropertyExpression superObjectPropery)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_subObjectProperties

public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] m_subObjectProperties

m_superObjectProperty

public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression m_superObjectProperty
Constructor Detail

OWLAxioms.ComplexObjectPropertyInclusion

public OWLAxioms.ComplexObjectPropertyInclusion(org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] subObjectProperties,
                                                org.semanticweb.owlapi.model.OWLObjectPropertyExpression superObjectPropery)

OWLAxioms.ComplexObjectPropertyInclusion

public OWLAxioms.ComplexObjectPropertyInclusion(org.semanticweb.owlapi.model.OWLObjectPropertyExpression transitiveObjectProperty)