A logical toolbox for ontological reasoning

article

Chase Termination for Guarded Existential Rules

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-

article published in 2015

Datalog and Its Extensions for Semantic Web Databases

article published in 2012

Datalog+/-: A Family of Languages for Ontology Querying

article published in 2011

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications

article

Expressive languages for querying the semantic web

Generative Datalog with Stable Negation

scientific article published on 02 June 2023

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules

article published in 2012

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying

Ontological Query Answering via Rewriting

article published in 2011

Ontological queries: Rewriting and optimization

Ontological query answering under expressive Entity–Relationship schemata

Pulsed magnetic therapy increases osteogenic differentiation of mesenchymal stem cells only if they are pre-committed

scientific article

Query Answering under Expressive Entity-Relationship Schemata

Query Answering under Non-guarded Rules in Datalog+/-

article published in 2010

Query Rewriting and Optimization for Ontological Databases

Querying Conceptual Schemata with Expressive Equality Constraints

Querying UML Class Diagrams

Querying the Guarded Fragment with Transitivity

Recent Advances in Datalog $$^\pm $$

Semantic Acyclicity Under Constraints

The Complexity of Why-Provenance for Datalog Queries

scientific article published on 14 May 2024

The Impact of Active Domain Predicates on Guarded Existential Rules

The Space-Efficient Core of Vadalog

scientific article published on 06 April 2022

Towards more expressive ontology languages: The query answering problem

article published in 2012

Towards more expressive ontology languages: The query answering problem

academic article published in 2012

Tractable Query Answering over Conceptual Schemata

article published in 2009

Treatment of diabetic foot ulcers with Therapeutic Magnetic Resonance (TMR®) improves the quality of granulation tissue

scientific article published on 7 August 2017