The following pages link to SPARQL (Q19459):
Displaying 10 items.
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Exploratory knowledge discovery over web of data (Q1800378) (← links)
- Answering regular path queries in expressive description logics via alternating tree-automata (Q2252521) (← links)
- Minimal type inference for linked data consumers (Q2348796) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice (Q2887081) (← links)
- Reimplementing the Mathematics Subject Classification (MSC) as a Linked Open Dataset (Q2907351) (← links)
- Dimensions of Formality: A Case Study for MKM in Software Engineering (Q3582721) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- On the relation between SPARQL1.1 and Answer Set Programming (Q4583314) (← links)
