org.semanticweb.HermiT.structural
Class OWLAxioms

java.lang.Object
  extended by org.semanticweb.HermiT.structural.OWLAxioms

public class OWLAxioms
extends java.lang.Object


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

Field Detail

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
Constructor Detail

OWLAxioms

public OWLAxioms()