Search results for "Query language"

showing 9 items of 39 documents

Post-search query modeling in federated web scenario

2014

As opposed to query reformulation oriented towards changes made by a user to specify the information need more precisely, a post-search query modeling is a technique of exploiting syntax variation of gradually extended query which depending on some other factors like e.g. the resource, database or the key word alignment, facilitates the searching process. The study into modeling query submitted to some search engines that utilize different translation semantic paradigms is motivated by a real-world's challenges to retrieve heterogeneous textual documents from the web. For a couple of language pairs, we develop a user-centered framework for imposing the Hidden Web traffic optimization. In li…

Web search queryInformation retrievalComputer scienceQuery languageQuery optimizationRanking (information retrieval)Human-Computer InteractionQuery expansionWeb query classificationcomponentSearch StrategyHidden WebSargableQuery ModelingTrans-lingual Information RetrievalcomputerRDF query languagecomputer.programming_languageThe Fifth International Conference on the Applications of Digital Information and Web Technologies (ICADIWT 2014)
researchProduct

Library for model querying

2012

Query and transformation languages make it easy to work with models, but they are bound to one particular data store. That makes them hard to adopt in projects where data is stored in a different repository, which hinders more widespread use of transformations and models. Instead of adopting a transformation language to a new data store, we propose to build a query and transformation library for the general-purpose language that is already used in a project. In this paper we demonstrate that it can be easily by implementing such a library for an EMOF-like data store in the Lua language.

World Wide WebData storeTransformation (function)Work (electrical)Computer scienceData control languageQuery languagecomputerTransformation languageRDF query languagecomputer.programming_languageProceedings of the 12th Workshop on OCL and Textual Modelling
researchProduct

Extending SPARQL with Temporal Logic

2009

The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO][INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB][INFO.INFO-WB] Computer Science [cs]/Web[INFO.INFO-WB]Computer Science [cs]/Web[ INFO.INFO-WB ] Computer Science [cs]/WebInformationSystems_DATABASEMANAGEMENTlabeled transition system[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]ACM : H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languagesSPARQL[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationmodel checkingRDFACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]temporal logicACM : D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB][ INFO.INFO-LO ] Computer Science [cs]/Logic in Computer Science [cs.LO]ACM: H.: Information Systems/H.2: DATABASE MANAGEMENT/H.2.3: Languages/H.2.3.3: Query languages[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationverification
researchProduct

A new approach based on NμSMV Model to query semantic graph

2011

International audience; The language most frequently used to represent the semantic graphs is the RDF (W3C standard for meta-modeling). The construction of semantic graphs is a source of numerous errors of interpretation. Processing of large semantic graphs can be a limit to use semantics in modern information systems. The work presented in this paper is part of a new research at the border between two areas: the semantic web and the model checking. For this, we developed a tool, RDF2NμSMV, which converts RDF graphs into NμSMV language. This conversion aims checking the semantic graphs with the model checker NμSMV in order to verify the consistency of the data. The data integration and shar…

[ INFO.INFO-MO ] Computer Science [cs]/Modeling and Simulation[INFO.INFO-WB] Computer Science [cs]/WebComputer science[ INFO.INFO-WB ] Computer Science [cs]/WebNμSMVTemporal logic02 engineering and technologycomputer.software_genreQuery languageSPARQLtemporal logic queryRDFModel CheckingSemantic similarity020204 information systemsSemantic computing0202 electrical engineering electronic engineering information engineeringSPARQLRDFSemantic WebGraph databaseInformation retrieval[INFO.INFO-WB]Computer Science [cs]/Webcomputer.file_format[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationAbstract semantic graphSemantic graphQuery checking020201 artificial intelligence & image processing[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulationcomputer
researchProduct

Query-preserving watermarking of relational databases and XML documents

2011

Watermarking allows robust and unobtrusive insertion of information in a digital document. During the last few years, techniques have been proposed for watermarking relational databases or Xml documents, where information insertion must preserve a specific measure on data (for example the mean and variance of numerical attributes). In this article we investigate the problem of watermarking databases or Xml while preserving a set of parametric queries in a specified language, up to an acceptable distortion. We first show that unrestricted databases can not be watermarked while preserving trivial parametric queries. We then exhibit query languages and classes of structures that allow guarante…

[INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB]Theoretical computer scienceInformation retrievalcomputer.internet_protocolRelational databaseComputer science0102 computer and information sciences02 engineering and technologyQuery language01 natural sciencesVC dimension[ INFO.INFO-DB ] Computer Science [cs]/Databases [cs.DB]Computational learning theory010201 computation theory & mathematicsBounded function0202 electrical engineering electronic engineering information engineering[INFO.INFO-DB] Computer Science [cs]/Databases [cs.DB]Graph (abstract data type)020201 artificial intelligence & image processingcomputerDigital watermarkingComputingMilieux_MISCELLANEOUSXMLInformation SystemsParametric statisticsProceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
researchProduct

Temporal Logic To Query Semantic Graphs Using The Model Checking Method

2012

International audience; Semantic interoperability problems have found their solutions due to the use of languages and techniques from the Semantic Web. The proliferations of ontologies and meta-information have improved the understanding of information and the relevance of search engine responses. However, the construction of semantic graphs is a source of numerous errors of interpretation or modeling, and scalability remains a major problem. The processing of large semantic graphs is a limit to the use of semantics in current information systems. The work presented in this paper is part of a new research at the border of two areas: the semantic web and the model checking. This line of rese…

[INFO.INFO-WB] Computer Science [cs]/WebComputer science[INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-WB ] Computer Science [cs]/WebSPARQL.02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][ INFO.INFO-SE ] Computer Science [cs]/Software Engineering [cs.SE]Ontology (information science)computer.software_genreQuery languagetemporal logic querySPARQLSocial Semantic WebSearch engineDescription logicSemantic similaritytemporal logicArtificial IntelligenceWeb query classificationSemantic computing0202 electrical engineering electronic engineering information engineeringInformation systemSemantic analyticsSPARQLSemantic Web StackRDFSemantic Webcomputer.programming_language[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]Web search querySemantic Web Rule LanguageProgramming languagebusiness.industry[INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC][INFO.INFO-WB]Computer Science [cs]/Web020207 software engineeringcomputer.file_formatSemantic interoperabilitymodel checking[ INFO.INFO-SC ] Computer Science [cs]/Symbolic Computation [cs.SC]Human-Computer InteractionSemantic graph020201 artificial intelligence & image processingbusinesscomputerSoftwareRDF query language
researchProduct

Explaining Causes Behind SQL Query Formulation Errors

2020

This Full Research Paper presents the most prominent query formulation errors in Structured Query Language (SQL), and maps these errors to their cognitive explanations. Understanding query formulation errors is a key to teaching SQL. more effectively. However, studies on what kind of errors novices struggle with are relatively scarce when compared to, for example, programming languages. Although committing errors is a crucial part in learning, some errors are relatively easy to fix, and their commonness is not necessarily an indication of their difficulty. Other errors, however, halt the learning process, and are never fixed by the query writer. Using a previously established error taxonomy…

noviceSQLoppiminenComputer scienceJoins02 engineering and technologySemanticscomputer.software_genrekyselykieletohjelmointikieletSet (abstract data type)020204 information systems0202 electrical engineering electronic engineering information engineeringdatabasecomputer.programming_languageeducationSQLSyntax (programming languages)business.industry05 social sciences050301 educationRelational operatorerrorStructured Query Language (SQL)koulutusvirheetArtificial intelligencebusiness0503 educationcomputerNatural language processingNatural language2020 IEEE Frontiers in Education Conference (FIE)
researchProduct

An Automatic Ontology-Based Approach to Support Logical Representation of Observable and Measurable Data for Healthy Lifestyle Management: Proof-of-C…

2020

Background Lifestyle diseases, because of adverse health behavior, are the foremost cause of death worldwide. An eCoach system may encourage individuals to lead a healthy lifestyle with early health risk prediction, personalized recommendation generation, and goal evaluation. Such an eCoach system needs to collect and transform distributed heterogenous health and wellness data into meaningful information to train an artificially intelligent health risk prediction model. However, it may produce a data compatibility dilemma. Our proposed eHealth ontology can increase interoperability between different heterogeneous networks, provide situation awareness, help in data integration, and discover…

recommendationDatabases Factual020205 medical informaticsComputer scienceinteroperabilityHealth Informatics02 engineering and technologyOntology (information science)SNOMED CTcomputer.software_genrelcsh:Computer applications to medicine. Medical informaticsProof of Concept Studysensorhealthy lifestyle0202 electrical engineering electronic engineering information engineeringHumansSPARQLontologypropositionRDFsemanticsSemantic Webcomputer.programming_languagegoal settingOriginal PaperSSNInformation retrievalactivityquestionnairelcsh:Public aspects of medicinepersonalizedlcsh:RA1-1270eCoachcomputer.file_formatSemantic reasonerProtégésimulationTelemedicinenutritionautomatedlcsh:R858-859.7eHealth020201 artificial intelligence & image processingCDSScomputerRDF query languageData integrationJournal of Medical Internet Research
researchProduct

Error messages in relational database management systems: A comparison of effectiveness, usefulness, and user confidence

2021

Abstract The database and the database management system (DBMS) are two of the main components of any information system. Structured Query Language (SQL) is the most popular query language for retrieving data from the database, as well as for many other data management tasks. During system development and maintenance, software developers use a considerable amount of time to interpret compiler error messages. The quality of these error messages has been demonstrated to affect software development effectiveness, and correctly formulating queries and fixing them when needed is an important task for many software developers. In this study, we set out to investigate how participants ( N = 152 ) …

virhetilanteetSQLError messageComputer scienceData managementStructured query language (SQL)CompilerQuery languagecomputer.software_genrekyselykieletDatabase management systemSet (abstract data type)SoftwareRelational database management systemInformation systemtietokannatcomputer.programming_languageSQLInformation retrievalbusiness.industrySoftware developmenthallintajärjestelmätHardware and ArchitecturevirheetohjelmistokehitysbusinesscomputerSoftwareInformation Systems
researchProduct