org.semanticweb.HermiT.structural

Class BuiltInPropertyManager

java.lang.Object

org.semanticweb.HermiT.structural.BuiltInPropertyManager

public class BuiltInPropertyManager
extends Object

BuiltInPropertyManager.

Constructor Summary

Constructors

Constructor and Description
BuiltInPropertyManager(org.semanticweb.owlapi.model.OWLDataFactory factory)

Method Summary

Modifier and Type	Method and Description
void	axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)
void	axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms, boolean skipTopObjectProperty, boolean skipBottomObjectProperty, boolean skipTopDataProperty, boolean skipBottomDataProperty)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BuiltInPropertyManager

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

Parameters:

factory - factory

Method Detail

axiomatizeBuiltInPropertiesAsNeeded

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

Parameters:

axioms - axioms

skipTopObjectProperty - skipTopObjectProperty

skipBottomObjectProperty - skipBottomObjectProperty

skipTopDataProperty - skipTopDataProperty

skipBottomDataProperty - skipBottomDataProperty

axiomatizeBuiltInPropertiesAsNeeded

public void axiomatizeBuiltInPropertiesAsNeeded(OWLAxioms axioms)

Parameters:

axioms - axioms