You are here

Technical Report

  • TR-FBK-DKM-2011-1 - M. Homola, L. Bozzato, L. Serafini. Tableaux Algorithm for Reasoning with Contextualized Knowledge.
  • TR-FBK-DKM-2011-2 - L. Bozzato, F. Corcoglioniti, M. Joseph, L. Serafini. Evaluation of contextual queries.
  • TR-FBK-DKM-2011-3 - L. Bozzato, F. Corcoglioniti, M. Homola, L. Serafini. Evaluation of Contextual Modelling in the FIFA World Cup Use Case.
  • TR-FBK-DKM-2012-1 - L. Bozzato, M. Homola, L. Serafini. ExpTime Reasoning for Contextualized ALC.
  • Contextualized Knowledge Repositories for the Semantic Web To appear in the JOURNAL OF WEB SEMANTICS, 2012.
  • TR-FBK-DKM-2013-1 - P. Bertoli, M. Dragoni, C. Ghidini, C. Di Francescomarino. Reasoning-based Techniques for Dealing with Incomplete Business Process Execution Traces.
  • TR-FBK-DKM-2014-1 - L. Bozzato, L. Serafini. Combining Reasoning on Semantic Web Metadata.
Technology type: