Semantic Reasoning Technology on Temporal Knowledge Graph.

Jianuo Li Feng Zhao Hai Jin

Published in: WISA (2022)

Keyphrases

temporal knowledge
temporal reasoning
temporal information
temporal logic
temporal constraints
formal representation
representation language
knowledge representation
first order logic
domain specific
model checking
knowledge base
conceptual modeling
information systems
query language