• Pellet

  • Referenced in 92 articles [sw07019]
  • incorporates optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information...
  • Racer

  • Referenced in 65 articles [sw09837]
  • powerful and semantically well-defined conjunctive query language nRQL (new Racer Query Language...
  • KAON2

  • Referenced in 4 articles [sw09838]
  • inference engine for answering conjunctive queries (expressed using SPARQL syntax), A DIG interface, allowing access...
  • Cytoscape

  • Referenced in 76 articles [sw09080]
  • Cytoscape is most powerful when used in conjunction with large databases of protein-protein, protein ... Core provides basic functionality to layout and query the network; to visually integrate the network...
  • Chabot

  • Referenced in 39 articles [sw14898]
  • content analysis techniques that would give our querying system a better method for handling images ... simple color analysis method, if used in conjunction with other search criteria, improves our ability...
  • CEX

  • Referenced in 3 articles [sw19453]
  • instance queries, and answers to conjunctive queries. Experiments with versions of the NCI ontology...
  • PAGOdA

  • Referenced in 3 articles [sw17539]
  • answering using a datalog reasoner. Answering conjunctive queries over ontology-enriched datasets is a core...
  • SeqLog

  • Referenced in 13 articles [sw01946]
  • system MineSeqLog. Inductive queries in MineSeqLog take the form of a conjunction of a monotonic ... sequential patterns. Given such an inductive query, MineSeqLog computes the borders of the solution space...
  • HoTTSQL

  • Referenced in 2 articles [sw27484]
  • been previously proven correct. In addition, while query equivalence is generally undecidable, we have implemented ... automated decision procedure using HoTTSQL for conjunctive queries: a well-studied decidable fragment...
  • ALASKA

  • Referenced in 2 articles [sw28897]
  • structured knowledge bases, store, and perform conjunctive queries over relational and non-relational storage systems...
  • Beaver

  • Referenced in 9 articles [sw00071]
  • analysis (rich in conjunction of linear constraints such as path feasibility queries), security (rich...
  • SQL4X

  • Referenced in 1 article [sw03300]
  • complete characterization of containment of conjunctive queries and of unions of queries is presented. Equivalence...
  • PARLOG

  • Referenced in 39 articles [sw23764]
  • sense that nearly every definition and query can be read as a sentence of predicate ... soluton relations and all-solutions relations. A conjunction of single-solution relation calls...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • using postulates, whole classes of strategies for conjunction, disjunction, and negation, meaningful from the viewpoint ... strategies can be computed in polynomial time, queries in the positive fragment of the probabilistic...
  • InstQL

  • Referenced in 1 article [sw02055]
  • specified. In this paper we present the query language InstQL which includes a number ... fluents that can be used in conjunction with InstAL to specify those traces that ... underlying normative models. The semantics of the query language is provided by translating InstQL queries...
  • Gql

  • Referenced in 1 article [sw38944]
  • functionally defined, syntax-directed translation from Gql queries (represented as base structure instances) to list ... form of attribute grammar is used in conjunction with the previous definitions for specifying...
  • DARNED

  • Referenced in 1 article [sw17164]
  • substitutions. The data can be queried using a range of genomic coordinates, their corresponding functional ... UCSC and Ensembl genome browsers, in conjunction with additional data provided by these popular genome...
  • Coq

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

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARI/GP

  • Referenced in 610 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...