org.semanticweb.HermiT.structural
Class OWLAxioms
java.lang.Object
org.semanticweb.HermiT.structural.OWLAxioms
public class OWLAxioms
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
m_classes
public final java.util.Set<org.semanticweb.owlapi.model.OWLClass> m_classes
m_objectProperties
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectProperties
m_objectPropertiesUsedInAxioms
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesUsedInAxioms
m_complexObjectPropertyExpressions
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_complexObjectPropertyExpressions
m_dataProperties
public final java.util.Set<org.semanticweb.owlapi.model.OWLDataProperty> m_dataProperties
m_namedIndividuals
public final java.util.Set<org.semanticweb.owlapi.model.OWLNamedIndividual> m_namedIndividuals
m_conceptInclusions
public final java.util.Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_conceptInclusions
m_dataRangeInclusions
public final java.util.Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusions
m_simpleObjectPropertyInclusions
public final java.util.Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> m_simpleObjectPropertyInclusions
m_complexObjectPropertyInclusions
public final java.util.Collection<OWLAxioms.ComplexObjectPropertyInclusion> m_complexObjectPropertyInclusions
m_disjointObjectProperties
public final java.util.Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> m_disjointObjectProperties
m_reflexiveObjectProperties
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_reflexiveObjectProperties
m_irreflexiveObjectProperties
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_irreflexiveObjectProperties
m_asymmetricObjectProperties
public final java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_asymmetricObjectProperties
m_dataPropertyInclusions
public final java.util.Collection<org.semanticweb.owlapi.model.OWLDataPropertyExpression[]> m_dataPropertyInclusions
m_disjointDataProperties
public final java.util.Collection<org.semanticweb.owlapi.model.OWLDataPropertyExpression[]> m_disjointDataProperties
m_facts
public final java.util.Collection<org.semanticweb.owlapi.model.OWLIndividualAxiom> m_facts
m_hasKeys
public final java.util.Set<org.semanticweb.owlapi.model.OWLHasKeyAxiom> m_hasKeys
m_definedDatatypesIRIs
public final java.util.Set<java.lang.String> m_definedDatatypesIRIs
m_dps2ranges
public final java.util.Map<org.semanticweb.owlapi.model.OWLDataProperty,org.semanticweb.owlapi.model.OWLDatatype> m_dps2ranges
m_rules
public final java.util.Collection<org.semanticweb.owlapi.model.SWRLRule> m_rules
OWLAxioms
public OWLAxioms()