org.semanticweb.HermiT.structural
Class OWLAxioms.ComplexObjectPropertyInclusion
java.lang.Object
org.semanticweb.HermiT.structural.OWLAxioms.ComplexObjectPropertyInclusion
- Enclosing class:
- OWLAxioms
public static class OWLAxioms.ComplexObjectPropertyInclusion
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_subObjectProperties
public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression[] m_subObjectProperties
m_superObjectProperty
public final org.semanticweb.owlapi.model.OWLObjectPropertyExpression m_superObjectProperty
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)