scientific article

From MaRDI portal
Publication:3624113

zbMath1183.68244arXiv1111.0049MaRDI QIDQ3624113

No author found.

Publication date: 28 April 2009

Full work available at URL: https://arxiv.org/abs/1111.0049

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (26)

Data-complexity of the two-variable fragment with counting quantifiersCombining answer set programming with description logics for the semantic webOn the relation between SPARQL1.1 and Answer Set ProgrammingAnswering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologiesView-based query answering in description logics: semantics and complexityConjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knotsInseparability and Conservative Extensions of Description Logic Ontologies: A SurveyOntology-Mediated Query Answering with Data-Tractable Description LogicsQuery Answering in the Description Logic Horn- $\mathcal{SHIQ}$Cheap Boolean Role Constructors for Description LogicsModal definability of first-order formulas with free variables and query answeringThe Complexity of Conjunctive Query Answering in Expressive Description LogicsFoundations of Onto-Relational LearningData complexity of query answering in expressive description logics via tableauxReasoning and Query Answering in Description LogicsAnswering regular path queries in expressive description logics via alternating tree-automataOptimized Query Rewriting for OWL 2 QLFormal Properties of ModularisationQuery Answering in Description Logics: The Knots ApproachDescription LogicsQuery Answering with DBoxes is HardExploiting conjunctive queries in description logic programsQuery inseparability for \(\mathcal{ALC}\) ontologiesOn the scalability of description logic instance retrievalHybrid Logics and Ontology Languages\({\mathcal E}\)-connections of abstract description systems


Uses Software



This page was built for publication: