2 citations · 2 across the 2 of their papers we have counts for
3 papers · 1 filter
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang, Pan Hu, Przemysław Andrzej Wałęga +1
DatalogMTL is an extension of Datalog with operators from metric temporal logic which has received significant attention in recent years. It is a highly expressive knowledge repres…
OWL2Vec*: Embedding of OWL Ontologies
Jiaoyan Chen, Pan Hu, Ernesto Jimenez-Ruiz +3
Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing and…
Modular Materialisation of Datalog Programs
Pan Hu, Boris Motik, Ian Horrocks
The seminaïve algorithm can materialise all consequences of arbitrary datalog rules, and it also forms the basis for incremental algorithms that update a materialisation as the inp…