with Temporalised Concepts, Rigid Axioms and Roles.

Alessandro Artale Roman Kontchakov Vladislav Ryzhikov Michael Zakharyaschev

Published in: FroCoS (2009)

Keyphrases

knowledge base
real time
three dimensional
first order logic
knowledge structures
medical terminology
metadata
case study
image sequences
fuzzy logic
semantic network
key concepts