f-PocketKRHyper is a fuzzy semantic reasoner, which for the purposes of the LinkedTV EU project is employed to perform content and concept filtering based on semantic descriptions of a user profile and content items. It is released under the GNU LGPL.


Jump to:






The algorithmic foundation of f-PocketKRHyper lies in the crisp reasoner it has extended: the Pocket KRHyper mobile reasoner. Thus it is a first-order model generating reasoner implementing the hyper-tableaux calculus. Its expressivity lies within the tractable DLP fragment. f-PocketKRHyper has extended Pocket KRHyper to fuziness and has made improvements on the original implementation efficiency-wise and with respect to disjunction handling. Since its first extension, the original J2ME implementation was transformed back to JavaSE, while maintaining the original implementation's principles of a lightweight and efficient algorithm, capable of performing reasoning services in limited resource devices.

Within CERTH it has been extended to fuzziness (along with several other algorithmic optimizations), handling fuzzy concept assertions and weighted concepts. It currently supports:

The general inferencing services provided by f-PocketKRHyper are:

The supported semantics can be found here.

f-PocketKRHyper recommendation services in LinkedTV

f-PocketKRHyper has been ongoing work of CERTH-ITI through several past projects and for the purposes of LinkedTV it has been extended as a personalised and contextualised recommendation service to enable:

Implementation of these services include:

To support filtering services, f-PocketKRHyper needs as input a reference knowledge base (within LinkedTV a dedicated ontology was developed to cover the networked media domain, namely LUMO), a semantic user profile and a set of semantic descriptions of content items to be considered for recommendation (the latter only for content filtering). All the input is expressed in a variant of the KRSS ontological notation. Examples can be found in the supportive tool for semantic user profile construction developed within LinkedTV, namely Linked Profiler.

Future extensions

Additional extensions planned within LinkedTV include the extension of the reasoner's expressivity to cover the entirety of the OWL 2 RL fragment (an extension of the DLP fragmet to OWL 2 expressivity) and fuzzy role assertions. On the semantic filtering level, concept filtering will be extended with an option of a degree decay factor along each propagation step of the interests along the reference knowledge base.


A video demonstrator of the concept and content filtering services can be found here.




Content and concept filtering REST API

LinkedTV content and concept filtering services via semantic reasoner are supported by a REST API, currently hosted on a CERTH-ITI server (base URI: until integrated onto the LinkedTV platform.

Content filtering

Invokes and returns the results of the process of filtering several content items based on a given user profile, i.e. a list of content items, ranked according to the estimated preference of the given user.

GET /api/content_filtering?uid={uid}


Concept filtering

Invokes and returns the results of the process of retrieving all concepts of interest to a user based on a given profile, i.e. an unranked list of concepts from a dedicated concept space onto which the given user's interests are propagated.

GET /api/concept_filtering?uid={uid}


[{Degree":0.76,"Concept":"AND sports_club user_location"}],
[{Degree":0.51,"Concept":"AND olympics athlete"}],


To be released soon.