Semantic web
From MaRDI portal
Publication:6602270
Recommendations
Cites work
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- C-SPARQL: a continuous query language for RDF data streams
- Combining Horn rules and description logics in CARIN
- Combining answer set programming with description logics for the semantic web
- Deciding expressive description logics in the framework of resolution
- Distributed reasoning in a peer-to-peer setting: application to the semantic web
- Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
- HermiT: an OWL 2 reasoner
- Hypertableau reasoning for description logics
- Journal on Data Semantics I
- On rules with existential variables: walking the decidability line
- Practical reasoning for very expressive description logics
- Reasoning Support for Mapping Revision
- Reasoning in description logics by a reduction to disjunctive datalog
- Reconciling description logics and rules
- Revision in networks of ontologies
- The DL-Lite Family and Relations
- The distributed ontology, modeling and specification language -- DOL
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
This page was built for publication: Semantic web
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602270)