it.uniroma2.art.owlart.models

Interface RDFSReasoner

All Known Subinterfaces:

OWLModel, OWLReasoner, RDFSModel, SKOSModel, SKOSXLModel, SKOSXLReasoner

All Known Implementing Classes:

OWLModelImpl, RDFSModelImpl, SKOSModelImpl, SKOSXLModelImpl

public interface RDFSReasoner

This is interface has been thought to let models supporting RDFS reasoning describe their reasoning capabilities. By querying its methods, high-level vocabulary management classes (such as RDFSModel, 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.
This is interface is currently in ALPHA development. Currently it does not contain any method related to inform about consistency checking capabilities.

Author:

Armando Stellato

Method Summary

Methods

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

Method Detail

supportsSubPropertyMaterialization

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 .

then it holds also true that: a p2 b

Returns:

supportsSubPropertyOfClosure

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

Returns:

supportsSubClassOfClosure

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

Returns:

supportsClassIdentification

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

Returns: