Specifying temporal knowledge for workflowsontologies.

Gerald S. Plesniewicz Baurzhan Karabekov

Published in: Open Comput. Sci. (2016)

Keyphrases

temporal knowledge
temporal reasoning
temporal information
temporal logic
temporal constraints
formal representation
representation language
first order logic
temporal patterns
conceptual modeling
video sequences
model checking
data mining
website
database systems
qualitative and quantitative