org.semanticweb.HermiT.structural
Class OWLAxioms

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

public class OWLAxioms
extends Object


Nested Class Summary
static class OWLAxioms.ComplexObjectPropertyInclusion
           
static class OWLAxioms.DisjunctiveRule
           
 
Field Summary
 Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_asymmetricObjectProperties
           
 Set<org.semanticweb.owlapi.model.OWLClass> m_classes
           
 Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_complexObjectPropertyExpressions
           
 Collection<OWLAxioms.ComplexObjectPropertyInclusion> m_complexObjectPropertyInclusions
           
 Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_conceptInclusions
           
 Set<org.semanticweb.owlapi.model.OWLDataProperty> m_dataProperties
           
 Collection<org.semanticweb.owlapi.model.OWLDataPropertyExpression[]> m_dataPropertyInclusions
           
 Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusions
           
 Set<String> m_definedDatatypesIRIs
           
 Collection<org.semanticweb.owlapi.model.OWLDataPropertyExpression[]> m_disjointDataProperties
           
 Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> m_disjointObjectProperties
           
 Collection<org.semanticweb.owlapi.model.OWLIndividualAxiom> m_facts
           
 Set<org.semanticweb.owlapi.model.OWLHasKeyAxiom> m_hasKeys
           
 Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_irreflexiveObjectProperties
           
 Set<org.semanticweb.owlapi.model.OWLNamedIndividual> m_namedIndividuals
           
 Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectProperties
           
 Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesOccurringInOWLAxioms
           
 Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_reflexiveObjectProperties
           
 Collection<OWLAxioms.DisjunctiveRule> m_rules
           
 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 Set<org.semanticweb.owlapi.model.OWLClass> m_classes

m_objectProperties

public final Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectProperties

m_objectPropertiesOccurringInOWLAxioms

public final Set<org.semanticweb.owlapi.model.OWLObjectProperty> m_objectPropertiesOccurringInOWLAxioms

m_complexObjectPropertyExpressions

public final Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_complexObjectPropertyExpressions

m_dataProperties

public final Set<org.semanticweb.owlapi.model.OWLDataProperty> m_dataProperties

m_namedIndividuals

public final Set<org.semanticweb.owlapi.model.OWLNamedIndividual> m_namedIndividuals

m_conceptInclusions

public final Collection<org.semanticweb.owlapi.model.OWLClassExpression[]> m_conceptInclusions

m_dataRangeInclusions

public final Collection<org.semanticweb.owlapi.model.OWLDataRange[]> m_dataRangeInclusions

m_simpleObjectPropertyInclusions

public final Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> m_simpleObjectPropertyInclusions

m_complexObjectPropertyInclusions

public final Collection<OWLAxioms.ComplexObjectPropertyInclusion> m_complexObjectPropertyInclusions

m_disjointObjectProperties

public final Collection<org.semanticweb.owlapi.model.OWLObjectPropertyExpression[]> m_disjointObjectProperties

m_reflexiveObjectProperties

public final Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_reflexiveObjectProperties

m_irreflexiveObjectProperties

public final Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_irreflexiveObjectProperties

m_asymmetricObjectProperties

public final Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> m_asymmetricObjectProperties

m_dataPropertyInclusions

public final Collection<org.semanticweb.owlapi.model.OWLDataPropertyExpression[]> m_dataPropertyInclusions

m_disjointDataProperties

public final Collection<org.semanticweb.owlapi.model.OWLDataPropertyExpression[]> m_disjointDataProperties

m_facts

public final Collection<org.semanticweb.owlapi.model.OWLIndividualAxiom> m_facts

m_hasKeys

public final Set<org.semanticweb.owlapi.model.OWLHasKeyAxiom> m_hasKeys

m_definedDatatypesIRIs

public final Set<String> m_definedDatatypesIRIs

m_rules

public final Collection<OWLAxioms.DisjunctiveRule> m_rules
Constructor Detail

OWLAxioms

public OWLAxioms()


Copyright © 2012. All Rights Reserved.