• Lore

  • Referenced in 19 articles [sw30996]
  • Lore: A database management system for semistructured data. The Lore project focuses on defining ... geared toward the assumption that data is semistructured and need not conform to a particular ... fully support XML; see From Semistructured Data to XML: Migrating the Lore Data Model...
  • Lorel

  • Referenced in 20 articles [sw30995]
  • Lorel Query Language for Semistructured Data. .. Lorel is implemented as the query language...
  • NoDoSE

  • Referenced in 13 articles [sw17614]
  • text documents. Often interesting structured or semistructured data is not in database systems...
  • UnQL

  • Referenced in 9 articles [sw20018]
  • query language and algebra for semistructured data based on structural recursion. This paper presents structural ... semantics of query languages for semistructured data and XML. We describe a simple and powerful...
  • PathLog

  • Referenced in 4 articles [sw01607]
  • within repositories integrating both structured and semistructured data. The proposed PLO (Partially Labeled Objects) data...
  • Veriflog

  • Referenced in 4 articles [sw08941]
  • algorithm along with an interface to semistructured data provides an elegant framework for semantic error...
  • Olera

  • Referenced in 2 articles [sw35753]
  • Olera: semisupervised Web-data extraction with visual support. Olera is a semisupervised information-extraction system ... that produces extraction rules from semistructured Web documents without requiring detailed annotation of the training...
  • WordNet

  • Referenced in 397 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • ELISA

  • Referenced in 9 articles [sw02195]
  • In this paper, we present a decentralized dynamic...
  • MXML

  • Referenced in 7 articles [sw03376]
  • Representing time-dependent information in multidimensional XML Multidimensional...
  • PVS

  • Referenced in 626 articles [sw03484]
  • PVS is a verification system: that is, a...
  • NuSMV

  • Referenced in 299 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • SLMC

  • Referenced in 71 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • Mizar

  • Referenced in 474 articles [sw04704]
  • The Mizar System is the only implementation of...
  • XQuery

  • Referenced in 123 articles [sw06669]
  • XML is a versatile markup language, capable of...
  • XSEarch

  • Referenced in 28 articles [sw12180]
  • XSEarch: A semantic search engine for XML. XSEarch...
  • Xproj

  • Referenced in 6 articles [sw12722]
  • Xproj: a framework for projected structural clustering of...
  • XPath

  • Referenced in 373 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • HyLoRes

  • Referenced in 7 articles [sw17660]
  • HyLoRes: A Resolution Based Theorem Prover for Hybrid...