Verification of Time Ontologies with Points and Intervals.

Michael Grüninger Darren Ong

Published in: TIME (2011)

Keyphrases

endpoints
semantic web
knowledge representation
point sets
semantic technologies
knowledge base
model checking
face verification
formal verification
information systems
image sequences
domain specific
feature points
signature verification
interval data
verification method