Consistency Verification of a Non-monotonic Deductive System based on OWL Lite.

Jaime Ramírez Angélica de Antonio

Published in: MSVVEIS (2005)

Keyphrases

model checking
object oriented
face verification
concurrent systems
explanation based learning
temporal consistency
handwritten signature verification
real time
machine learning
computer vision
e learning
petri net
signature verification
maintaining consistency
functional verification