public class SimpleRootClassChecker extends Object implements RootClassChecker
EquivalentClasses(A, (B and prop some C))
Constructor and Description |
---|
SimpleRootClassChecker(Set<OWLOntology> ontologies)
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 |
---|---|
boolean |
isRootClass(OWLClass cls)
Determines if the specified class is a direct syntactic subclass of
owl:Thing.
|
public SimpleRootClassChecker(Set<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:Thingpublic boolean isRootClass(OWLClass cls)
RootClassChecker
isRootClass
in interface RootClassChecker
cls
- The class to be checked.true
if the class is a direct syntactic root class of
owl:Thing, otherwise false
.Copyright © 2017 The University of Manchester. All Rights Reserved.