public interface OWLReasoner extends RDFSReasoner
OWLModel
and the two SKOS models SKOSModel
and SKOSXLModel
) may understand if they need to activate
their own simple on-the-fly-reasoning capabilities when their methods strongly require reasoning to return
complete results (e.g. narrower/broader inversion in SKOS).Modifier and Type | Method and Description |
---|---|
boolean |
supportsInverseProperties() |
boolean |
supportsOWLThingMaterialization()
true if non-literal resources are automatically considered of
rdf:type
owl:Thing |
boolean |
supportsSymmetricProperties() |
boolean |
supportsTransitiveProperties() |
supportsClassIdentification, supportsSubClassOfClosure, supportsSubPropertyMaterialization, supportsSubPropertyOfClosure
boolean supportsOWLThingMaterialization()
rdf:type
owl:Thing
boolean supportsTransitiveProperties()
boolean supportsInverseProperties()
boolean supportsSymmetricProperties()
Copyright © 2015 ART Group, University of Rome, Tor Vergata. All Rights Reserved.