• Penn Treebank

  • Referenced in 102 articles [sw08023]
  • skeletal parses showing rough syntactic and semantic information -- a bank of linguistic trees. We also...
  • GCLC

  • Referenced in 31 articles [sw00326]
  • prover which directly links visual and semantical geometrical information with deductive properties and machine-generated...
  • Ott

  • Referenced in 31 articles [sw00663]
  • available metalanguages for expressing semantics -- usually either for informal mathematics or the formal mathematics ... work routinely, without heroic effort, with rigorous semantic definitions of realistic languages...
  • jContractor

  • Referenced in 10 articles [sw01488]
  • software engineering practice that allows semantic information to be added to a class or interface...
  • HARP

  • Referenced in 16 articles [sw26323]
  • renders it easy to let extralogical information, e.g. semantic and world knowledge, guide the search...
  • UDDI

  • Referenced in 6 articles [sw03384]
  • does not make any use of semantic information and therefore fails to address the problem ... service description, shows how ontological information collected through the semantic web can be used ... providing therefore a way to record semantic information within UDDI records. Furthermore we show ... this encoded information can be used within the UDDI registry to perform semantic matching...
  • gcl

  • Referenced in 9 articles [sw07212]
  • producing of mathematical illustrations, provide different semantical information and support for automated proving of properties...
  • FrameNet

  • Referenced in 5 articles [sw01965]
  • companies’ intranets or the WWW has made information access a hot topic within Computational Linguistics ... better query answering based on “semanticalinformation. In this paper we try to contribute ... open question how to operationalize semantic information on a larger scale. As a basis ... infrastructure that supports experimentation with semantic information access as is currently demanded...
  • YAGO

  • Referenced in 54 articles [sw11909]
  • like persons, organizations, products, etc. with their semantic relationships - and in quantity by increasing ... further extended by state-of-the-art information extraction techniques...
  • OpenRuleBench

  • Referenced in 8 articles [sw12473]
  • processing, combining, and analyzing semantic information. Since several of the technologies underlying rule-based systems...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • time. After an informal presentation of the language, we describe its semantics by means...
  • EgoMath

  • Referenced in 4 articles [sw09766]
  • digital mathematical content with little semantic information available. Recently, we have decided that another step ... fragments which do not contain semantic information...
  • MnM

  • Referenced in 5 articles [sw17517]
  • ability to annotate web resources with semantic information. In order to carry out this task ... automated support for annotating web pages with semantic contents. MnM integrates a web browser with ... link to ontology servers and for integrating information extraction tools. MnM can be seen ... ontology editors, being web-based, oriented to semantic markup and providing mechanisms for large-scale...
  • Jena

  • Referenced in 53 articles [sw10685]
  • Jena Toolkit open up the semantic Web. As more data is being stored ... simple way to locate specific information. SPARQL, a powerful new query language fills that space ... your own Java™ applications with the Jena Semantic Web Toolkit...
  • MathTools

  • Referenced in 3 articles [sw26267]
  • Mathematical formulae carry complex and essential semantic information in a variety of formats. Accessing this ... information with different systems requires a standardized machine-readable format that ... capable of encoding presentational and semantic information. Even though MathML is an official recommendation...
  • PHORA

  • Referenced in 3 articles [sw08003]
  • linguistic information (lexical, morphological, syntactic and semantic), structural information (anaphoric accessibility space in which ... anaphor obtains the antecedent) and statistical information. This method is based on constraints and preferences ... lexical database (Spanish WordNet) to provide semantic information and a POS tagger providing the part...
  • Atomizer

  • Referenced in 18 articles [sw08924]
  • according to their sequential semantics, which significantly simplifies (formal and informal) correctness arguments.This paper presents...
  • STEX+

  • Referenced in 4 articles [sw07697]
  • preserved in order to enable semantic information retrieval services...
  • CSPsim

  • Referenced in 4 articles [sw13312]
  • Eiffel’s SCOOP. The current informal semantics of the Simple Concurrent Object-Oriented Programming (SCOOP...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • used a complicated static type system inferring information about the ’freshness’ of names for expressions ... This is established via a novel denotational semantics. FreshML without static freshness inference ... supports a programming style pleasingly close to informal practice when it comes to dealing with...