org.semanticweb.owl.explanation.impl.blackbox.nsp

Class NonSimplePropertyConfiguration

java.lang.Object

org.semanticweb.owl.explanation.impl.blackbox.Configuration<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

org.semanticweb.owl.explanation.impl.blackbox.nsp.NonSimplePropertyConfiguration

public class NonSimplePropertyConfiguration
extends Configuration<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 03-Sep-2008

Constructor Summary

Constructors

Constructor and Description
NonSimplePropertyConfiguration()
NonSimplePropertyConfiguration(ExpansionStrategy expansionStrategy, ContractionStrategy contractionStrategy)

Method Summary

Methods inherited from class org.semanticweb.owl.explanation.impl.blackbox.Configuration

getCheckerFactory, getContractionStrategy, getExpansionStrategy

Methods inherited from class java.lang.Object

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

Constructor Detail

NonSimplePropertyConfiguration

public NonSimplePropertyConfiguration()

NonSimplePropertyConfiguration

public NonSimplePropertyConfiguration(ExpansionStrategy expansionStrategy,
                              ContractionStrategy contractionStrategy)