• PR-OWL

  • Referenced in 9 articles [sw22024]
  • language for defining probabilistic ontologies. Recent years have witnessed an increasingly mature body of research ... have emerged. Among these is Probabilistic Web Ontology Language (PR-OWL), which provides a means ... representing uncertainty in ontologies expressed in Web Ontology Language (OWL). PR-OWL allows values ... variables from probabilistic theories with the individuals, classes and properties from ontological languages such...
  • ProbCD

  • Referenced in 5 articles [sw20338]
  • efforts to create probabilistic annotations, especially in the Gene Ontology context, or to deal with ... datasets, current enrichment methods largely ignore this probabilistic information since they are mainly based...
  • Pronto

  • Referenced in 3 articles [sw14757]
  • feature for dealing with probabilistic extensions of existing large ontologies. Finally we present the layered...
  • GenXHC

  • Referenced in 2 articles [sw35559]
  • cross-hybridization noise. We present a probabilistic generative model for cross-hybridization in microarray data ... found to produce enrichment in multiple gene ontology–biological process (GO–BP) functional groups...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • WordNet

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

  • Referenced in 27 articles [sw01792]
  • The goal of the Rule Markup Initiative is...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • CAPEUS

  • Referenced in 7 articles [sw02248]
  • CAPEUS: An architecture for context-aware selection and...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • A logic system that integrates First Order Logic...
  • L-BFGS

  • Referenced in 806 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • PVS

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

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...