it.uniroma2.art.owlart.models
Interface SKOSXLReasoner

All Superinterfaces:

OWLReasoner, RDFSReasoner

All Known Implementing Classes:

SKOSXLModelImpl

public interface SKOSXLReasoner
extends OWLReasoner

This interface has been thought to let models supporting SKOSXL reasoning describe their reasoning capabilities. SKOSModel and SKOSXLModel in fact contain some inference rules which cannot be supported through OWL reasoning (though in some cases OWL 2 reasoning can). 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

boolean

supportsExtendedLabels() see: skosxl:Labels

Methods inherited from interface it.uniroma2.art.owlart.models.OWLReasoner

supportsInverseProperties, supportsOWLThingMaterialization, supportsSymmetricProperties, supportsTransitiveProperties

Methods inherited from interface it.uniroma2.art.owlart.models.RDFSReasoner

supportsSubClassOfClosure, supportsSubPropertyMaterialization, supportsSubPropertyOfClosure

Method Detail

supportsExtendedLabels

boolean supportsExtendedLabels()

see: skosxl:Labels

Returns:

true either if there is OWL2 support for property chain reasoning OR if, given the triples:

?concept skosxl:(pref|alt|hidden)Label ?xLabel
?xLabel skosxl:lexicalForm ?value

then:

?concept skos:(pref|alt|hidden)label ?value