• 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...
  • WordNet

  • Referenced in 383 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 603 articles [sw03484]
  • PVS is a verification system: that is, a...
  • NuSMV

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

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

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

  • Referenced in 121 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 5 articles [sw12722]
  • Xproj: a framework for projected structural clustering of...
  • XPath

  • Referenced in 367 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...
  • APEX

  • Referenced in 12 articles [sw18893]
  • APEX: an adaptive path index for XML data...