public interface RDFSReasoner
RDFSModel
,
OWLModel
and the two SKOS models SKOSModel
and SKOSXLModel
) may understand if they
need to activate their own simple ontheflyreasoning capabilities when their methods strongly require
reasoning to return complete results.Modifier and Type  Method and Description 

boolean 
supportsClassIdentification()
tells that the reasoner is able to infer if the given resource is a class, e.g. because it is the
subject of a <*,rdfs:subClassOf,*> triple

boolean 
supportsSubClassOfClosure()
this reasoner is able to entail that:
given three classes
c1 , c2 and c3
for which holds that c1 rdfs:subClassOf c2 and c2 rdfs:subClassOf c3
then it holds also true that: c1 rdfs:subClassOf c3 
boolean 
supportsSubPropertyMaterialization()
this reasoner is able to entail that:
given two properties p1 and p2
for which holds that p1 rdfs:subPropertyOf p2
and given the triple a p1 b .

boolean 
supportsSubPropertyOfClosure()
this reasoner is able to entail that:
given three properties
p1 , p2 and p3
for which holds that p1 rdfs:subPropertyOf p2 and
p2 rdfs:subPropertyOf p3
then it holds also true that: p1 rdfs:subPropertyOf p3 
boolean supportsSubPropertyMaterialization()
p1
and p2
p1 rdfs:subPropertyOf p2
a p1 b .
a p2 b
boolean supportsSubPropertyOfClosure()
p1
, p2
and p3
p1 rdfs:subPropertyOf p2
and
p2 rdfs:subPropertyOf p3
p1 rdfs:subPropertyOf p3
boolean supportsSubClassOfClosure()
c1
, c2
and c3
c1 rdfs:subClassOf c2
and c2 rdfs:subClassOf c3
c1 rdfs:subClassOf c3
boolean supportsClassIdentification()
Copyright © 2015 ART Group, University of Rome, Tor Vergata. All Rights Reserved.