SPARQL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Completeness guarantees for incomplete ontology reasoners: theory and practice
- A query language for logic architectures
- Foundations of RDF Databases
- HermiT: an OWL 2 reasoner
- Statistics of RDF store for querying knowledge graphs
- Formal languages in information extraction and graph databases
- On the relation between SPARQL1.1 and Answer Set Programming
- Extension of the metalanguage of normal forms of knowledge
- Towards knowledge exchange: state-of-the-art and open problems
- Enhancing DLV for large-scale reasoning
- pSPARQL: a querying language for probabilistic RDF data
- scientific article; zbMATH DE number 7456050 (Why is no real title available?)
- The fuzzy logic programming language FASILL: design and implementation
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- scientific article; zbMATH DE number 7159544 (Why is no real title available?)
- Database Technologies for RDF
- Interactive natural language question answering over knowledge graphs
- Efficiently Querying RDF(S) Ontologies with Answer Set Programming
- Subgraph-indexed sequential subdivision for continuous subgraph matching on dynamic knowledge graph
- Querying incomplete information in RDF with SPARQL
- Formal Proof: Reconciling Correctness and Understanding
- Evaluation and enumeration problems for regular path queries
- Graph-FCA: an extension of formal concept analysis to knowledge graphs
- The delay and window size problems in rule-based stream reasoning
- LARS: a logic-based framework for analytic reasoning over streams
- Mathematics of big data. Spreadsheets, databases, matrices, and graphs. With a foreword by Charles E. Leiserson
- Path Knowledge Discovery: Multilevel Text Mining as a Methodology for Phenomics
- Foundations of semantic web databases
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Navigational and rule-based languages for graph databases
- Querying best paths in graph databases
- Why-provenance information for RDF, rules, and negation
- Adding regular expressions to graph reachability and pattern queries
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- Path querying on acyclic graphs using Boolean grammars
- The essence of functional programming on semantic data
- A descriptive type foundation for RDF Schema
- ArgQL: a declarative language for querying argumentative dialogues
- Relationalization of provenance data in complex RDF reification nodes
- Dimensions of formality: a case study for MKM in software engineering
- Early nested word automata for XPath query answering on XML streams
- Optimizing SPARQL query answering over OWL ontologies
- Logic Programming Languages for Databases and the Web
- Characterizing tractability of simple well-designed pattern trees with projection
- Complexity and expressive power of weakly well-designed SPARQL
- Verifying the consistency of web-based technical documentations
- OntoWebber
- C-SPARQL
- N3Logic
- WordNet
- TRIPLE
- HPRD
- DLVHEX
- VPOET
- SMIL
- UDDI
- DLV
- foaf
- GtkMathView
- jsMath
- ROADRUNNER
- XQuery
- Atelier B
- Pellet
- LaTeXML
- MathDox
- PROMPT
- STEX+
- TreeTagger
- Formulator MathML
- Dryad
- Likelog
- oClingo
- FaCT++
- TAX
- Racer
- phytools
- phylobase
- Checkstyle
- Jena
- SWORD
- CreChainDo
- Fuzzydl
- PelletSpatial
- SearchSleuth
- nSPARQL
- Neo4J
- PROLEG
- Data-Fu
- CDuce
- CEL
- HermiT
- YAGO
- Konclude
- OpenRuleBench
- XSEarch
- XMill
- Churrasco
- FAMIX
- XDuce
This page was built for software: SPARQL
