public class SimpleRootClassChecker extends Object implements RootClassChecker
EquivalentClasses(A, (B and prop some C))
|Constructor and Description|
Creates a root class checker, which examines axioms contained in ontologies from the specified set in order to determine if a class is a syntactic subclass of owl:Thing.
|Modifier and Type||Method and Description|
Determines if the specified class is a direct syntactic subclass of owl:Thing.
public SimpleRootClassChecker(Collection<OWLOntology> ontologies)
ontologies- The ontologies whose axioms are to be taken into consideration when determining if a class is a syntactic direct subclass of owl:Thing
public boolean isRootClass(OWLClass cls)
Copyright © 2018 The University of Manchester. All rights reserved.