org.semanticweb.HermiT.structural
Class BuiltInPropertyManager

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

public class BuiltInPropertyManager
extends java.lang.Object


Nested Class Summary
protected  class BuiltInPropertyManager.Checker
           
 
Field Summary
protected  org.semanticweb.owlapi.model.OWLDataProperty m_bottomDataProperty
           
protected  org.semanticweb.owlapi.model.OWLObjectProperty m_bottomObjectProperty
           
protected  org.semanticweb.owlapi.model.OWLDataFactory m_factory
           
protected  org.semanticweb.owlapi.model.OWLDataProperty m_topDataProperty
           
protected  org.semanticweb.owlapi.model.OWLObjectProperty m_topObjectProperty
           
 
Constructor Summary
BuiltInPropertyManager(org.semanticweb.owlapi.model.OWLDataFactory factory)
           
 
Method Summary
protected  void axiomatizeBottomDataProperty(OWLAxioms axioms)
           
protected  void axiomatizeBottomObjectProperty(OWLAxioms axioms)
           
 void axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)
           
 void axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms, boolean skipTopObjectProperty, boolean skipBottomObjectProperty, boolean skipTopDataProperty, boolean skipBottomDataProperty)
           
protected  void axiomatizeTopDataProperty(OWLAxioms axioms)
           
protected  void axiomatizeTopObjectProperty(OWLAxioms axioms)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_factory

protected final org.semanticweb.owlapi.model.OWLDataFactory m_factory

m_topObjectProperty

protected final org.semanticweb.owlapi.model.OWLObjectProperty m_topObjectProperty

m_bottomObjectProperty

protected final org.semanticweb.owlapi.model.OWLObjectProperty m_bottomObjectProperty

m_topDataProperty

protected final org.semanticweb.owlapi.model.OWLDataProperty m_topDataProperty

m_bottomDataProperty

protected final org.semanticweb.owlapi.model.OWLDataProperty m_bottomDataProperty
Constructor Detail

BuiltInPropertyManager

public BuiltInPropertyManager(org.semanticweb.owlapi.model.OWLDataFactory factory)
Method Detail

axiomatizeBuiltInPropertiesAsNeeded

public void axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms,
                                                boolean skipTopObjectProperty,
                                                boolean skipBottomObjectProperty,
                                                boolean skipTopDataProperty,
                                                boolean skipBottomDataProperty)

axiomatizeBuiltInPropertiesAsNeeded

public void axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)

axiomatizeTopObjectProperty

protected void axiomatizeTopObjectProperty(OWLAxioms axioms)

axiomatizeBottomObjectProperty

protected void axiomatizeBottomObjectProperty(OWLAxioms axioms)

axiomatizeTopDataProperty

protected void axiomatizeTopDataProperty(OWLAxioms axioms)

axiomatizeBottomDataProperty

protected void axiomatizeBottomDataProperty(OWLAxioms axioms)