Method and apparatus of constraint verification in distributed information spaces
作者： Vesa-Veikko Luukkala , Jukka Honkola
DOI:
关键词:
摘要: An approach is provided for verification of information consistency in distributed spaces using binary decision diagrams. A diagram construction platform constructs an augmented the based on logical rules defined ontology and transmit to server managing sharing. The uses type constraints cardinality constrains encoded verify spaces. Therefore, even if has no access ontology, can be transmitted over communication network form diagrams verified locally without having whole space a remote location.
lens.org 参考文章(9)
Sven Lange-Last, Automated fault finding in repository management program code ,(2004)
Terry Patten, Martin Thurn, System and method for information sharing across security boundaries ,(2009)
Jukka Honkola, Ian Oliver, Personal Semantic Web Through A Space Based Computing Environment arXiv: Networking and Internet Architecture. ,(2008)
Lars Gundersen, Tormod Lund, Danny Julian, Gorm Sande, Claus Vetter, Svein Vatland, Erik Svensson, Jan Bugge, Thomas Werner, Method, computer based-system and virtual asset register ,(2005)
Nikos Gorogiannis, Anthony Hunter, Implementing semantic merging operators using binary decision diagrams International Journal of Approximate Reasoning. ,vol. 49, pp. 234- 251 ,(2008) , 10.1016/J.IJAR.2008.03.008
S. Melnik, P. Mitra, S. Decker, Framework for the semantic Web: an RDF tutorial IEEE Internet Computing. ,vol. 4, pp. 68- 73 ,(2000) , 10.1109/4236.895018
Georg Gortler, Dieter Feichtinger, Carsten Sinz, Method for checking the completeness and consistency of an information library ,(2005)
Shawn A. P. Smith, Configuration model consistency checking using flexible rule space subsets ,(2007)
Ramesh Bharadwaj, Steve Sims, An invariant checking method and apparatus using binary decision diagrams in combination with constraint solvers ,(2003)