Welcome to the online interface of the probabilistic temporal RDFS reasoner. T-RDFS-Log can be used to verify knowledge bases. The knowledge base can contain standard RDF triples but it is also possible to attach weights as well as temporal intervals to the RDF triples. Moreover, one can define soft and hards constraints that are used to verify the knowledge bases and to compute the most probable consistent subset plus its entailed statements.

Run T-RDFS-Log


  1. T-RDFS-Log_Syntax.pdf


You can start building your model from the following examples: