Package | Description |
---|---|
org.semanticweb.owlapitools.decomposition |
Modifier and Type | Class and Description |
---|---|
class |
BotEquivalenceEvaluator
check whether class expressions are equivalent to bottom wrt given locality class
|
class |
TopEquivalenceEvaluator
check whether class expressions are equivalent to top wrt given locality class
|
Copyright © 2020 The University of Manchester. All rights reserved.