org.semanticweb.HermiT.structural
Class BuiltInPropertyManager
java.lang.Object
org.semanticweb.HermiT.structural.BuiltInPropertyManager
public class BuiltInPropertyManager
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
BuiltInPropertyManager
public BuiltInPropertyManager(org.semanticweb.owlapi.model.OWLDataFactory factory)
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)